Speakers

Vienna Summer of Logic speakers

VSL welcomed five invited speakers:

  • Franz Baader (TU Dresden): VSL keynote speaker (Monday, July 21st, 8:45 am)
    Talk title: Ontology-Based Monitoring of Dynamic Systems – Abstract
  • Edmund M. Clarke (Carnegie Mellon University): VSL keynote speaker (Tuesday, July 22nd, 8:45 am)
    Talk title: Verification of Computer Systems with Model Checking – Abstract
  • Christos Papadimitriou (University of California, Berkeley): VSL keynote speaker (Monday, July 14th, 9:15 am)
    Talk title: Computational Ideas and the Theory of Evolution – Abstract
  • Dana Scott (Carnegie Mellon University): VSL opening speaker (Monday, July 14th, 8:45 am)
  • Alex Wilkie (University of Manchester): VSL keynote speaker (Wednesday, July 16th, 8:45 am)
    Talk title: The theory and applications of o-minimal structures – Abstract

Recordings

Dana Scott · Christos Papadimitriou · Alex Wilkie · Franz Baader · Edmund M. Clarke

Dana Scott: VSL Opening
Christos Papadimitriou: Computational Ideas and the Theory of Evolution – Abstract

Alex Wilkie: The theory and applications of o-minimal structures – Abstract

Franz Baader: Ontology-Based Monitoring of Dynamic Systems – Abstract

Edmund M. Clarke: Verification of Computer Systems with Model Checking – Abstract

Biographies

(Click on image for high-resolution version)

Franz Baader

Franz Baader (c): Franz Baader

Edmund Clarke

Edmund Clarke (c): Carnegie Mellon

Christos Papadimitriou (C): Rama

Christos Papadimitriou (c): Rama

Dana Scott (c): Carnegie Mellon University

Dana Scott (c): Carnegie Mellon University

Alex Wilkie (C): Alex Wilkie

Alex Wilkie (c): Alex Wilkie

Logic in CS / FLoC plenary speakers

The FLoC plenary speakers will be Orna Kupferman (Hebrew University) and Véronique Cortier (LORIA).

Biographies

Talk titles and abstracts

(Click on image for high-resolution version)

Véronique Cortier (c): INRIA / Photo Kaksonen

Véronique Cortier (c): INRIA / Photo Kaksonen

Orna Kupferman (c): Orna Kupferman

Orna Kupferman (c): Orna Kupferman

Logic in CS / FLoC invited speakers

26th International Conference on Computer Aided Verification (CAV)

  • Erik Winfree (Caltech)
  • Rance Cleaveland (Univ. Maryland and Fraunhofer)

27th IEEE Computer Security Foundations Symposium (CSF)

  • Alessandro Acquisti (Carnegie Mellon University)
  • Gilles Barthe (IMDEA Software Institute)
  • Frank Piessens (K.U. Leuven)

30th International Conference on Logic Programming (ICLP)

  • Andrey Rybalchenko (Technical University Munich & Microsoft Research)
  • Neng-Fa Zhou (CUNY, New York)

7th International Joint Conference on Automated Reasoning (IJCAR)

  • Ken McMillan (Microsoft Research)
  • Rajeev Goré (Australian National University)

5th Conference on Interactive Theorem Proving (ITP)

  • Rod Chapman (Altran Praxis)
  • Peter Sewell (University of Cambridge)
  • Anna Slobodova (Centaur Technology)

Joint meeting of the 23rd EACSL Annual Conference on Computer Science Logic (CSL) and the 29th ACM/IEEE Symposium on Logic in Computer Science (LICS)

  • Christel Baier (TU Dresden)
  • Patrick Cousot (ENS Paris and NYU)

25th International Conference on Rewriting Techniques and Applications (RTA) joint with the 12th International Conference on Typed Lambda Calculi and Applications (TLCA)

  • Nicola Gambino (University of Leeds)
  • Manfred Schmidt-Schauss (Goethe University Frankfurt)
  • Nobuko Yoshida (Imperial College London)

17th International Conference on Theory and Applications of Satisfiability Testing (SAT)

  • Leonardo de Moura (Microsoft Research)
  • Jakob Nordström (KTH Royal Institute of Technology)

Logic in AI invited speakers

The KR-2014 invited speakers will be Tony Cohn (University of Leeds), Georg Gottlob (University of Oxford) and Sheila McIlraith (University of Toronto).

Tony Cohn

Tony Cohn (c): University of Leeds

Georg Gottlob (c): Georg Gottlob

Georg Gottlob (c): Georg Gottlob

Sheila McIlraith (c): University of Toronto

Sheila McIlraith (c): University of Toronto

27th International Workshop on Description Logics (DL)

  • Michael Benedikt (University of Oxford)
  • Alon Y. Halevy (Google USA)

15th International Workshop on Non-Monotonic Reasoning (NMR)

  • Philippe Besnard (IRIT at Université Toulouse III Paul Sabatier)
  • Patrick Blackburn (University of Roskilde) – joint DL+NMR invited speaker
  • Hans Rott (Universität Regensburg)

Mathematical Logic invited speakers

Logic Colloquium

  • Krzysztof Apt (University of Amsterdam) – tutorial
  • Alexandre Miquel (Ecole Normale Superieure de Lyon) – tutorial
  • Julia Knight (University of Notre Dame) – Gödel lecture

Logic colloquium plenary speakers

  • Andrej Bauer (University of Ljubljana)
  • Paddy Blanchette (University of Notre Dame)
  • Kirsten Eisenträger (Pennsylvania State University)
  • Andrés Cordón Franco (University of Sevilla)
  • Vera Fischer (University of Vienna)
  • Noam Greenberg (Victoria University of Wellington)
  • Leszek Kołodziejczyk (University of Warsaw)
  • Ben Miller (Universität Münster)
  • Mark Reynolds (University of Western Australia)
  • Mariya Soskova (Sofia University)
  • Albert Visser (University Utrecht)

Logic, Algebra and Truth Degrees 2014

  • Silvio Ghilardi (University of Milano)
  • Melvin Fitting (Lehman College)
  • George Metcalfe (University of Bern)
  • Dale Miller (INRIA Saclay & LIX, Ecole Polytechnique Paris)
  • Dana Scott (Carnegie Mellon University)
  • Alasdair Urquhart (University of Toronto)