WoLLIC'2000
7th Workshop on Logic, Language, Information and Computation
August 15-18, 2000

Hotel Barreira Roxa, Natal, Brazil

Scientific Sponsorship
Interest Group in Pure and Applied Logics (IGPL)
European Association for Logic, Language and Information (FoLLI)
Association for Symbolic Logic (ASL)
Sociedade Brasileira de Computação (SBC)
Sociedade Brasileira de Lógica (SBL)

Funding 
 CAPES, CNPq
Fundação Norte-Rio-Grandense de Pesquisa e Cultura (FUNPEC)
Pró-Reitoria de Extensão, Univ. Fed. do Rio Grande do Norte (PROEX-UFRN)

Organisation
Centro de Informática, Universidade Federal de Pernambuco (CIn-UFPE) 
Departamento de Informática e Matemática Aplicada, Univ. Fed. do Rio Grande do Norte (DIMAP-UFRN)

Call for Papers

The 7th Workshop on Logic, Language, Information and Computation (WoLLIC'2000), the seventh version of a series of workshops which started in 1994 with the aim of fostering interdisciplinary research in pure and applied logic, will be held in Natal, Rio Grande do Norte, Brazil, from August 15th to 18th 2000. Contributions are invited in the form of short papers (10 10pt pages) 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, logic and complexity theory, 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.

The 7th WoLLIC'2000 has the scientific sponsorship of the Interest Group in Pure and Applied Logics (IGPL), the European Association for Logic, Language and Information (FoLLI), the Association for Symbolic Logic (ASL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL).

Natal is the capital and largest city of Rio Grande do Norte, a sun shiny land of beaches, dunes, coconut trees, located in north-east coast of Brazil. There, the summer takes all year long (sun shines more than 300 days per year), and the heat is softened by a constant breeze. Along the 400-kilometer (250-mile) coast line, calm beaches with reefs forming natural pools altern with good surfing spots, almost untouched places full of sand dunes and coconut trees.

There will be a number of guest speakers, including:
Andrea Asperti (Univ Bologna, Italy)
Angus Macintyre (Edinburgh Univ, Scotland)
Luiz Carlos Pereira (Pontificial Catholic Univ of Rio, Brazil)
Toniann Pitassi (Arizona University, USA)
Bruno Poizat (Inst Girard Desargues, Univ Claude Bernard, Lyon-1, France)
Glynn Winskel (BRICS, Denmark)

Submission

Anonymous submissions (sent preferably in postscript format by e-mail to "wollic at cin.ufpe.br", accompanied by a covering letter with name and address of author(s)) must be RECEIVED by MAY 7th, 2000 by the Chair of the Organising Committee. Papers must be written in English and give enough detail to allow the programme committee to assess the merits of the work. Papers should start with a brief statement of the issues, a summary of the main results, and a statement of their significance and relevance to the workshop. References and comparisons with related work is also expected. Technical development directed to the specialist should follow. Results must be unpublished and not submitted for publication elsewhere, including the proceedings of other symposia or workshops. One author of each accepted paper will be expected to attend the conference in order to present it. Authors will be notified of acceptance by JUNE 9TH, 2000, and final versions (in LaTeX format) will be due by JUNE 23RD, 2000. The abstracts of the papers will be published in a "Conference Report" section of the Logic Journal of the IGPL (ISSN 1367-0751) (Oxford Univ Press) as part of the meeting report. Papers presented at the meeting will be invited for submission (in full version) to a special issue of the Logic Journal of the IGPL.

Important Dates:
Submission: May 7th, 2000
Notification of acceptance/rejection: June 9th, 2000
Delivery of final (in LaTeX): June 23rd, 2000

Programme Committee

Sergei Artemov (Moscow Univ, Russia, and Cornell Univ, USA),
Ricardo Bianconi (Univ São Paulo, Brazil),
Sam Buss (Univ California San Diego, USA),
Edmund Clarke (Carnegie-Mellon Univ, USA),
Itala D'Ottaviano (Univ Campinas, Brazil),
Heinz-Dieter Ebbinghaus (Univ Freiburg, Germany),
Peter Johnstone (Cambridge Univ, UK),
Hans Kamp (Univ Stuttgart, Germany),
Maarten de Rijke (Amsterdam Univ, The Netherlands),
Colin Stirling (Edinburgh Univ, Scotland).

Organising Committee

B. C. Bedregal (UFRN), M. E. Coniglio (UNICAMP), A. M. P. Cruz (UFRN), D. Deharbe (UFRN), A. T. C. Martins (UFC), A. Moreira (UFRN), A. G. de Oliveira (UFPE/UFBA), R. de Queiroz (UFPE) (Co-Chair)
R. H. N. Santiago (UFRN).

For further information, contact one of the Co-Chairs of the Organising Committee:
Ruy de Queiroz, Departamento de Informática, Univ. Federal de Pernambuco, CP 7851, 50732-970 Recife, PE, Brazil. E-mail: ruy at cin.ufpe.br, tel.: (+55 81) 271 8430, fax: (+55 81) 271 8438.

Web page: http://www.cin.ufpe.br/~wollic/wollic2000/

Last modified: July 19, 2000, 17:07:09 GMT-0300.