Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456

Address: [go: Go Back, main page]
Remove Scripts Accept Cookies Show Images Show Referer Rotate13 Base64 Strip Meta Strip Title Session Cookies

Accepted Papers for FOSSACS 2005

15 December 2004

A brief posting to recover from the teaching of the intensive course on Syntax and Semantics that I gave at Reykjavík University over a period of three weeks. (The exam for the course is going to be held tomorrow.)

The list of accepted papers for FOSSACS 2005 is now available. I like to think that concurrency theory is well represented in the conference programme. Some accepted papers that ought to be of interest to any reader of this diary are:

• Gerald Luettgen and Walter Vogler, Bisimulation on Speed: A Unified Approach.
• Yuxin Deng and Catuscia Palamidessi, Axiomatizations for probabilistic finite-state behaviors.
• Mohammad Reza Mousavi and Michel Reniers, Congruence for Structural Congruences.
• Ruggero Lanotte and Simone Tini, Probabilistic Congruence for Generative Semistochastic Processes
• Sibylle Froeschle, Composition and Decomposition in True-Concurrency
• Alan Jeffrey and Julian Rathke, Full Abstraction for Polymorphic Pi-Calculus
• Ian Stark, Free-Algebra Models for the Pi-Calculus
• Stefano Cattani, Roberto Segala, Marta Kwiatkowska, and Gethin Norman Stochastic Transition Systems for Continuous State Spaces and Non-determinism
• Cosimo Laneve and Gianluigi Zavattaro Foundations of web transactions

In addition, Igor Walukiewicz has a couple of very strong accepted papers.

My congratulations go to all of the authors of accepted papers, and especially to those in concurrency theory. It is good to see that so many people are doing very good work in my field, and I hope to discuss some of the papers accepted for FOSSACS 2005 in future postings.