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
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.