Wednesday, April 01, 2009

Accepted Papers for LICS 2009

The list of papers selected for presentation at LICS 2009 is out. At first sight, it wasn't a great year for concurrency theory, but the programme looks very interesting as usual. Some of the papers I intend to check out when I can get my hands on them, and the dust settles, are, e.g.:
  • Taolue Chen, Tingting Han, Joost-Pieter Katoen and Alexandru Mereacre. Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
  • Joachim Parrow, Magnus Johansson, Björn Victor and Jesper Bengtson. Psi-calculi: Mobile processes, nominal data, and logic
  • Frank Pfenning and Robert Simmons. Substructural Operational Semantics as Ordered Logic Programming
  • Sumit Nain and Moshe Vardi. Trace Semantics Is Fully Abstract
  • Udi Boker and Orna Kupferman. Co-ing Büchi: Less Open, Much More Practical
Plenty to read! Congrats to Sumit and Taolue, with whom I have had the pleasure to co-author papers at some point in the past.

No comments: