Scientific Sponsorship
  Interest Group in Pure and Applied
Logics

European Association for Logic,
Language & Information

Association for Symbolic Logic
European Association for Theoretical
Computer Science

Sociedade Brasileira de Computação
Sociedade Brasileira de Lógica
Funding
  The Tinker Foundation
The Office of the Provost, Stanford
CSLI, Stanford
Dept of Philosophy, Stanford
Dept of Mathematics, Stanford
Symbolic Systems Program, Stanford
Organization
  Center for Latin American Studies,
Stanford

Department of Philosophy, Stanford
CSLI, Stanford
Program Committee
Organizing Committee
Workshop Content
Abstracts of Tutorial Lectures
Abstracts of Invited Talks
List of Accepted Papers
Book Exhibit
Call for Papers
Schedule July 18th - 21st, 2006
Tuesday Wednesday Thursday Friday
9:00am - 1:15pm 8:30am - 12:30pm 9:00am - 11:55am 9:00am - 1:30pm
2:30pm - 6:45pm 2:pm - 5:15pm 2:00pm - 5:35pm 2:00pm - 4:40pm
WoLLIC Information
'2000 '2001 '2002 '2003 '2004 '2005
Location
CSLI
Stanford University
Cordura Hall 210 Panama Street
Stanford, CA 94305
Contacts
Principal Organizer
Ruy De Queiroz
ruy at stanford edu
Assistant
Alexei Angelides
angelides@stanford.edu
Area & Campus Maps
  Palo Alto, CA & Campus Area
Stanford Visitor's Map
Stanford Parking Map
Searchable Stanford Map
Travel
  Local Airports
Ground Transport
Accomodations
  Lodging
Food