[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