The full version of this Call for Contributions is available.
Contributions are invited in the form of 2-page abstract (600 words) in all areas related to logic, language, information and computation, including: pure logical systems, proof theory, model theory, type theory, category theory, constructive mathematics, lambda and combinatorial calculi, program logic & program semantics, nonclassical logics, nonmonotonic logic, logic & language, discourse representation, logic and AI, automated deduction, foundations of logic programming, logic and computation, and logic engineering.
Guest speakers include (so far preliminarily confirmed): C Alchourron (Buenos Aires), A Avron (Tel Aviv), N Belnap (Pittsburgh), J van Benthem (Amsterdam), P Freyd (Philadelphia), D Gabbay (London), I Hodkinson (London), P Lincoln (Stanford).
Submission 2-page abstracts (pref. by email to wollic95@di.ufpe.br) must be received by June 1, 1995. Authors will be notified by July 1, 1995. WoLLIC'95 is sponsored by the Interest Group in Pure and Applied Logics (IGPL) and by the European Foundation for Logic, Language and Information (FoLLI). Abstracts from IGPL members will be published in the Bulletin of the IGPL as part of the meeting report. Selected contributed papers will be invited for submission to a special issue of the Bulletin.
Programme Chair: Prof P A S Veloso, Dep'to de Informatica, PUC-Rio
Rua Marques de Sao Vicente, 225, Rio de Janeiro, RJ 22453-900
Brazil Tel +55 21 5299524, fax +55 21 5115645, veloso@inf.puc-rio.br
Programme Committee: W A Carnielli (UNICAMP, Campinas), M Costa (EMBRAPA, Brasilia), V de Paiva (Cambridge, UK), R de Queiroz (UFPE, Recife), A Haeberer (PUC, Rio), T Pequeno (UFC, Fortaleza), L C Pereira (PUC, Rio), A M Sette (UNICAMP, Campinas), P Veloso (Chair, PUC, Rio).
For further information contact the Chair of Organising Committee:
R de Queiroz, Dep'to de Informatica, Federal Univ. of Pernambuco at
Recife, P O Box 7851, Recife, PE 50732-970, Brazil.
e-mail: wollic95@di.ufpe.br, tel +55 81 2718430, fax +55 81 2714925.
CoChair: T Pequeno, LIA UFC, tarcisio@lia1.ufc.br, fax +55 85 2231333