13th Workshop on Logic, Language, Information and Computation

July 18th to 21st, 2006

CSLI, Stanford, California, USA

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)

The Tinker Foundation

Department of Philosophy, Stanford University, USA
CSLI Stanford, USA

NEW submission deadline: MARCH 7th 2006!

Call for Papers

The 13th Workshop on Logic, Language, Information and Computation (WoLLIC'2006), the thirteenth version of a series of workshops (http://www.cin.ufpe.br/~wollic) which started in 1994 with the aim of fostering interdisciplinary research in pure and applied logic, will be held at Stanford, California, USA, from July 18th to 21st, 2006.

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

  • context and situation theory
  • formal semantics of natural language
  • information update and belief revision; agent systems
  • logic, arithmetic and complexity
  • logic and databases
  • logic and game theory
  • logic and verification
  • logic programming and algebraic semantics
  • logical grammars
  • model theory, descriptive complexity
  • proof complexity
  • proof theory, lambda calculus, categorical logic
  • real computation, algebraic complexity
  • set theory
  • zero-knowledge proofs, probabilistic proofs, randomized computation

    Scientific sponsorship
    The 13th WoLLIC'2006 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

  • Eli Ben-Sasson (Comput Sci Dept, Technion Inst of Technology, Israel)
  • Solomon Feferman (Depts of Mathematics and Philosophy, Stanford University, USA)
  • Yuri Gurevich (Microsoft Research, USA)
  • Ulrich Kohlenbach (Department of Mathematics, Darmstadt University of Technology, Germany)
  • Thomas Scanlon (Mathematics Department, University of California at Berkeley, USA)
  • Andre Scedrov (Department of Mathematics, University of Pennsylvania, USA)

    The location
    CSLI - Center for the Studies of Language and Information, Stanford.

    Papers (up to 12 pages 10pt) must be submitted via the web page http://www.cin.ufpe.br/~wollic/wollic2006/instructions.html (NEW DEADLINE!) by MARCH 7th, 2006.
    Papers must be 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 21st, 2006, and final versions will have to be delivered (in LaTeX format) by MAY 12th, 2006. 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'2006 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 2006 (see http://www.aslonline.org/studenttravelawards.html).

    Important dates
    MARCH 7th, 2006: (NEW!) Paper submission deadline
    April 21st, 2006: Author notification
    May 12th, 2006: Delivery of final version

    Programme Committee

  • Jeremy Avigad (Department of Philosophy, Carnegie-Mellon University, USA)
  • Johan van Benthem (ILLC, Univ Amsterdam, The Netherlands, and Stanford Univ, USA)
  • Martin Davis (Dept of Computer Science, Courant Institute, New York University, USA)
  • Keith Devlin (CSLI Stanford, USA)
  • Edward A. Hirsch (St.Petersburg Department of Steklov Institute of Mathematics, Russia)
  • Greg Hjorth (Dept of Math, Univ Calif at Los Angeles, USA)
  • David Israel (SRI International, Stanford, USA)
  • Vladik Kreinovich (Dept of Computer Science, Univ of Texas at El Paso, USA)
  • Leonid Levin (Dept of Computer Science, Boston University, USA)
  • Grigori Mints (Depts of Philosophy, and (by courtesy) Mathematics and Computer Science, Stanford University, USA) (CHAIR)
  • Itay Neeman (Dept of Math, Univ Calif at Los Angeles, USA)
  • Hiroakira Ono (Japan Advanced Institute of Science and Technology, Japan)
  • Stanley Peters (Department of Linguistics, Stanford University, and CSLI Stanford, USA)
  • Wolfram Pohlers (Inst f. math. Log. und Grundl., WWU Münster, Germany)
  • Vaughan Pratt (Computer Sci Dept, Stanford Univ, and Tiqit Computers, USA)
  • Thomas Scanlon (Mathematics Dept, Univ of California at Berkeley, USA)

    Organising Committee

  • Alexei Angelides (Dept of Philosophy, Stanford University, USA)
  • Anjolina G. de Oliveira (*) (Centro de Informática, Universidade Federal de Pernambuco, Brazil)
  • Valeria de Paiva (PARC, USA) (Co-Chair)
  • Marc Pauly (Department of Philosophy, Stanford University, USA)
  • Ruy de Queiroz (**) (Centro de Informática, Universidade Federal de Pernambuco, Brazil) (Co-Chair)

    (*) Visiting Scholar at CSLI Stanford, Jan-Dec 2006.
    (**) Edward Larocque Tinker Visiting Professor at Dept Philosophy, Stanford Univ, Jan-Jun 2006, and Visiting Scholar Jul-Dec 2006.

    Further information
    Contact one of the Co-Chairs of the Organising Committee.

    Web page

    Last modified: April 26, 2006, 02:14pm PST.