5th Workshop on Logic, Language, Information and Computation

- WoLLIC'98 -

July 28-31, 1998

(Tutorial Day: July 28th)

IME-USP, São Paulo, Brazil

The "5th Workshop on Logic, Language, Information and Computation" (WoLLIC'98), the fifth 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 São Paulo, Brazil, from July 28th to 31st 1998. Contributions are invited in the form of short papers (6 10pt pages or 1800 words) 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 5th WoLLIC'98 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).

There will be a number of guest speakers, including:

• Sergei Artemov (Moscow State Univ., Russia) (CONFIRMED)
• Sam Buss (Univ. Calif San Diego, USA) (CONFIRMED)
• Edmund Clarke (Carnegie-Mellon Univ., USA) (CONFIRMED)
• Heinz Dieter Ebbinghaus (Universität Freiburg, Germany) (CONFIRMED)
• Michael Fourman (Edinburgh Univ., UK) (CONFIRMED)
• Dov Gabbay (Imperial Coll, UK) (*)
• Hans Kamp (Stuttgart Univ., Germany) (CONFIRMED)
• Phokion Kolaitis (Univ. Calif. Santa Cruz, USA) (*)
• Valeria de Paiva (Birmingham Univ. UK) (CONFIRMED)
• Maarten de Rijke (Amsterdam Univ., The Netherlands) (CONFIRMED),
• Giovanni Sambin (Padova Univ., Italy) (CONFIRMED)
• (*) (TO BE CONFIRMED)

The WoLLIC'98 is hosted by Universidade de São Paulo (USP) and will take place at the Mathematics and Statistics Institute (IME).

Programme Committee:

• Andreas Blass (Michigan Univ., USA)
• Itala D'Ottaviano (Univ. Campinas, BR)
• J. Michael Dunn (Indiana Univ., USA)
• Wilfrid Hodges (Queen Mary Coll., UK)
• Francisco Miraglia (Univ. São Paulo, BR)
• Luiz Carlos Pereira (Cathol. Univ. Rio, BR),
• Andrew Pitts (Cambridge Univ., UK)
• Amir Pnueli (Weizmann Inst., Israel).

Organizing Committee:

For further information, contact the Co-Chairs of the Organizing Committee:

Ruy de Queiroz, Departamento de Informática, Univ. Federal de Pernambuco, CP 7851, 50732-970 Recife, PE, Brasil, E-mail: ruy@di.ufpe.br tel.: (+55 81) 271 8430 fax: (+55 81) 271 8438. Marcelo Finger, Departamento de Ciência da Computação, Instituto de Matemática e Estatística, Univ.ersidade de São Paulo, Rua do Matão 1010, 05508-900 São Paulo, SP, Brasil, E-mail: mfinger@ime.usp.br tel.: (+55 11) 818 6287 fax: (+55 11) 818 6134.