Track B: Topics and PC

See also the complete call for papers.

Topics

• Algebraic and Categorical Models
  
• Automata Theory, Formal Languages
  
• Emerging and Non-standard Models of Computation
  
• 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 Committee

• Luca Aceto, Reykjavik University (chair) 
• Anuj Dawar, University of Cambridge
  
• Rocco De Nicola, Università di Firenze
  
• Zoltán Ésik, University of Szeged
  
• Wan Fokkink, VU Amsterdam
  
• Herman Geuvers, Radboud University Nijmegen
  
• Radha Jagadeesan, DePaul University
  
• Jarkko Kari, University of Turku
  
• Joost-Pieter Katoen, RWTH Aachen
  
• Orna Kupferman, Hebrew University, Jerusalem
  
• François Laroussinie, Paris Diderot
  
• Carroll Morgan, University of New South Wales, Sydney
  
• Anca Muscholl, LaBRI Bordeaux
  
• Hanne Riis Nielson, Technical University of Denmark, Copenhagen
  
• Prakash Panangaden, McGill University, Montreal
  
• Joachim Parrow, Uppsala University
  
• Reinhard Pichler, TU Vienna
  
• Roberto Segala, Università di Verona
  
• Helmut Seidl, TU München
  
• Alex Simpson, University of Edinburgh
  
• Pawel Urzyczyn, Warsaw University