(PLEASE NOTE NEW DEADLINE, AND NEW INVITED SPEAKER) Workshop on Logic, Language, Information and Computation WoLLIC '94 July 28--30, 1994 Recife, Brazil A Workshop on Logic, Language, Information and Computation, will be held in Recife, on the northeastern coast of Brazil, from 28th to 30th July 1994. Contributions are invited in the form of one page (300 words) abstract in all areas related to logic, language, information and computation, including: pure logical systems, proof theory, model theory, type theory, constructive mathematics, lambda and combinatorial calculi, program logic and program semantics, nonclassical logics, nonmonotonic logic, logic and language, discourse representation, logic and AI, automated deduction, foundations of logic programming, logic and computation, and logic engineering. There will be a number of guest speakers, including some who are already part of the advanced seminars of the parallel event (see below): J. Barwise (Indiana), J. Cunha (Porto), J. Fiadeiro (Lisbon), D. Gabbay (London), J. Lambek (McGill), T. Maibaum (London). Four others have confirmed their participation: N. da Costa (Sao Paulo), H. J. Ohlbach (Saarbruecken), U. Reyle (Stuttgart), K. Segerberg (Uppsala). Submission: One page abstracts (preferably by e-mail to the address *** wollic94@di.ufpe.br ***) must be RECEIVED by **MAY 15, 1994**. Authors will be notified of acceptance by June 5, 1994. WoLLIC '94 is sponsored by the Interest Group in Pure and Applied Logics (IGPL) and The European Foundation for Logic, Language and Information (FoLLI). Abstracts from members of the IGPL will be published in the Bulletin of the IGPL (ISSN 0945-9103) as part of the meeting report. Selected contributed papers will be invited for submission to a special issue of the Bulletin. The Workshop will be part of a bigger event being held in Recife during the last week of July 1994: the (Brazilian) IXth School of Computing, a large biennial event in computer science in the context of Latin America. As some of the invited speakers for the Workshop will be giving advanced seminars (in the form of short courses) on logic and computation in the School, the Workshop will benefit from the fact that the School will attract a fair number of young researchers and students in computer science from all over Latin America. (The School is expected to have an audience of approx. 600 participants.) The location: Recife is the capital of the sun belt coast in the northeast of Brazil, just 8 degrees below Equator, bathed by 250+ days of sun/year (i.e. Caribbean-like climate). City population is around 2.5 million and the life style is quite relaxed. Recife is over 450 years old, has a number of interesting architectural samples of Portuguese colonial times (esp. XVII and XVIII centuries), and is neighbour to picturesque Olinda, whose architectural heritage is protected by UNESCO. Programme Chair: Prof P. A. S. Veloso, Attn: WoLLIC '94, Departmento de Informatica, PUC-Rio, Rua Marques de Sao Vicente, 225, Rio de Janeiro, RJ 22453-900, Brazil, veloso@inf.puc-rio.br, tel: +55 21 529 9524, fax: +55 21 511 5645. (Please send abstracts to wollic94@di.ufpe.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, Departamento de Informatica, Universidade Federal de Pernambuco em Recife, Caixa Postal 7851, Recife, PE 50732-970, Brasil, tel:+55 81 271 8430, fax +55 81 271 4925, ruy@di.ufpe.br. Co-Chair: Tarcisio Pequeno, LIA, Universidade Federal do Ceara, tarcisio@lia1.ufc.br, fax +55 85 223 1333.