Talks at the Urbana Champaign IFIP WG1.3 meeting
Talks at the Udine IFIP WG1.3 meeting (September 11-12th, 2009)
x abstracts, y slides, z papers
== Friday September 11th, 2009
- 1 - Jan Rutten
abstract ?,
slides ?
Kleene coalgebra
- 2 - Pawel Sobocinski
abstract ?,
slides ?
The wire calculus
- 3 - Barbara Koenig
abstract ?,
slides ?
On the recognizability of arrow and graph languages
- 4 - Bartek Klin
abstract ?,
slides ?
Context alterations as labels
- 5 - Andrzej Tarlecki
abstract ?,
slides ?
An easy exercise in Hoare's logic: imperative expressions
- 6 - Narciso Marti-Oliet
abstract,
slides ?
Declarative debugging of missing answers in Maude specifications
- 7 - Ugo Montanari
abstract,
slides ?
Coalgebras for Named Sets
- 8 - Egon Boerger
abstract ?,
slides ?
Context alterations as labels
- 9 - Kokichi Futatsugi
abstract ?,
slides ?
- 10 - Dominique Duval
abstract ?,
slides ?
== Saturday September 12th, 2009
- 11 - Till Mossakowski
abstract ?,
slides ?
- 12 - Lutz Schroeder
abstract ?,
slides ?
- 13 - Dirk Pattinson
abstract ?,
slides ?
Continuous Functions on Infinite Structures
- 14 - Reiko Heickel
abstract ?,
slides ?
- 15 - Fabio Gaducci
abstract,
slides ?
On the net encoding of asynchronous interactions
- 16 - Mark Ryan
abstract ?,
slides ?
- 17 - Dominique Mery
abstract,
slides ?
Refinement-based guidelines for algorithmic systems
- 18 - Mohamed Bettaz
abstract ?,
slides ?