On this page:
Invited Speakers
- Robert L. Constable
Experience using type theory as a foundation for computer science - Michael J. C. Gordon
The Semantic Challenge of Verilog HDL - Amir Pnueli
A Complete Proof Systems for QPTL - Boris A. Trakhtenbrot
Origins and Metamorphoses of The Trinity: Logic, Nets, Automata
Invited Papers
- Robert L. Constable
Experience using type theory as a foundation for computer scienceMore Information... - Michael J. C. Gordon
The Semantic Challenge of Verilog HDLMore Information... - Yonit Kesten Amir Pnueli
A Complete Proof Systems for QPTLMore Information... - Boris A. Trakhtenbrot
Origins and Metamorphoses of The Trinity: Logic, Nets, AutomataMore Information...
Presented Papers
Entries are ordered by surname of first author
- Samson Abramsky Guy McCusker
Games and Full Abstraction for the Lazy Lambda-CalculusMore Information... - Rajeev Alur Doron A. Peled Wojciech Penczek
Model-Checking of causality propertiesMore Information... - Henrik R. Andersen
Partial Model CheckingMore Information... - Girish Bhat Rance Cleaveland Orna Grumberg
Efficient On-the-Fly Model Checking for CTLMore Information... - Ahmed Bouajjani Rachid Echahed Peter Habermehl
On the Verification Problem of Nonregular Properties for Nonregular ProcessesMore Information... - Hubert Comon-Lundh Robert Nieuwenhuis Albert Rubio
Orderings, AC-theories and Symbolic Constraint SolvingMore Information... - Hubert Comon-Lundh
Sequentiality, Second-order Monadic Logic and Tree AutomataMore Information... - Anuj Dawar Erich Grädel
Generalized Quantifiers and 0-1 LawsMore Information... - Daniel J. Dougherty Ramesh Subrahmanyam
Equality Between Functionals in the Presence of CoproductsMore Information... - Gilles Dowek Thérèse Hardin Claude Kirchner
Higher-order Unification via Explicit SubstitutionsMore Information... - Bruno Dutertre
Complete Proof Systems for First Order Interval Temporal LogicMore Information... - Abbas Edalat
Domain Theory in Stochastic ProcessesMore Information... - Kousha Etessami Neil Immerman
Tree Canonization and Transtive ClosureMore Information... - Simon J. Gay Rajagopal Nagarajan
A Typed Calculus of Synchronous ProcessesMore Information... - Georg Gottlob
Relativized Logspace and Generalized Quantifiers Over Finite StructuresMore Information... - Alan Jeffrey
A Fully Abstract Semantics for a Concurrent Functional Language with Monadic TypesMore Information... - Bengt Jonsson Wang Yi
Compositional Testing Preorders for Probabilistic ProcessesMore Information... - Max I. Kanovich
The Complexity of Neutrals in Linear LogicMore Information... - Assaf J. Kfoury Joe B. Wells
New Notions of Reduction and Non-Semantic Proofs of Strong Beta- Normalization in Typed Lambda CalculiMore Information... - Alexei P. Kopylov
Decidability of Linear Affine LogicMore Information... - Orna Kupferman Amir Pnueli
Once and For AllMore Information... - François Lamarche
Games Semantics for Full Propositional Linear LogicMore Information... - Patrick Lincoln Natarajan Shankar Andre Scedrov
Decision Problems For Second-Order Linear LogicMore Information... - Giuseppe Longo Kathleen Milsted Sergei Soloviev
A logic of subtypingMore Information... - James F. Lynch Jerzy Tyszkiewicz
The Infinitary Logic of Sparse Random GraphsMore Information... - Christopher Lynch
Paramodulation without DuplicationMore Information... - Victor W. Marek Anil Nerode Jeffrey B. Remmel
Complexity of Normal Default Logic and Related Modes of Nonmonotonic ReasoningMore Information... - Marino Miculan Fabio Gadducci
Modal µ-Types for ProcessesMore Information... - Alex Mifsud Robin Milner A. John Power
Control StructuresMore Information... - Gopalan Nadathur Donald W. Loveland
Uniform proofs and disjunctive logic programmingMore Information... - Martin Otto
PTime Canonization for Two Variables with CountingMore Information... - Erik Palmgren Viggo Stoltenberg-Hansen
Logically Presented DomainsMore Information... - Jan Paredaens Jan Van den Bussche Dirk Van Gucht
First-Order Queries on Finite Structures Over the RealsMore Information... - Frank Pfenning
Structural Cut EliminationMore Information... - Adolfo Piperno
Normalization and ExtensionalityMore Information... - Vaughan R. Pratt
The Stone Gamut: A Coordinatization of MathematicsMore Information... - Anil Seth
When do Fixed Point Logics Capture Complexity Classes?More Information... - Alex K. Simpson
Compositionality via Cut-Elimination: Hennessy-Milner Logic for an Arbitrary GSOSMore Information... - Alexei P. Stolboushkin
Finitely Monotone PropertiesMore Information... - Enrico Tronci
Hardware Verification, Boolean Logic Programming, Boolean Functional ProgrammingMore Information... - Rob J. van Glabbeek Gordon D. Plotkin
Configuration StructuresMore Information... - Moshe Y. Vardi
On the complexity of modular model checkingMore Information... - Igor Walukiewicz
Completeness of Kozen's Axiomatisation of the Propositional Mu-CalculusMore Information... - Farn Wang
Timing behavior analysis for real-time systemsMore Information...
Organizers
General ChairMoshe Y. Vardi (Rice University) Program ChairDexter C. Kozen (Cornell University) Conference ChairSamuel R. Buss (University of California, San Diego) Jeffrey B. Remmel (University of California, San Diego) Publicity ChairAmy Felty (AT&T Bell Laboratories) Douglas J. Howe (AT&T Bell Laboratories) |
Program Committee:Martín Abadi (DEC); Leo Bachmair (SUNY Stony Brook); Carolyn Brown (Univ. of Sussex); Edmund M. Clarke (CMU); E. Allen Emerson (UT Austin); Ursula Goltz (Univ. of Hildesheim); Thomas A. Henzinger (Cornell); Phokion G. Kolaitis (UC Santa Cruz); Dexter C. Kozen (Cornell) (chair); Dale A. Miller (Univ. of Pennsylvania); C.-H. Luke Ong (Oxford and Natl. Univ. Singapore); A. Prasad Sistla (Univ. of Illinois, Chicago); Val Breazu-Tannen (Univ. of Pennsylvania and Univ. of Paris-Sud); Jerzy Tiuryn (Univ. of Warsaw) Organizing CommitteeMartín Abadi; Samson Abramsky; Sergei N. Artëmov; Egon Börger; Allan Borodin; Wilfried Brauer; Alan Bundy; Samuel R. Buss; Edmund M. Clarke; Robert L. Constable; Amy Felty; Ursula Goltz; Douglas J. Howe; Gérard P. Huet; Jean-Pierre Jouannaud; Deepak Kapur; Claude Kirchner; Phokion G. Kolaitis; Dexter C. Kozen; F. Thomson Leighton; Daniel Leivant; Albert R. Meyer; Dale A. Miller; John C. Mitchell; Yiannis N. Moschovakis; Mitsuhiro Okada; Prakash Panangaden; Jeffrey B. Remmel; Jon G. Riecke; Simona Ronchi della Rocca; Andre Scedrov; Dana S. Scott; Jerzy Tiuryn; Moshe Y. Vardi |