Atlas home || Conferences | Abstracts | about Atlas
Host: Itatiaia National Park
Homepage: http://www.di.ufpe.br/~wollic/wollic99/
Email: wollic@di.ufpe.br
Organizers: M. Benevides (COPPE/UFRJ), W. Carnielli (Univ Campinas, BR) (Co-Chair), M. Finger (USP), E. Hermann Haeusler (PUC-Rio), A. G. de Oliveira (UFPE/UFBA), L. C. Pereira (PUC-Rio), A. T. C. Martins (UFC), R. de Queiroz (UFPE) (Co-Chair)
Description:
The 6th Workshop on Logic, Language, Information and Computation (WoLLIC'99), the sixth 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 the National Park of Itatiaia, Brazil, from May 25th to 28th 1999.
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 6th 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).
Speakers: Samson Abramsky (Laboratory for Foundations of Computer Science, Division of Informatics, Edinburgh University, Scotland), John Baldwin (Department of Mathematics, Statistics and Computer Science, University of Illinois at Chicago, USA), Craig Boutilier (Department of Computer Science, University of British Columbia, Canada), Alan Woods (Department of Mathematics, University of Western Australia, Australia)
Date received: February 03, 1999
© 2008 Atlas Conferences Inc.