Contributors 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   The Tinker Foundation The Office of the Provost, Stanford University CSLI, Stanford University Department of Philosophy, Stanford University Department of Mathematics, Stanford University Symbolic Systems Program, Stanford University Organization   Center for Latin American Studies, Stanford University Department of Philosophy, Stanford University CSLI, Stanford University Program Committee   Jeremy Avigad (Department of Philosophy, Carnegie-Mellon University, USA) Johan van Benthem (ILLC, University of Amsterdam, The Netherlands, and Stanford Univ, USA) Martin Davis (Department of Computer Science, Courant Institute, New York University, USA) Keith Devlin (CSLI Stanford University, USA) Edward A. Hirsch (St.Petersburg Department of Steklov Institute of Mathematics, Russia) Greg Hjorth (Department of Math, Univ Calif at Los Angeles, USA) David Israel (SRI International, Stanford, USA) Vladik Kreinovich (Department of Computer Science, University of Texas at El Paso, USA) Leonid Levin (Department of Computer Science, Boston University, USA) Grigori Mints (Departments of Philosophy, and (by courtesy) Mathematics and Computer Science, Stanford University, USA) (CHAIR) Itay Neeman (Department of Math, University of California 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 Science Department, Stanford University, and Tiqit Computers, USA) Thomas Scanlon (Mathematics Department, University of California at Berkeley, USA) Organizing Committee   Alexei Angelides (Department 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 Department of Philosophy, Stanford University, Jan-Jun 2006, and Visiting Scholar Jul-Dec 2006.   For further information, please contact one of the Co-Chairs of the Organizing Committee.