Funded by CAPES, CNPq, FINEP, FUNCAP
Organised by UFC, UFPE
[next page | previous page | main page]
There will be a number of guest speakers, including:
Two-page abstracts (preferably by e-mail to wollic at di.ufpe.br) must be RECEIVED by JUNE 1st, 1997 by one of the Co-Chairs of the Organising Committee.
Authors will be notified of acceptance by July 1st, 1997. The 4th WoLLIC'97 is under the official auspices of the Interest Group in Pure and Applied Logics (IGPL), The European Association for Logic, Language and Information (FoLLI), and co-sponsored by the Association for Symbolic Logic (ASL), and the Sociedade Brasileira de Computação (SBC). Abstracts will be published in the Logic Journal of the IGPL (ISSN 0945-9103) (Oxford University Press) as part of the meeting report. Selected contributed papers will be invited for submission (in full version) to the Logic Journal of the IGPL.
Located near the equatorial line in the northeastern coast of Brazil, Fortaleza, the capital of the state of Ceará, lies by the beach between the Ceará and the Cocó rivers, in the middle of 570km (360mi) of sandy beaches of the State's coast. The hightest point in the city is only 30m (100ft) high and its beach front is formed of sand dunes up to 10m high and coconut trees. The weather is dry and sunny. A permanent breeze comes from the ocean and keeps the air clean and healthy while the temperature rests on a nice level year around. The lack of rain during most of the year, now a blessing for the visitors, prevented a definitive settlement in the area of Fortaleza until the middle of the 17th Century. At that time, need to assure the hold of the land, the Portuguese established the "Fortaleza de Nossa Senhora da Assunção" in the same place where a hundred years before the dutch had built the Schoonenborch Fort. Fortaleza, named after the fortress, has been since then an important trading center and an artistic and cultural center of the country.
For further information, contact the Co-Chairs of the Organising Committee:
Ruy de Queiroz,
Departamento de Informática (DI),
Univ. Federal de Pernambuco (UFPE),
CP 7851, Recife, Pernambuco 50732-970, Brazil,
e-mail: ruy at di.ufpe.br,
tel.: (+55 81) 271 8430,
fax: (+55 81) 271 8438.
Laboratório de Inteligência Artificial (LIA),
Univ. Federal do Ceará (UFC),
CP 12166, Fortaleza, Ceará 60455-760, Brazil,
tel.: (+55 85) 287 1333,
fax: (+55 85) 288 9845.