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
Download Printable Schedule
WoLLIC Information
'2000
'2001
'2002
'2003
'2004
'2005
WoLLIC Vision
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