WoLLIC'2002 - call for papers

                              Call for Papers

        9th Workshop on Logic, Language, Information and Computation
                        July 30 to August 2, 2002

           Scientific Co-Sponsorship: IGPL, FoLLI, ASL, SBC, SBL

                        Rio de Janeiro, Brazil

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

  The "9th Workshop on Logic, Language, Information and Computation"
  (WoLLIC'2002), the nineth 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 Rio de Janeiro, Brazil, from July 30 to
  August 2, 2002.

  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 9th WoLLIC'2002 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 Sociedade Brasileira de Computação (SBC), and the Sociedade
  Brasileira de Lógica (SBL).

  There will be a number of guest speakers, including:
  Ricardo Bianconi (Univ de Sao Paulo, Brazil)
  Felipe Cucker (City Univ of Hong Kong, Honk Kong)
  Erich Graedel (RWTH Aachen, Germany)
  Gopalan Nadathur (University of Minnesota, USA)
  Rohit Parikh (City University of New York, USA)
  Igor Walukiewicz (Bordeaux University, France)

  Some model theory of ordered structures
  by Ricardo Bianconi

  Computing with Real Numbers
  by Felipe Cucker

  Model Checking Games
  by Erich Graedel

  The Metalanguage Lambda Prolog and its Implementation
  by Gopalan Nadathur

  States of Knowledge (tutorial)
  by Rohit Parikh

  Automata theory and logic (tutorial)
  by Igor Walukiewicz

  Definability in o-minimal expansions of the real numbers
  by Ricardo Bianconi

  Sparseness and NP-hardness over the reals
  by Felipe Cucker

  Model Checking Games for Fixed Point Logics
  by Erich Graedel

  Explicit Substitutions and Lambda Term Representations in
  Metalanguage Implementations
  by Gopalan Nadathur

  States of Knowledge
  by Rohit Parikh

  Automata theory and logic
  by Igor Walukiewicz

  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 FEBRUARY 22, 2002 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 1, 2002, and final versions will have
  to be delivered (in LaTeX format) by MAY 1, 2002.
  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.

  WoLLIC'2002 will make available modest grants to graduate students in logic
  and to recent PhDs so that they may attend the meeting in Rio de Janeiro.
  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, 2002, by one of the Co-Chairs
  of the Organising Committee.

  Submission:  FEBRUARY 22, 2002
  Notification of acceptance/rejection: APRIL 1, 2002
  Delivery of final (in LaTeX): MAY 1, 2002

  Mauricio Ayala-Rincón (Univ de Brasília, Brazil)
  Mario Benevides (Univ Federal do Rio de Janeiro, Brazil)
  Anuj Dawar (Cambridge Univ, England)
  Philippe de Groote (LORIA, France)
  Roger Maddux (Iowa State Univ, USA)
  Toni Pitassi (Toronto Univ, Canada)
  Bruno Poizat (Univ Claude Bernard - Lyon I, France)
  Alberto Policriti (Univ di Udine, Italy)
  Glynn Winskel (Cambridge Univ, England)

  Edward Hermann Haeusler (PUC-Rio)
  Claus Akira Matsushigue (IME-USP)
  Anjolina G. de Oliveira (UFPE)
  Luiz Carlos Pereira (PUC-Rio) (Co-Chair)
  Ruy de Queiroz (UFPE) (Co-Chair)
  Jorge Petrúcio Viana (UFF/UFRJ)

  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@cin.ufpe.br, tel. +55 81 3271-8430 fax +55 81 3271-8438.
  Luiz Carlos Pereira, Departamento de Filosofia, Pontifícia Universidade
  Católica do Rio de Janeiro, R. Marques de Sao Vicente 225,
  Rio de Janeiro, RJ, Brazil. E-mail: luiz@inf.puc-rio.br.