Coronavirus (Covid-19): Latest updates and information
Skip to main content Skip to navigation

Track B: Logic, Semantics, Automata and Theory of Programming


  • 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.

PC members:

Important Dates:

  • Submission:
    February 21, 2012 (Closed)
  • Notification:
    April 17, 2012
  • Final manuscript due: May 8, 2012
  • Conference:
    July 9 - 13, 2012

Submission guidelines

Conference poster (pdf)