From: SOS 2006 Organisers <sos2006@cs.stanford.edu>
To: categories@mta.ca,
Subject: SOS 2006 - Programme and Call for Participation
Date: Thu, 6 Jul 2006 09:48:41 +1000 [thread overview]
Message-ID: <E1FyWSY-0001D5-MH@mailserv.mta.ca> (raw)
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
reply other threads:[~2006-07-05 23:48 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=E1FyWSY-0001D5-MH@mailserv.mta.ca \
--to=sos2006@cs.stanford.edu \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
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).