LICS'95 Accepted Papers

[Since it is clearly relevant, I am distributing this conference
announcement to types.  -- Philip Wadler, moderator, Types Forum.]

                                   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