Personal tools
You are here: Home Track B Track B: Topics and Program Committee

Track B: Topics and Program Committee

by Michael Hoffmann last modified Nov 02, 2010 01:41 PM

See also the complete call for papers.


  • 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

Document Actions