Atlas home || Conferences | Abstracts | about Atlas
Homepage: http://www.di.ufpe.br/~wollic/wollic2000/
Email: wollic@di.ufpe.br
Description:
The 7th Workshop on Logic, Language, Information and Computation (WoLLIC'2000), the seventh 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 Natal, Rio Grande do Norte, Brazil, from August 15th to 18th 2000. Contributions are invited in the form of short
papers (10 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, 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.
The 7th WoLLIC'99 has the scientific sponsorship of the Interest Group in Pure and Applied Logics (IGPL), the European Association for Logic, Language and Information (FoLLI), the Association for Symbolic Logic (ASL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL).
Date received: March 03, 2000
© 2008 Atlas Conferences Inc.