LICS 2000 - Short Presentations

Reachability in Constraint Databases and Model Checking for Hybrid Systems

Michael Benedikt, Martin Grohe, Leonid Libkin, and Luc Segoufin

Non-Commutative Logic Programming Language NoCLog

Remi Baudot

Query Evaluation via Tree-Decompositions

Joerg Flum, Markus Frick, and Martin Grohe

Counting with Automata

Orna Kupferman, Amnon Ta-Shma, and Moshe Y. Vardi

Database Reformulation under Strong Storage Space Constraints

Rada Chirkova and Michael R. Genesereth

Content-Centric Logical Environments

Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, and Irene Schena

About Stable Models of Non-Stratified Logic Programs

Stefania Costantini

Systematic Design of Abstract Model Checking

Elisa Quintarelli

Linear Logic with Polarities

Olivier Laurent

Implementations that Preserve Confidentiality

Jan Cederquist and Pablo Giambiagi

Arrow-Labelled Transition Systems and Modular SOS

Peter D. Mosses

EPSL: Executable Protocol Specification Language

Edmund Clarke, Yuan Lu, Helmut Veith, and Dong Wang

Randomized Strategy Improvement Algorithm for Parity Games

Sergei Vorobyov

Type-Based Race Detection for Java

Cormac Flanagan and Stephen Freund

Protocol Composition and Correctness

Nancy Durgin, John Mitchell, Dusko Pavlovic

Back to the LICS web page.