[Updated posting with NEW list of guest speakers and of scientific 

                              Call for Papers

        10th Workshop on Logic, Language, Information and Computation
                        July 29 to August 1, 2003

                      Scientific Co-Sponsorship
                 IGPL, FoLLI, ASL, EATCS (**NEW**), SBC, SBL

                    Ouro Preto, Minas Gerais, Brazil

	"Electronic Notes in Theoretical Computer Science" (Elsevier))

  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.

  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).

  Eric Allender (Dept Computer Sci, Rutgers, the State Univ of NJ, USA)
  Robert L. Constable (Dept Computer Sci, Cornell Univ, USA) (*)  **NEW**
  Lauri Hella (Dept Maths, Stats & Phil, Univ Tampere, Finland)   **NEW**
  Jean-Baptiste Joinet (Université Paris 7, France)               **NEW**
  Dale Miller (INRIA/FUTURS and Lab d'Informat, École Polytechnique, France)
  Hans Rott (Institut für Philosophie, Universität Regensburg, Germany)


  Algorithmic Randomness and Derandomization
  by Eric Allender

  Implicit computational complexity
  by Jean-Baptiste Joinet

  Proof search foundations for logic programming
  by Dale Miller

  Iterated Theory Change
  by Hans Rott

  NL-printable sets and Nondeterministic Kolmogorov Complexity
  by Eric Allender

  Calculus of structures and proof-nets
  by Jean-Baptiste Joinet

  Formalized reasoning about logic programs
  by Dale Miller

  Economy and economics in the logic of theory change
  by Hans Rott

  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
  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/)

  Papers (up to 12 pages A4 10pt, sent preferably in postscript format by
  e-mail to wollic@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
  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 1st, 2003, and final versions will have
  to be delivered (in LaTeX format) by MAY 1st, 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, web page: http://www.oup.co.uk/igpl) as part of the meeting report.
  The proceedings will appear as a volume in the Elsevier series "Electronic
  Notes in Theoretical Computer Science" (http://www.elsevier.nl/locate/entcs)
  Full version of papers will be refereed again for publication in a special
  issue of the Logic Journal of the IGPL.

  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
  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.

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

  Argimiro Arratia (Depto. Matematicas, Univ Simon Bolivar, Venezuela)
  Alessandra Carbone (Inst Hautes Etudes Scient, and Univ Paris XII, France)
  Marcelo Coniglio (Centro Logica e Epistemologia, Univ Campinas, Brazil)
  Gilles Dowek (INRIA-Rocquencourt, France)
  Arnaud Fleury (Facolta` di Scienze, Universita` di Verona, Italy)
  Dexter Kozen (Computer Science Dept, Cornell Univ, USA)
  Maarten Marx (ILLC, Faculty of Science, Univ Amsterdam, The Netherlands)
  Luiz Carlos Pereira (Depto. Filosofia, Pont Univ Catolica Rio, Brazil)
  A. C. da Rocha Costa (Depto. Informatica, Univ Catolica Pelotas, Brazil)
  Dieter Spreen (Fachbereich Mathematik, Universitaet Siegen, Germany)
  Jouko Vaananen (Dept of Mathematics, University of Helsinki, Finland)
  Renata Wassermann (Depto. Ciencia da Computacao, Univ Sao Paulo, Brazil)

  Anjolina Grisi de Oliveira (Centro de Informatica, Univ Fed Pernambuco)
  Lucilia Figueiredo (Depto. de Computacao, Univ Fed Ouro Preto)
  Fred Ulisses Maranhao (Centro de Informatica, Univ Fed Pernambuco)
  Elaine Pimentel (Depto. de Matematica, Univ Fed Minas Gerais) (Co-Chair)
  Ruy de Queiroz (Centro de Informatica, Univ Fed Pernambuco) (Co-Chair)
  Maria Angela Weiss (Depto. de Matematica, Univ Sao Paulo)

  Contact one of the Co-Chairs of the Organising Committee:
  Ruy de Queiroz, Centro de Informática, Univ. Federal de Pernambuco (UFPE),
  Av Prof Luis Freire s/n, Cidade Universitaria, 50740-540 Recife, PE,
  Brazil. E-mail: ruy@cin.ufpe.br, tel. +55 81 3271-8430 fax +55 81 3271-8438.
  Elaine Pimentel, Departamento de Matematica, Univ. Federal de
  Minas Gerais (UFMG), 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.