Atlas home || Conferences | Abstracts | about Atlas
Homepage: http://www.cin.ufpe.br/~wollic/wollic2002/
Email: wollic@cin.ufpe.br
Description:
The 9th Workshop on Logic, Language, Information and Computation (WoLLIC'2002), the ninth
version of a series of workshops which started in 1994 with the aim of fostering interdisciplinary
research in pure and applied logic, will be held in Rio de Janeiro, Brazil, from July 30 to August 2,
2002.
Contributions are invited in the form of short papers (12 A4 10pt pages) in all areas related to logic, language, information and computation, including: pure logical systems, proof theory, model theory, algebraic logic, type theory, category theory, constructive mathematics, lambda and combinatorial calculi, program logic and program semantics, logics and models of concurrency, logic and complexity theory, proof complexity, foundations of cryptography (zero-knowledge proofs), descriptive complexity, nonclassical logics, nonmonotonic logic, logic and language, discourse representation, logic and artificial intelligence, automated deduction, foundations of logic programming, logic and computation, and logic engineering.
Date received: November 15, 2001
© 2008 Atlas Conferences Inc.