WoLLIC'2004
11th Workshop on Logic, Language, Information and Computation
July 19th to 22nd, 2004

Campus of Université Paris 12, France

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

Organisation
Centro de Informática, Universidade Federal de Pernambuco (CIn-UFPE) 
Laboratoire d'Algorithmique, Complexité et Logique, Université Paris XII (LACL-Paris12)

DEADLINE EXTENDED: MARCH 8th, 2004

Call for Papers

The 11th Workshop on Logic, Language, Information and Computation (WoLLIC'2004), the eleventh 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 Paris, France, from July 19th to 22nd, 2004.

Contributions are invited in the form of short papers (12 A4 10pt pages) in all areas related to logic, language, information and computation, including:

  • logic and databases
  • logic programming and algebraic semantics
  • logic and linguistics
  • logic and artificial intelligence
  • logic, arithmetic and complexity
  • proof complexity, zero-knowledge proofs
  • proof theory, lambda calculus, categorical logic
  • model theory, descriptive complexity
  • real computation, algebraic complexity
  • logic and verification
  • natural computing

    Scientific sponsorship
    The 11th WoLLIC'2004 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

  • Thomas Ehrhard (Institut de Mathématiques de Luminy, Univ Marseille, France)
  • Manfred Kerber (School of Computer Science, The University of Birmingham, UK)
  • Klaus Meer (University of Southern Denmark, Odense, Denmark)
  • Damian Niwinski (Div of Mathematics, Informatics and Mechanics, Warsaw University, Poland)
  • Luke Ong (Computing Laboratory, Oxford University, UK)
  • Gheorghe Paun (Institute of Mathematics of the Romanian Academy, Romania)
  • Alexander Rabinovich (School of Computer Science, Tel Aviv University, Israel)
  • Stuart Shieber (DEAS, Harvard University, USA)

    The location
    Campus of Fontainebleau (Université Paris 12), 60 km south of Paris.

    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 8th, 2004 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, 2004, and final versions will have to be delivered (in LaTeX format) by MAY 1, 2004. 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 (ISSN 1571-0661). 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'2004 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 2004 (see http://www.aslonline.org/studenttravelawards.html). In addition to that, WoLLIC'2004 will make available modest grants to graduate students in logic and to recent PhDs so that they may attend the meeting in Paris. 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, 2004, by one of the Co-Chairs of the Organising Committee.

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

    Programme Committee

  • Zofia Adamowicz (Mathematics Institute, Polish Academy of Sciences, Poland)
  • Danièle Beauquier (LACL, Univ Paris XII, France)
  • Felipe Cucker (City University of Hong Kong, Hong Kong)
  • Mariangiola Dezani (Università di Torino, Italy)
  • Georg Gottlob (Tech. Univ. Wien, Austria)
  • Erich Grädel (RWTH Aachen, Germany)
  • Etienne Grandjean (Université de Caen, France)
  • Irene Guessarian (LIAFA et UFR d'Informatique de Paris 6)
  • Gerard Huet (INRIA, France)
  • Martin Hyland (Cambridge University, UK)
  • Gopalan Nadathur (University of Minnesota, USA)
  • Grzegorz Rozenberg (Leiden University, The Netherlands)
  • Anatol Slissenko (LACL, Univ Paris XII, France)
  • Igor Walukiewicz (Bordeaux University, France)

    Organising Committee

  • Gianluigi Bellin (Università degli Studi di Verona, Italy)
  • Alessandra Carbone (Université Pierre et Marie Curie, France)
  • Patrick Cegielski (LACL, Univ Paris XII, France) (Co-Chair)
  • Anjolina G. de Oliveira (Centro de Informática, Universidade Federal de Pernambuco, Brazil)
  • Ruy de Queiroz (Centro de Informática, Universidade Federal de Pernambuco, Brazil) (Co-Chair)

    Further information
    Contact one of the Co-Chairs of the Organising Committee:
    Patrick Cegielski, Université Paris 12-IUT, Département Informatique, Route forestière Hurtault, F-77300 Fontainebleau, France. Telephone: +33.(0)1.60.74.68.16 (office) Fax: +33.(0)1.60.74.68.28, E-mail: cegielski_at_univ-paris12.fr
    Ruy de Queiroz, Centro de Informática, Univ. Federal de Pernambuco, Av. Prof. Luis Freire s/n, Cidade Universitária, 50740-540 Recife, PE, Brazil. E-mail: ruy at cin.ufpe.br, tel. +55 81 3271-8430 fax +55 81 3271-8438.

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

    Last modified: March 26, 2004, 09:02:20 GMT-0300.