| 2000 | Finite Models and Full Completeness. | James Laird |
| 2000 | On the Complexity of Explicit Modal Logics. | Roman Kuznets |
| 2000 | A Theory of Explicit Mathematics Equivalent to ID | Reinhard Kahle, Thomas Studer |
| 2000 | Logic Programming and Co-inductive Definitions. | Mathieu Jaume |
| 2000 | Modal Satisfiability Is in Deterministic Linear Space. | Edith Hemaspaandra |
| 2000 | Interactive Programs in Dependent Type Theory. | Peter G. Hancock, Anton Setzer |
| 2000 | Axiomatizing the Least Fixed Point Operation and Binary Supremum. | Zoltn sik |
| 2000 | Disjunctive Tautologies as Synchronisation Schemes. | Vincent Danos, Jean-Louis Krivine |
| 2000 | Sequents, Frames, and Completeness. | Thierry Coquand, Guo-Qiang Zhang |
| 2000 | Flatness Is Not a Weakness. | Hubert Comon, Vronique Cortier |
| 2000 | Independence: Logics and Concurrency. | Julian C. Bradfield |
| 2000 | Composition and Submachine Concepts for Sequential ASMs. | Egon Brger, Joachim Schmid |
| 2000 | Bounded Arithmetic and Descriptive Complexity. | Achim Blumensath |
| 2000 | Choiceless Polynominal Time Computation and the Zero-One Law. | Andreas Blass, Yuri Gurevich |
| 2000 | Background, Reserve, and Gandy Machines. | Andreas Blass, Yuri Gurevich |
| 2000 | Definability over Linear Constraints. | Michael Benedikt, H. Jerome Keisler |
| 2000 | Continuous Functionals of Dependent Types and Equilogical Spaces. | Andrej Bauer, Lars Birkedal |
| 2000 | Hypersequent and the Proof Theory of Intuitionistic Fuzzy Logic. | Matthias Baaz, Richard Zach |
| 2000 | The Descriptive Comlexity of the Fixed-Points of Bounded Formulas. | Albert Atserias |
| 2000 | Subtyping with Power Types. | David Aspinall |
| 2000 | A Fully Complete PER Model for ML Polymorphic Types. | Samson Abramsky, Marina Lenisa |
| 1999 | Choice Logic Programs and Nash Equilibria in Strategic Games. | Marina De Vos, Dirk Vermeir |
| 1999 | Topological Queries in Spatial Databases. | Victor Vianu |
| 1999 | Lower Bounds for Space in Resolution. | Jacobo Torn |
| 1999 | A NExpTime-Complete Description Logic Strictly Contained in C | Stephan Tobies |