6th Workshop on Logic, Language, Information and Computation
(WoLLIC'99)
May 25-28, 1999
(Tutorial Day: May 25th)

Hotel Simon, Itatiaia National Park, Rio de Janeiro, Brazil

(In conjunction with XII Encontro Brasileiro de Lógica - EBL'99)

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, Facoltà di Scienze, Univ. di Verona

Organisation
Departamento de Informática, Universidade Federal de Pernambuco (DI-UFPE
Facoltà di Scienze, Università degli Studi di Verona (Sci-Univr
Centro de Lógica, Epistemologia e História da Ciência, Univ. Campinas (CLEHC-UNICAMP)


Call for Papers

The 6th Workshop on Logic, Language, Information and Computation (WoLLIC'99), the sixth 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 the National Park of Itatiaia, Brazil, from May 25th to 28th 1999. 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 6th WoLLIC'99 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).

There will be a number of guest speakers, including:
Samson Abramsky (Edinburgh University, Scotland)
John Baldwin (University of Illinois at Chicago, USA)
Craig Boutilier (University of British Columbia, Canada)
Francisco Miraglia (Univerdidade de São Paulo, Brazil)
Daniel Leivant (Indiana University, USA)
Alan Woods (University of Western Australia, Australia)

Submission

Anonymous submissions (sent preferably in postscript format by e-mail to wollic at di.ufpe.br, accompanied by a covering letter with name and address of author(s)) must be RECEIVED by MARCH 8th, 1999 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 APRIL 9TH, 1999, and final versions (in LaTeX format) will be due by APRIL 23RD, 1999. 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.

The WoLLIC'99 will be held in conjunction with the Encontro Brasileiro de Lógica (EBL'99), the biannual meeting of the Sociedade Brasileira de Lógica (SBL).

Programme Committee

Gianluigi Bellin (Università degli Studi di Verona, Italy) (Chair)
Walter Carnielli (Universidade Estadual de Campinas, Brazil)
Abbas Edalat (Imperial College, London, UK)
Rob van Glabbeek (Stanford University, USA)
Jeroen Groenendijk (Amsterdam Universiteit, The Netherlands)
Roman Kossak (City University of New York, USA)
Daniel Lehmann (Hebrew University of Jerusalem, Israel)
Dusko Pavlovic (Kestrel Institute, USA)
Moshe Vardi (Rice University, USA)

Organising Committee

M. Benevides (COPPE/UFRJ), W. Carnielli (Univ Campinas, BR) (Co-Chair), M. Finger (USP),
E. Hermann Haeusler (PUC-Rio), A. G. de Oliveira (UFPE/UFBA), L. C. Pereira (PUC-Rio),
A. T. C. Martins (UFC), R. de Queiroz (UFPE) (Co-Chair)

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 di.ufpe.br, tel.: (+55 81) 271 8430, fax: (+55 81) 271 8438.
Walter Carnielli, Centro de Lógica, Epistemologia e História da Ciência, Univ. Estadual de Campinas, CP 6133, 13081-970 Campinas, SP, Brazil. E-mail: carniell@cle.unicamp.br, tel./fax: (+55 19) 289 3269.

Web page: http://www.di.ufpe.br/~wollic/wollic99/

Last modified: April 28, 1999, 15:36:22 GMT-0300.