13

**
Center for the Study of Language and Information (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)*

**
Funding
**
The Tinker Foundation

The Office of the Provost, Stanford University

CSLI, Stanford University

Department of Philosophy, Stanford University

Dept of Mathematics, Stanford University

Symbolic Systems Program, Stanford University

**Organisation**

*
Center for Latin American Studies, Stanford University
Department of Philosophy, Stanford University
CSLI, Stanford University
*

by

**11:00-11:15** Coffee/tea break

**11:15-13:15** (with a 10min break) (Chair: tba)

*Operational theories of sets*

by
**Solomon Feferman** (Depts of Mathematics and Philosophy, Stanford University, USA)

**13:15-14:30** Lunch break

**14:30-16:30** (with a 10min break) (Chair: tba)

*Behavioral Computation Theory*

by **Yuri Gurevich** (Microsoft Research, USA)

**16:30-16:45** Coffee/tea break

**16:45-18:45** (with a 10-min break) (Chair: tba)

*Symbolic Analysis of Computer Network Security Protocols*

by **Andre Scedrov** (Department of Mathematics, University of Pennsylvania, USA)

by

**10:30-10:45** Coffee/tea break

**10:45-12:30** 3 contributed papers (35 min each) (Chair: tbc)

by Dan Willard

**11:20-11:55** *Propositional games with explicit strategies*

by Bryan Renne

**11:55-12:30**
*Combinatorial Proofs and Garbage Collection*

by Dominic Hughes

**12:30-14:00** Lunch break

by

**15:15-15:30** Coffee/tea break

**15:30-17:15** 3 contributed papers (35 min each) (Chair: tbc)

by Jorge Petrúcio Viana, Renata P. de Freitas, Sheila R. M. Veloso and Paulo A. S. Veloso

**16:05-16:40** *Situations as strings*

by Tim Fernando

**16:40-17:15** *Abstract Families of Abstract Categorial Languages*

by Makoto Kanazawa

by

**11:00-11:15** Coffee/tea break

**11:15-11:55** 1 contributed paper (35min each) (Chair: tbc)

by Hans-Jörg Tiede and Stephan Kepser

by

**15:15-15:30** Coffee/tea break

**15:30-16:05** 1 contributed paper (35min each) (Chair: tbc)

by Aleksey Nogin and Alexei Kopylov

**16:20-17:35** (Invited talk) (Chair: tba)

*The expanding notion of algorithm*

by **Yuri Gurevich** (Microsoft Research, USA)

**20:00** *Conference Dinner at ?*

by

**10:15-10:30** Coffee/tea break

**10:30-11:45** (Invited talk) (Chair: tba)

*Operational theories of sets*

by
**Solomon Feferman** (Depts of Mathematics and Philosophy, Stanford University, USA)

**11:45-12:00** Coffee/tea break

**12:00-13:10** 2 contributed papers (35min each) (Chair: tbc)

by Laurentiu Leustean

**12:35-13:10**
*On interpolation problem in paraconsistent extensions of minimal logic*

by Larisa Maksimova

by

**15:15-15:30** Coffee/tea break

**15:30-16:40** 2 contributed papers (35min each) (Chair: tbc)

by Alexandru Baltag and Sonja Smets

**16:05-16:40** *Additive Consolidation with Maximal Change*

by Yoshitaka Suzuki

*Last modified: June 15, 2006, 10:04am PDT.*