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.