List of all LICS invited speakers
-
LICS 2024, Tallinn, Estonia
Sam Buss : Tutorial: Provability, totality, and complexity in bounded arithmetic Martin Escardo : Topology in constructive mathematics and computer science Alexandra Silva : Semirings in Logic, Semantics, and Verification Alex Simpson : Tutorial: A tutorial on sheaf semantics -
LICS 2023, Boston, USA
Adnan Darwiche : Tutorial: Logic for Explainable AI Azadeh Farzan : Tutorial: Commutativity in Automated Program Verification Dale Miller : A system of inference based on proof search: an extended abstract Tonian Pitassi : TBA Dan Suciu : Applications of Information Inequalities to Database Theory Problems -
LICS 2022, Haifa, Israel
Amal Ahmed : Semantic Intermediate Representations for the Working Metatheoretician Mikolaj Bojanczyk : Transducers of polynomial growth -
LICS 2021, Rome, Italy
Luca Aceto : In search of lost time: Axiomatising parallel composition in process algebras Martin Grohe : The Logic of Graph Neural Networks Maurizio Lenzerini : Abstraction in Data Integration Nadia Polikarpova : Synthesis of safe pointer-manipulating programs R. Ryan Williams : Complexity Lower Bounds from Algorithm Design -
LICS 2020, Saarbrucken, Germany
Mariangiola Dezani-Ciancaglini : A tale of intersection types Erich Grädel : Automatic Structures: Twenty Years Later Jérôme Leroux : When Reachability Meets Grzegorczyk Brigitte Pientka : Contextual Types, Explained: Invited Tutorial Andrew Yao : An Incentive Analysis of Some Bitcoin Fee Designs -
LICS 2019, Vancouver
Andrei Bulatov : Tutorial: A short story of the CSP dichotomy conjecture Daniele Petrisan : Tutorial: A categorical approach to automata theory Nicole Schweikardt : Local normal forms and their use in algorithmic meta theorems Peter Selinger : Number-theoretic methods in quantum computing James Worrell : Orbit Problems for Linear Dynamical Systems -
LICS 2018, Oxford
Thierry Coquand : Inner Models of Univalence Javier Esparza : Black Ninjas in the Dark: Formal Analysis of Population Protocols Peter W. O'Hearn : Continuous Reasoning: Scaling the impact of formal methods -
LICS 2017, Reykjavik
Thomas Colcombet : Logic and regular cost functions Kousha Etessami : Algorithms for some infinite-state MDPs and stochastic games C.-H. Luke Ong : Quantitative semantics of the lambda calculus: Some generalisations of the relational model Corina S. Pasareanu : Symbolic execution and probabilistic reasoning -
LICS 2016, New York City
Pedro M. Domingos Daniel Lowd Stanley Kok Aniruddh Nath Hoifung Poon Matthew Richardson Parag Singla : Unifying Logical and Statistical AI Mai Gehrke : Duality in Computer Science Maurice Herlihy Mark Moir : Blockchains and the Logic of Accountability: Keynote Address Joost-Pieter Katoen : The Probabilistic Model Checking Landscape -
LICS 2015, Kyoto, Japan
Daniel Kifer : Privacy and the Price of Data Anca Muscholl : Automated Synthesis of Distributed Controllers Peter O'Hearn : From Categorical Logic to Facebook Engineering C.-H. Luke Ong : Recent Advances in Higher-order Model Checking Andrew Pitts : Names and Symmetry in Computer Science (tutorial) Geoffrey Smith : Quantitative Information Flow (tutorial) -
LICS 2014, Vienna, Austria
Christel Baier : Trade-off analysis meets probabilistic model checking Patrick Cousot : Abstract interpretation: past, present and future Jasmin Fisher : Understanding biology through logic (tutorial) Assia Mahboubi : Computer-checked mathematics: a formal proof of the odd order theorem (tutorial) -
LICS 2013, New Orleans, USA
Rajeev Alur : Regular Functions and Cost Register Automata Hubert Comon-Lundh : Logic In Computer Security: Some attacker's models and related decision problems (tutorial) Joseph Y. Halpern : From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic Nancy A. Lynch : Timed and Probabilistic I/O Automata Prakash Panangaden : Duality in Logic and Computation Jan Rutten : Automata and the algebra-coalgebra duality: on varieties and covarieties, on transition monoids and their dual (tutorial) -
LICS 2012, Dubrovnik, Croatia
Robert J. Aumann : Backward Induction in Games of Perfect Information Robert L. Constable : On Building Constructive Formal Theories of Computation Noting the Roles of Turing, Church, and Brouwer Joan Feigenbaum : Privacy, Anonymity, and Accountability in Ad-Supported Services Jan Willem Klop : Term Rewriting and Lambda Calculus (tutorial) Leonid A. Levin : Turing's Password: What Internet Cannot Leak André Platzer : Logics of Dynamical Systems (tutorial) -
LICS 2011, Toronto, Canada
Albert Atserias : A Why-on-Earth Tutorial on Finite Model Theory (tutorial) Naoki Kobayashi : Higher-Order Model Checking: From Theory to Practice Andrei Krokhin : The Complexity of Evaluating First-Order Sentences over a Fixed Structure Prakash Panangaden : The Meaning of Semantics (tutorial) 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 (tutorial) Benjamin Rossman : Combining Ehrenfeucht-Fraïssé Games (tutorial) -
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