13th Workshop on Logic, Language, Information and Computation

July 18th to 21st, 2006

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)

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

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

List of Accepted Papers

Alexandru Baltag and Sonja Smets. Conditional Doxastic Models: a qualitative approach to dynamic belief revision

Tim Fernando. Situations as strings

Dominic Hughes. Combinatorial Proofs and Garbage Collection

Makoto Kanazawa. Abstract Families of Abstract Categorial Languages

Laurentiu Leustean. Proof mining in R-trees and hyperbolic spaces

Larisa Maksimova. To interpolation problem in paraconsistent extensions of minimal logic

Aleksey Nogn and Alexei Kopylov. Formalizing Type Operations Using the ``Image'' Type Constructor

Bryan Renne. Propositional games with explicit strategies

Yoshitaka Suzuki. Additive Consolidation with Maximal Change

Hans-Joerg Tiede and Stephan Kepser. Monadic Second-Order Logic over Trees and Deterministic Transitive Closure Logics

Petrucio Viana, Renata P. de Freitas, Paulo A.S. Veloso and Sheila R.M. Veloso. Reasoning with Graphs

Dan Willard. The Axiom System I$Sigma_0$ Manages to Simultaneously Obey and Evade the Herbrandized Version of the Second Incompleteness Theorem

Last modified: May 24, 2006, 10:59am PDT.