From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3356
Path: news.gmane.org!not-for-mail
From: SOS 2006 Organisers <sos2006@cs.stanford.edu>
Newsgroups: gmane.science.mathematics.categories
Subject: SOS 2006 - Programme and Call for Participation
Date: Thu, 6 Jul 2006 09:48:41 +1000
Message-ID: <E1FyWSY-0001D5-MH@mailserv.mta.ca>
NNTP-Posting-Host: main.gmane.org
X-Trace: ger.gmane.org 1241019250 8395 80.91.229.2 (29 Apr 2009 15:34:10 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 15:34:10 +0000 (UTC)
To: categories@mta.ca,
Original-X-From: rrosebru@mta.ca Thu Jul  6 13:21:19 2006 -0300
Return-path: <cat-dist@mta.ca>
Envelope-to: categories-list@mta.ca
Delivery-date: Thu, 06 Jul 2006 13:21:19 -0300
Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61)
	(envelope-from <cat-dist@mta.ca>)
	id 1FyWSY-0001D5-MH
	for categories-list@mta.ca; Thu, 06 Jul 2006 13:12:11 -0300
Original-Sender: cat-dist@mta.ca
Precedence: bulk
X-Keywords: 
X-UID: 13
Original-Lines: 70
Xref: news.gmane.org gmane.science.mathematics.categories:3356
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/3356>

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