Workshop on Logic, Lang., Inform. & Comp.


	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.