Day 1 ===== Program Logics -------------- Completeness of Kozen's Axiomatisation of the Propositional $\mu$-Calculus, Igor Walukiewicz Once and For All, Orna Bernholtz, Amir Pnueli Complete Proof Systems for First Order Interval Temporal Logic, Bruno Dutertre Finite Models I --------------- The Infinitary Logic of Sparse Random Graphs, James F. Lynch, Jerzy Tyszkiewicz Generalized Quantifiers and 0-1 Laws, Anuj Dawar, Erich Gr\"{a}del Relativized Logspace and Generalized Quantifiers over Finite Structures, Georg Gottlob First-order Queries on Finite Structures over the Reals, Jan Paredaens, Jan Van den Bussche, Dirk Van Gucht Model Checking and Verification ------------------------------- Model-Checking of Causality Properties, Rajeev Alur, Doron Peled, Wojciech Penczek On the Complexity of Modular Model Checking, Moshe Y. Vardi Timing Behavior Analysis for Real-Time Systems, Farn Wang On the Verification Problem of Nonregular Properties for Nonregular Processes, Ahmed Bouajjani, Peter Habermehl, Rachid Echahed Day 2 ===== Theorem Proving and AI ---------------------- Uniform Proofs and Disjunctive Logic Programming, Gopalan Nadathur, Donald W. Loveland Structural Cut Elimination, Frank Pfenning Paramodulation without Duplication, Christopher Lynch Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning, V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel Concurrency I ------------- Control Structures, Alex Mifsud, Robin Milner, John Power Configuration Structures, R. J. Van Glabbeek, G. D. Plotkin A Typed Calculus of Synchronous Processes, Simon Gay, Rajagopal Nagarajan Modal $\mu$-Types for Processes, Marino Miculan, Fabio Gadducci Semantics I ----------- Games and Full Abstraction for the Lazy $\lambda$-Calculus, Samson Abramsky, Guy McCusker Games Semantics for Full Propositional Linear Logic, Fran\c{c}ois Lamarche A Fully Abstract Semantics for a Concurrent Functional Language with Monadic Types, Alan Jeffrey Day 3 ===== Lambda-Calculus and Types ------------------------- Equality Between Functionals in the Presence of Coproducts, Daniel J. Dougherty, Ramesh Subrahmanyam A Logic of Subtyping, Giuseppe Longo, Kathleen Milsted, Sergei Soloviev Normalization and Extensionality, Adolfo Piperno New Notions of Reduction and Non-Semantic Proofs of $\beta$-Strong Normalization in Typed $\lambda$-Calculi, A. J. Kfoury, J. B. Wells Finite Models II ---------------- Finitely Monotone Properties, Alexei P. Stolboushkin Tree Canonization and Transitive Closure, Kousha Etessami, Neil Immerman Ptime Canonization for Two Variables with Counting, Martin Otto When Do Fixed Point Logics Capture Complexity Classes?, Anil Seth Unification and Rewriting ------------------------- Higher-Order Unification via Explicit Substitutions, Gilles Dowek, Th\'{e}r\`{e}se Hardin, Claude Kirchner Sequentiality, Second Order Monadic Logic and Tree Automata, Hubert Comon Orderings, AC-Theories and Symbolic Constraint Solving, Hubert Comon, Robert Nieuwenhuis, Albert Rubio Day 4 ===== Model Checking II ----------------- Efficient On-the-Fly Model Checking for $CTL^{*}$, Girish Bhat, Rance Cleaveland, Orna Grumberg Partial Model Checking, Henrik Reif Andersen Hardware Verification via Boolean Logic Programming, Enrico Tronci Concurrency II -------------- Compositionality via Cut-Elimination: Hennessy-Milner Logic for an Arbitrary GSOS, Alex K. Simpson Compositional Testing Preorders for Probabilistic Processes, Bengt Jonsson, Wang Yi Semantics II ------------ The Stone Gamut: A Coordinatization of Mathematics, Vaughan R. Pratt Logically Presented Domains, Erik Palmgren, Viggo Stoltenberg-Hansen Domain Theory in Stochastic Processes, Abbas Edalat Linear Logic ------------ Decision Problems for Second Order Linear Logic, Patrick Lincoln, Andre Scedrov, Natarajan Shankar The Complexity of Neutrals in Linear Logic, Max I. Kanovich Decidability of Linear Affine Logic, Alexei P. Kopylov