Track B

Logic, Semantics, Automata and Theory of Programming

See also the complete Call for Papers, and the list of accepted papers.

Topics

  • Algebraic and Categorical Models
  • Automata Theory, Formal Languages
  • Non-standard Approaches to Computability
  • Databases, Semi-Structured Data and Finite Model Theory
  • Principles of Programming Languages
  • Logics, Formal Methods and Model Checking
  • Models of Concurrent, Distributed, and Mobile Systems
  • Models of Reactive, Hybrid and Stochastic Systems
  • Program Analysis and Transformation
  • Specification, Refinement and Verification
  • Type Systems and Theory, Typed Calculi

Program Committe

  • Samson Abramsky, Oxford Univ. (PC Chair)
  • Luca Aceto, Univ. Rejkjavik
  • Lars Birkedal, IT Univ. of Copenhagen
  • Mikolaj Bojanczyk, Univ. Warsaw
  • Patricia Bouyer, CNRS, LSV Cachan
  • Josée Desharnais, Univ. Laval
  • Gilles Dowek, Ecole Polytechnique & INRIA
  • Manfred Droste, Univ. Leipzig
  • Peter Dybjer, Univ. Chalmers
  • Jose Felix Costa, Univ. Lisbon
  • Phokion Kolaitis, IBM Almaden
  • Ugo Dal Lago, Univ. Bologna
  • Daniel Leivant, Univ. Indiana
  • Andrzej Murawski, Oxford Univ.
  • Filip Murtak, Univ. Warsaw
  • Flemming Nielsen, Univ. Copenhagen
  • Dominique Perrin, Univ. Paris Est
  • Alex Rabinovich, Univ. Tel Aviv
  • Lutz Schroder, DFKI Bremen
  • Ian Stark, Univ. Edinburgh

Headlines

Conference Information

Links

Blix theme adapted by David Gilbert, powered by PmWiki