* SOS 2006 - Programme and Call for Participation
@ 2006-07-05 23:48 SOS 2006 Organisers
0 siblings, 0 replies; only message in thread
From: SOS 2006 Organisers @ 2006-07-05 23:48 UTC (permalink / raw)
To: categories
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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2006-07-05 23:48 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2006-07-05 23:48 SOS 2006 - Programme and Call for Participation SOS 2006 Organisers
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).