List of all LICS invited speakers
-
LICS 2011, Toronto, Canada
Naoki Kobayashi : Higher-Order Model Checking: From Theory to Practice Andrei Krokhin : The Complexity of Evaluating First-Order Sentences over a Fixed Structure Toniann Pitassi : Propositional Proof Complexity: A Survey on the State of the Art, Including Some Recent Results Ashish Tiwari : Logic in Software, Dynamical and Biological Systems -
LICS 2010, Edinburgh, Scotland, UK
Martín Abadi : The Fine Print of Security Vincent Danos : Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction Georg Gottlob : Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications J. Strother Moore : Theorem Proving for Verification: The Early Days Catuscia Palamidessi : Probabilistic Information Flow -
LICS 2009, Los Angeles, California, USA
John Baez : Computation and the Periodic Table Edmund M. Clarke : My 27-year Quest to Overcome the State Explosion Problem Dan R. Ghica : Applications of Game Semantics: From Program Analysis to Hardware Synthesis Benjamin Rossman : Combining Ehrenfeucht-Fraïssé Games -
LICS 2008, Pittsburgh, PA, USA
David A. Basin : Cryptographically-Sound Protocol-Model Abstractions Martin Grohe : The Quest for a Logic Capturing PTIME Dexter C. Kozen : Nonlocal Flow of Control and Kleene Algebra with Tests Yiannis N. Moschovakis : The Axiomatic Derivation of Absolute Lower Bounds -
LICS 2007, Wroclaw, Poland
Thomas C. Hales : Some Methods of Problem Solving in Elementary Geometry Martin Hyland : Categorical Combinatorics for Innocent Strategies Phokion G. Kolaitis : Reflections on Finite Model Theory Gordon D. Plotkin : The Algebraic Theory of Effects Michael O. Rabin : Highly Efficient Secrecy-Preserving Proofs of Correctness of Computations and Applications Colin Stirling : Higher-Order Matching, Games and Automata -
LICS 2006, Seattle, Washington, USA
Andreas R. Blass : Adapting Logics Randal E. Bryant : Formal Verification of Infinite State Systems using Boolean Methods John W. Dawson : Shaken Foundations or Groundbreaking Realignment? A Centennial Assessment of Kurt Gödel's Impact on Logic, Mathematics, and Computer Science Andrew D. Gordon : Provable Implementations of Security Protocols Orna Kupferman : Avoiding Determinization Dana S. Scott : The Future of Proof -
LICS 2005, Chicago, USA
Michael Benedikt : An Insider's Guide to Logic in Telecommunications Data Solomon Feferman : Tarski's Influence on Computer Science Walter Fontana : Logic and Systems Biology Jane Hillston : Process Algebras for Quantitative Analysis Glynn Winskel : Relations in Concurrency -
LICS 2004, Turku, Finland
Samson Abramsky : High-Level Methods for Quantum Computation and Information Robert Harper : Self-Adjusting Computation Alexander A. Razborov : Feasible Proofs and Computations: Partnership and Fusion Davide Sangiorgi : Bisimulation: From The Origins to Today Igor Walukiewicz : A Landscape with Games in the Background Mihalis Yannakakis : Testing, Optimizaton, and Games -
LICS 2003, Ottawa, Canada
Martín Abadi : Logic in Access Control Erich Grädel : Will Deflation Lead to Depletion? On Non-Monotone Fixed Point Inductions John Harrison : Formal Verification at Intel Marta Z. Kwiatkowska : Model checking for probability and time: from theory to practice John McCarthy : Advice about logical AI Benjamin C. Pierce : Types and Programming Languages: The Next Generation Moshe Y. Vardi : How Logic Begat Computer Science -
LICS 2002, Copenhagen, Denmark
Stephen A. Cook : Complexity Classes, Propositional Proof Systems, and Formal Theories Georg Gottlob : Monadic Queries over Tree-Structured Data Maurizio Lenzerini : Description Logics: Foundations for Class-based Knowledge Representation John C. Reynolds : A Logic for Shared Mutable Data Structures Natarajan Shankar : Little Engines of Proof -
LICS 2001, Boston, MA, USA
Serge Abiteboul : Semistructured Data: From Practice to Theory Andrew W. Appel : Foundational Proof-Carrying Code David L. Dill : Successive Approximation of Abstract Transition Relations Yuri Gurevich : A Logician in the Land of OS: Abstract State Machines in Microsoft John C. Mitchell : Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis Wolfgang Thomas : The Engineering Challenge for Logic -
LICS 2000, Santa Barbara, CA, USA
Ronald Fagin : Logic, Complexity, and Games Saul A. Kripke : From the Church-Turing Thesis to the First-Order Algorithm Theorem Jean-Louis Krivine : The Curry-Howard Correspondence in Set Theory Kenneth L. McMillan : Some Strategies for Proving Theorems with a Model Checker Bart Selman : Satisfiability Testing: Recent Developments and Challenge Problems -
LICS 1999, Trento, Italy
Harvey M. Friedman : Some Decision Problems of Enormous Complexity Jean-Yves Girard : On the meaning of logical rules : ludics Joseph Y. Halpern : Plausibility Measures and Default Reasoning: An Overview Ugo Montanari : Cartesian Closed Double Categories, Their Lambda-Notation, and the Pi-Calculus Lawrence C. Paulson : Proving Security Protocols Correct -
LICS 1998, Indianapolis, IN, USA
Roger M. Needham : Logic and Over-Simplification Wolfgang Thomas : Monadic Logic and Automata: Recent Developments Johan van Benthem : Process Operations in Extended Dynamic Logics Dirk van Dalen : L. E. J. Brouwer's Intuitionism: A Revolution in Two Installments Moshe Y. Vardi : Linear vs. Branching Time: A Complexity-Theoretic Perspective -
LICS 1997, Warsaw, Poland
Luca Cardelli : A Theory of Objects Hubert Comon-Lundh : Applications of Tree Automata in Rewriting and Lambda Calculus Anita Feferman : The Saga of Alfred Tarski: From Warszawa to Berkeley David A. McAllester : Methods of Automated Complexity for Inference Rules Leszek Pacholski : Set Constraints -
LICS 1996, New Brunswick, NJ, USA
Thomas A. Henzinger : The theory of hybrid automata Gérard Huet : Design of a Proof Assistant André Joyal : Lattices, Categories and Communication Robin Milner : Calculi for Interactions Dana S. Scott : Some reflections on logic and logicians -
LICS 1995, San Diego, CA, USA
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 -
LICS 1994, Paris, France
Henk Barendregt : Results and Problems Related to Proof Checking Gerard Berry : The Semantics of Synchronous Concurrent Languages Corrado Böhm : An Algebraic View of the Lambda-Calculus Rod M. Burstall : Terms, proofs and refinement Edmund M. Clarke : Automatic verification of finite-state concurrent systems -
LICS 1993, Montreal, Canada
K. Jon Barwise : Imperfect information flow Phokion G. Kolaitis : A Tutorial on Finite Model Theory Joachim Lambek : Programs, grammars and arguments: a personal view of some connections between computation, language and logic Andrew M. Pitts : Bisimulation and Co-induction (Tutorial) Gordon D. Plotkin : Type theory and recursion -
LICS 1992, Santa Cruz, CA, USA
Samson Abramsky : Linear logic Vaughan R. Pratt : Origins of the calculus of binary relations Jeannette M. Wing : Specifications in software development -
LICS 1991, Amsterdam, The Netherlands
Thierry Coquand : No title available. Nicolaas G. de Bruijn : No title available. Jeff B. Paris : Modelling Belief -
LICS 1990, Philadelphia, PA, USA
Shang-Ching Chou : Automated Reasoning in Geometry Using Algebraic Methods Nachum Dershowitz : Theorem Proving with Ordered Equations Robin O. Gandy : A. Turing William McCune : Searching for Fixed-Point Combinators with the Kernel Method -
LICS 1989, Pacific Grove, CA, USA
Martin Davis : Emil Post's contributions to computer science Vladimir Lifschitz : The mathematics of nonmonotonic reasoning Dana S. Scott : Domains and logics -
LICS 1988, Edinburgh, Scotland, UK
C. Anthony R. Hoare : Partial correctness of C-MOS switching circuits: an exercise in applied logic Albert R. Meyer : Semantical paradigms: notes for an invited lecture -
LICS 1987, Ithaca, NY, USA
Robin Milner : Some Uses of Maximal Fixed Points John C. Reynolds : Conjunctive Types and Algol-like Languages Maarten H. van Emden : First-order Predicate Logic as a Common Basis for Relational and Functional Programming -
LICS 1986, Cambridge, MA, USA
Jean-Yves Girard : Quantitative and Qualitative Semantics Anil Nerode : A Logician Looks at Expert Systems: Areas for Mathematical Research John A. Robinson : Merging Functional with Relational Programming in a Reduction Setting