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:

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:

Organizing Committee:

  • L. S. C. Baptista (UFPE/UFPB)
  • M. Finger (USP)
  • E. Hermann Haeusler (PUC-Rio)
  • A. C. V. de Melo (USP)
  • A. G. de Oliveira (UFBA/UFPE)
  • R. de Queiroz (UFPE)
  • F. C. da Silva (USP).
  • 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.

    Web page: http://www.ime.usp.br/~wollic