Monday, March 17, 2008

Accepted Papers for LICS 2008

The list of accepted papers for LICS 2008 is now available here. Some of the accepted papers that, judging by their titles, ought to be of interest for a concurrency theorist are the following ones.

- Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye and Marcus Groesser. Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata

- Taolue Chen and Wan Fokkink. On the Axiomatizability of Impossible Futures: Preorder versus Equivalence

- Ivan Lanese, Jorge A. Perez, Davide Sangiorgi and Alan Schmitt. On the Expressiveness and Decidability of Higher-Order Process Calculi

- Emmanuel Beffara. An Algebraic Process Calculus

- Tomas Brazdil, Jan Kretinsky, Antonin Kucera and Vojtech Forejt. The Satisfiability Problem for Probabilistic CTL

- Sam Staton. General Structural Operational Semantics through Categorical Logic

I'll try to find some time to write a few lines on at least some of them when they are available on line.

No comments: