CALL FOR PARTICIPATION: Structural Operational Semantics 2006 - a satellite workshop of CONCUR 2006 26th August 2006, Bonn (Germany) http://www.cse.unsw.edu.au/~rvg/SOS2006/ !!! Early registration until 18th July !!! INVITED SPEAKERS: Bartek Klin (Warsaw, PL) Robin Milner (Cambridge, UK) - joint Express-Infinity-SOS talk PROGRAMME: 09:00 Registration 09:15 Welcome 09:30 Bartek Klin (invited talk): Bialgebraic methods in structural operational semantics 10:30 break 11:00 MohammadReza Mousavi, Michel A. Reniers: On well-foundedness and expressiveness of promoted tyft 11:30 Christiano Braga, Alberto Verdejo: Modular SOS with strategies 12:00 Adrian Pop, Peter Fritzson: An Eclipse-based integrated environment for developing executable structural operational semantics specifications (tool demonstration) 12:30 lunch 14:30 Robin Milner (joint invited Express-Infinity-SOS talk): Bigraphs, multi-local names and confluence 15:30 break 16:30 Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson: Active evaluation contexts for reaction semantics 17:00 Simone Tini: Notes on probabilistic bisimulations 17:30 Vincent Danos, Jean Krivine, Fabien Tarissan: Self-assembling trees 18:00 Close CONTACT: sos2006@cs.stanford.edu WORKSHOP ORGANISERS: Rob van Glabbeek National ICT Australia Locked Bag 6016 University of New South Wales Sydney, NSW 1466 Australia Peter D. Mosses Department of Computer Science Swansea University Singleton Park Swansea SA2 8PP United Kingdom