[TYPES/announce] SOS 2006 - Programme and Call for Participation
Rob van Glabbeek
rvg at cs.stanford.edu
Wed Jul 5 19:46:00 EDT 2006
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 at 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
More information about the Types-announce
mailing list