Second Call for Contributions 3rd Workshop on Logic, Language, Information and Computation (WoLLIC'96) May 8-10, 1996 Salvador (Bahia), Brazil The `3rd Workshop on Logic, Language, Information and Computation' (WoLLIC'96) will be held in Salvador, Bahia (Brazil), from the 8th to the 10th May 1996. Contributions are invited in the form of two-page (600 words) abstract in all areas related to logic, language, information and computation, including: pure logical systems, proof theory, model theory, type theory, category theory, constructive mathematics, lambda and combinatorial calculi, program logic and program semantics, 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: Andreas Blass (Ann Arbor), Nachum Dershowitz (Urbana-Champaign), Keith Devlin (St. Mary's), J. Michael Dunn (Indiana), Peter G"ardenfors (Lund), Jeroen Groenendijk (Amsterdam), Wilfrid Hodges (London), Roger Maddux (Ames, Iowa), Andrew Pitts (Cambridge), Amir Pnueli (Rehovot), Michael Smyth (London). WoLLIC'96 is part of a larger biennial event in computer science being held in the campus of the Federal University of Bahia from the 6th to the 10th of May 1996: the `6th SEMINFO' (6th Informatics Week). The 6th SEMINFO will involve parallel sessions, tutorials, mini-courses, as well as the XI Brazilian Conference on Mathematical Logic (EBL'96), and a Workshop on Distributed Systems (WoSiD'96). Submission: Two-page abstracts, preferably by e-mail to *** wollic96@di.ufpe.br *** must be RECEIVED by MARCH 8th, 1996 by the Chair of the Organising Committee. Authors will be notified of acceptance by April 8th, 1996. The 3rd WoLLIC'96 is under the official auspices of the Interest Group in Pure and Applied Logics (IGPL) and The European Association for Logic, Language and Information (FoLLI). Abstracts will be published in the Journal of the IGPL (ISSN 0945-9103) as part of the meeting report. Selected contributed papers will be invited for submission (in full version) to a special issue of the Journal. The location: Salvador, Capital of the Bahia state, the first European settlement of Portuguese America and the first Capital of Brazil, is where all the most important colonial buildings were constructed: churches, convents, palaces, forts and many other monuments. Part of the city historical center has been safekept by UNESCO since 1985. Five hundred years of blending Native American, Portuguese, and African influences have left a rich culture to its people, which can be felt on its music, food, and mysticism. Salvador is located on the northeastern coast of Brazil and the sun shines year round with the average temperature of 25 degrees Celsius. It is surrounded by palm trees and beaches with warm water. City population is around 2.5 million and life style is quite relaxed. Programme Committee: W. A. Carnielli (UNICAMP, Campinas), M. Costa (EMBRAPA, Brasilia), V. de Paiva (Cambridge Univ., UK), R. de Queiroz (UFPE, Recife), A. Haeberer (PUC, Rio), T. Pequeno (UFC, Fortaleza), L. C. Pereira (PUC, Rio), K. Segerberg (Uppsala Univ., Sweden), A. M. Sette (UNICAMP, Campinas), P. Veloso (PUC, Rio). Organising Committee: H. Benatti (UFPE), L. S. Baptista (UFPE), A. Duran (UFBA), T. Monteiro (UFPE), A. G. de Oliveira (UFBA), N. Riccio (UFBA). For further information, contact the Chair of Organising Committee: R. de Queiroz, Departamento de Informatica, Universidade Federal de Pernambuco (UFPE) em Recife, Caixa Postal 7851, Recife, PE 50732-970, Brazil, e-mail: ruy@di.ufpe.br, tel.: +55 81 271 8430, fax: +55 81 271 8438. (Co-Chair: T. Pequeno, LIA, UFC, tarcisio@lia.ufc.br, fax +55 85 288 9845) Web homepage: http://www.di.ufpe.br/simposios/wollic.html ----- \documentstyle[a4]{article} \renewcommand{\thepage}{} \begin{document} \begin{center} {\large\bf 3rd Workshop on Logic, Language, Information and Computation (WoLLIC'96)}\\[1.0ex] {\large May 8--10, 1996}\\[.8ex] {\large Salvador (Bahia), Brazil}\\[1.0ex] \end{center} \bigskip \noindent The {\bf 3rd Workshop on Logic, Language, Information and Computation} ({\bf WoLLIC'96}) will be held in Salvador, Bahia (Brazil), from the 8th to the 10th May 1996. Contributions are invited in the form of two-page (600 words) abstract in all areas related to logic, language, information and computation, including: pure logical systems, proof theory, model theory, type theory, category theory, constructive mathematics, lambda and combinatorial calculi, program logic and program semantics, 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:\\ Andreas Blass (Ann Arbor), Nachum Dershowitz (Urbana-Champaign), Keith Devlin (St.\ Mary's), J.\ Michael Dunn (Indiana), Peter G\"ardenfors (Lund), Jeroen Groenendijk (Amsterdam), Wilfrid Hodges (London), Roger Maddux (Ames, Iowa), Andrew Pitts (Cambridge), Amir Pnueli (Rehovot), Michael Smyth (London)\\ {\bf WoLLIC'96} is part of a larger biennial event in computer science being held in the campus of the Federal University of Bahia from the 6th to the 10th of May 1996: the {\bf 6th SEMINFO} (6th Informatics Week). The {\bf 6th SEMINFO} will involve parallel sessions, tutorials, mini-courses, as well as the {\bf XI Brazilian Conference on Mathematical Logic} ({\bf EBL'96}), and a {\bf Workshop on Distributed Systems} ({\bf WoSiD'96}).\\ {\bf Submission}: Two-page abstracts, preferably by e-mail to ***~wollic96@di.ufpe.br~*** must be RECEIVED by MARCH 8th, 1996 by the Chair of the Organising Committee. Authors will be notified of acceptance by April 8th, 1996. The {\bf 3rd WoLLIC'96} is officially sponsored by the Interest Group in Pure and Applied Logics (IGPL) and The European Association for Logic, Language and Information (FoLLI). The {\bf EBL'96} is the annual meeting of Brazilian Logic Society. Abstracts will be published in the Journal of the IGPL (ISSN 0945-9103) as part of the meeting report. Selected contributed papers will be invited for submission (in full version) to a special issue of the Journal.\\ {\bf The location}: Salvador, Capital of the Bahia state, the first European settlement of Portuguese America and the first Capital of Brazil, is where all the most important colonial buildings were constructed: churches, convents, palaces, forts and many other monuments. Part of the city historical center has been safekept by UNESCO since 1985. Five hundred years of blending Native American, Portuguese, and African influences have left a rich culture to its people, which can be felt on its music, food, and mysticism. Salvador is located on the northeastern coast of Brazil and the sun shines year round with the average temperature of 25 degrees Celsius. It is surrounded by palm trees and beaches with warm water. City population is around 2.5 million and life style is quite relaxed.\\ {\bf Programme Committee}: W.\ A.\ Carnielli (UNICAMP, Campinas), M.\ Costa (EMBRAPA, Brasilia), V.\ de Paiva (Cambridge Univ., UK), R.\ de Queiroz (UFPE, Recife), A.\ Haeberer (PUC, Rio), T.\ Pequeno (UFC, Fortaleza), L.\ C.\ Pereira (PUC, Rio), K.\ Segerberg (Uppsala Univ., Sweden), A.\ M.\ Sette (UNICAMP, Campinas), P.\ Veloso (PUC, Rio).\\ {\bf Organising Committee}: H.\ Benatti (UFPE), L.\ S.\ Baptista (UFPE), A.\ Duran (UFBA), T.\ Monteiro (UFPE), A.\ G.\ de Oliveira (UFBA), N.\ Riccio (UFBA).\\ For further information, contact the Chair of Organising Committee: R.\ de Queiroz, Departamento de Inform\'atica, Universidade Federal de Pernambuco (UFPE) em Recife, Caixa Postal 7851, Recife, PE 50732-970, Brazil, e-mail: ruy@di.ufpe.br, tel: +55~81~271~8430, fax +55~81~271~8438. (Co-Chair: T.\ Pequeno, LIA, UFC, tarcisio@lia1.ufc.br, fax +55~85~288~9845)\\ Web homepage: http://www.di.ufpe.br/simposios/wollic.html \end{document}