Third Call for Contributions

4th Workshop on Logic, Language, Information and Computation (WoLLIC'97)
August 20-22, 1997
(Tutorial Day: August 19th)
Ponta Mar Hotel, Fortaleza (Ceará), Brazil

Sponsored by IGPL, FoLLI, ASL, SBC
Funded by CAPES, CNPq, FINEP, FUNCAP
Organised by UFC, UFPE

[next page | previous page | main page]



The 4th Workshop on Logic, Language, Information and Computation (WoLLIC'97) will be held in Fortaleza, Ceará (Brazil), from August 20th to 22nd 1997. Contributions are invited in the form of two-page (600 words) abstracts 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, 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.

There will be a number of guest speakers, including:

(See abstracts.)

Submission:

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.

The location:

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.

Programme Committee:

Organising Committee:

For further information, contact the Co-Chairs of the Organising Committee:

Web homepage: