WoLLIC'2003
10th Workshop on Logic, Language, Information and Computation

July 29th to August 1st, 2003

Ouro Preto, Minas Gerais, Brazil

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

Funding (expected)
CAPES, CNPq

Organisation
Centro de Informática, Universidade Federal de Pernambuco (CIn-UFPE
Departamento de Matemática, Universidade Federal de Minas Gerais (DMAT/UFMG)
Departamento de Computação, Universidade Federal de Ouro Preto (DECOM/UFOP)


Call for Papers

The 10th Workshop on Logic, Language, Information and Computation (WoLLIC'2003), the tenth 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 Ouro Preto, Minas Gerais, Brazil, from July 29 to August 1, 2003.

Contributions are invited in the form of short papers (12 A4 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, proof complexity, foundations of cryptography (zero-knowledge proofs), descriptive complexity, 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.

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

Guest speakers

  • Eric Allender (Department of Computer Science, Rutgers, the State University of NJ, USA)
  • Lauri Hella (Department of Mathematics, University of Tampere, Finland)
  • Jean-Baptiste Joinet (Équipe de Logique Mathématique, Université Paris 7, France)
  • Dale Miller (FUTURS-INRIA, and Laboratoire d'Informatique, École Polytechnique, France)
  • Hans Rott (Institut für Philosophie, Universität Regensburg, Germany)

    The location
    Founded in the early eighteenth century, Ouro Preto is a masterpiece of colonial Brazilian architecture and art. In fact, UNESCO has declared it a World Heritage Site. Here the intricate details of the buildings and art works clearly reflect the originality and autonomy of the craftsmen and artists who created this monument of Brazilian baroque style. The painting of Manuel da Costa Athaíde and the sculptures of Antônio Francisco Lisboa, Aleijadinho, are living examples of this period of enormous creative inspiration.
    A visit to Ouro Preto is a step back into history and past human accomplishments. The town has thirteen large churches and numerous public monuments and buildings. The most spectacular of the churches are Saint Francis, Our Lady of Carmo, Our Lady of the Rosary, Pilar and Antônio Dias. (http://www.ouropretotour.com/)

    Submission
    Papers (up to 12 pages A4 10pt, sent preferably in postscript format by e-mail to wollic at cin.ufpe.br, or in 5(five) copies to postal address) must be RECEIVED by MARCH 1st, 2003 by one of the Co-Chairs of the Organising Committee. Papers must be ANONYMOUS (a separate identification page must be included), 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 1, 2003, and final versions will have to be delivered (in LaTeX format) by MAY 1, 2003. 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. The proceedings will appear as a volume in the Elsevier series Electronic Notes in Theoretical Computer Science. Full version of papers will be refereed again for publication in a special issue of the Logic Journal of the IGPL.

    Student grants
    ASL sponsorship of WoLLIC'2003 also will permit student ASL members to apply for (limited) ASL travel funds that we hope to make available for sponsored meetings that take place in 2003 (see http://www.aslonline.org/student%20travel%20awards.html).
    In addition to that, WoLLIC'2003 will make available modest grants to graduate students in logic and to recent PhDs so that they may attend the meeting in Ouro Preto. To be considered for a grant, please (1) send a letter of application, and (2) ask your thesis supervisor to send a brief recommendation letter. The application letter should be brief (one page) and should include (1) your name, (2) your home institution, (3) your thesis supervisor's name, (4) a one-paragraph description of your studies and work in logic, (5) your estimate of the travel expenses you will incur, (6) (for citizens or residents of Brazil) citizenship or visa status, and (7) (voluntary) indication of your gender and minority status. Only modest grants will be possible, partially covering travel costs and perhaps some of the living expenses during the meeting. Women and members of minority groups are strongly encouraged to apply. In addition to funds provided by WoLLIC, it is expected that this program of student grants will be supported by a grant from the Brazilian National Council for the Scientific and Technological Development (CNPq); CNPq funds may be awarded only to students at Brazilian universities and to citizens and permanent residents of Brazil. Application by email is encouraged; put "WoLLIC grant application" in the subject line of your message. Applications and recommendations should be received before the deadline of MARCH 1st, 2003, by one of the Co-Chairs of the Organising Committee.

    Important dates
    Submission: MARCH 1st, 2003
    Notification of acceptance/rejection: APRIL 1, 2003
    Delivery of final (in LaTeX): MAY 1, 2003

    Programme Committee
    Argimiro Arratia (Depto. Matematicas, Univ Simon Bolivar, Venezuela)
    Alessandra Carbone (Institut des Hautes Études Scientifiques, and Université de Paris XII, France)
    Marcelo Coniglio (Centro de Lógica e Epistemologia, Universidade Estadual de Campinas, Brazil)
    Gilles Dowek (INRIA, France)
    Arnaud Fleury (Facoltà di Scienze, Università di Verona, Italy)
    Dexter Kozen (Cornell University, USA)
    Maarten Marx (ILLC, Faculty of Science, Univ Amsterdam, The Netherlands)
    Antônio Carlos da Rocha Costa (Departamento de Informática, Universidade Católica de Pelotas, Brazil)
    Dieter Spreen (Fachbereich Mathematik, Theoretische Informatik, Universität Siegen, Germany)
    Luiz Carlos Pereira (Departamento de Filosofia, PUC-Rio and UFRJ, Brazil)
    Jouko Väänänen (Department of Mathematics, University of Helsinki, Finland)
    Renata Wassermann (Depto. de Ciência da Computação, Instituto de Matemática e Estatística, Universidade de São Paulo, Brazil)

    Organising Committee
    Lucília Figueiredo (Departamento de Computação, Universidade Federal de Ouro Preto)
    Fred Ulisses Maranhão (Centro de Informática, Universidade Federal de Pernambuco)
    Anjolina G. de Oliveira (Centro de Informática, Universidade Federal de Pernambuco)
    Elaine Pimentel (Departamento de Matemática, Universidade Federal de Minas Gerais) (Co-Chair)
    Ruy de Queiroz (Centro de Informática, Universidade Federal de Pernambuco) (Co-Chair)
    Maria Angela Weiss (Departamento de Matemática, Universidade de São Paulo)

    Further information
    Contact one of the Co-Chairs of the Organising Committee:
    Ruy de Queiroz, Centro de Informática, Univ. Federal de Pernambuco, Av. Prof. Luis Freire s/n, Cidade Universitaria, 50740-540 Recife, PE, Brazil. E-mail: ruy at cin.ufpe.br, tel. +55 81 3271-8430 fax +55 81 3271-8438.
    Elaine Pimentel, Departamento de Matemática, Universidade Federal de Minas Gerais, Av. Antônio Carlos, 6627, Pampulha, 30123-970 Belo Horizonte, MG, Brazil. E-mail: pimentel@dcc.ufmg.br, tel. +55 31 3499-5970 fax +55 31 3499-5797.

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

    Last modified: May 6, 2003, 09:50:19 GMT-0300.
    wollic_at_cin.ufpe.br