12th Workshop on Logic, Language, Information and Computation

July 19th to 22nd, 2005

Florianópolis, Santa Catarina, 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)

Departamento de Automação e Sistemas, Universidade Federal de Santa Catarina (DAS/UFSC)
Centro de Informática, Universidade Federal de Pernambuco (CIn-UFPE)

Submission DEADLINE EXTENDED: MARCH 8th, 2005

Call for Papers

The 12th Workshop on Logic, Language, Information and Computation (WoLLIC'2005), the twelfth 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 Florianópolis, Santa Catarina, Brazil, from July 19th to 22nd, 2005.

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, probabilistic proofs, randomised computation
  • proof theory, lambda calculus, categorical logic
  • model theory, descriptive complexity
  • real computation, algebraic complexity
  • logic and verification
  • natural computing

    Scientific sponsorship
    The 12th WoLLIC'2005 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

  • Melvin Fitting (Dept of Maths and Computer Science, Lehman College, City Univ of New York, USA)
  • Jean-Louis Krivine (Preuves-Programmes-Systèmes, Univ Paris 7, France)
  • Leonid Libkin (Department of Computer Science, University of Toronto, Canada)
  • Grigori Mints (Depts of Philosophy, and Computer Science, Stanford University, USA)
  • Thomas Scanlon (Mathematics Department, University of California at Berkeley, USA)
  • Joel Spencer (Courant Institute, New York Univ, USA)

    The location
    Florianópolis, or Floripa as it is called by the Brazilians, is the state capital of Santa Catarina and one of the most popular tourist destinations in South America. It is located on an island connected to the mainland by two bridges. This island is a delicious slice of paradise with over 520 Km2 (200 sq mi) of green hills, lagoons and 42 beaches.
    The beaches of the north part of the island have calm waters and modern tourist facilities. Jurerê, Canasvieiras and Ingleses are the most sought after by tourists. The beaches of Joaquina, Mole and Barra da Lagoa on the east side of the island are the meeting point for young people who practice radical sports. Conceição Lagoon, surrounded by sand dunes and seafood restaurants are a great location for enjoying fresh air and good food.
    The south part of the island displays the characteristics and the culture of the Azoreans who settled the region 250 years ago. Beaches such as Campeche and Pântano do Sul are attractive for their peacefulness, colorful boats and fishing nets. Villages immersed in tradition and history, such as Armação and Ribeirão da Ilha resist the advances of modernity.
    The city center, located in the west side of the island, is the major commerce and services center of the state, provinding all the facilities that modern life may require. In this area you can find business hotels, a modern convention center, shopping centers, restaurants and nightclubs.
    The weather in the region is subtropical, with four well-defined seasons during the year. The symposium will take place during the spring, when the temperature should be between 20 and 30oC (68 to 86F).
    Further information about Florianópolis (in Portuguese): GuiaFloripa, PortalDaIlha, VivaFloripa.

    Papers (up to 12 pages A4 10pt) must be submitted via the web page http://rpc25.cs.man.ac.uk/WoLLIC-05/submit/login.cgi by MARCH 8th, 2005.
    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 8, 2005, and final versions will have to be delivered (in LaTeX format) by MAY 1, 2005. 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 Annals of Pure and Applied Logic (TO BE CONFIRMED).

    Student grants
    ASL sponsorship of WoLLIC'2005 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 2005 (see http://www.aslonline.org/studenttravelawards.html). In addition to that, WoLLIC'2005 will make available modest grants to graduate students in logic and to recent PhDs so that they may attend the meeting in Florianópolis. 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, 2005, by one of the Co-Chairs of the Organising Committee.

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

    Programme Committee

  • Eric Allender (Department of Computer Science, Rutgers, the State University of NJ, USA)
  • Saugata Basu (School of Mathematics, Georgia Tech, USA)
  • Peter Clote (Biology Dept & Computer Sci Dept, Boston College, USA)
  • Jörg Flum (Albert-Ludwigs-Universität Freiburg, Germany)
  • Didier Galmiche (LORIA, Université Henri Poincaré, France)
  • Andreas Herzig (IRIT, France)
  • Jean-Baptiste Joinet (Preuves-Programmes-Systèmes, Université Paris 7, France)
  • Makoto Kanazawa (National Institute of Informatics, Japan)
  • Yoshiharu Kohayakawa (Instituto de Matemática e Estatística, Universidade de São Paulo, Brazil)
  • Angus Macintyre (School of Mathematics, Queen Mary College, University of London, UK) (CHAIR)
  • Luiz Carlos Pereira (Depto Filosofia, PUC-Rio, & Depto Filosofia Univ Fed Rio de Janeiro, Brazil)
  • Hans Rott (Institut für Philosophie, Universität Regensburg, Germany)
  • Richmond Thomason (Department of Philosophy, University of Michigan, USA)
  • Yde Venema (Institute for Logic, Language and Computation, Universiteit Amsterdam, The Netherlands)
  • Andrei Voronkov (Dept of Computer Science, Manchester University, UK)
  • Marek Zaionc (Inst of Computer Science, Jagiellonian University, Poland)

    Organising Committee

  • Gleifer V. Alves (Centro de Informática, Universidade Federal de Pernambuco, Brazil)
  • Guilherme Bittencourt (DAS, Univ Fed Santa Catarina, Brazil) (Co-Chair)
  • Eder Mateus Nunes Gonçalves (DAS, Univ Fed Santa Catarina, Brazil)
  • Jerusa Marchi (DAS, Univ Fed Santa Catarina, Brazil)
  • Anjolina G. de Oliveira (Centro de Informática, Universidade Federal de Pernambuco, Brazil)
  • Anderson Luiz Fernandes Perez (DAS, Univ Fed Santa Catarina, Brazil)
  • Eliane Pozzebon (DAS, Univ Fed Santa Catarina, Brazil)
  • Ruy de Queiroz (Centro de Informática, Universidade Federal de Pernambuco, Brazil) (Co-Chair)
  • Flávio de Almeida e Silva (DAS, Univ Fed Santa Catarina, Brazil)

    Further information
    Contact one of the Co-Chairs of the Organising Committee:
    Guilherme Bittencourt, DAS/UFSC, CP 476, 88040-900 Florianópolis, SC, Brazil, tel: +55 48-331-7665, fax: +55 48-331-9770. E-Mail: gb at das ufsc br
    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 2126-8430 fax +55 81 2126-8438.

    Web page

    Last modified: May 5, 2005, 19:23:20 GMT-0300.