Talks at the Udine IFIP WG1.3 meeting
Talks at the Udine IFIP WG1.3 meeting (September 11-12th, 2009)
18 abstracts, 16 slides, 5 (links to) papers
== Friday September 11th, 2009
- 1 - Jan Rutten
ABSTRACT, no slides
Kleene coalgebra
- 2 - Pawel Sobocinski
ABSTRACT,
SLIDES,
PAPER
The wire calculus
- 3 - Barbara Koenig
ABSTRACT,
PAPER,
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, no slides,
PAPER
Context alterations as labels
- 9 - Kokichi Futatsugi
ABSTRACT,
SLIDES
Combining inference and search in CafeOBJ verifications
with proof scores
- 10 - Dominique Duval
ABSTRACT,
SLIDES
Zooms for Effects
== Saturday September 12th, 2009
- 11 - Mihai Codescu, Florian Rabe, Till Mossakowski
ABSTRACT,
SLIDES
Model-Level vs Theory-Level Semantics
- 12 - Mark Ryan
ABSTRACT,
SLIDES
Analysis of electronic voting protocols
in applied pi calculus
- 13 - Lutz Schroeder
ABSTRACT,
SLIDES
PAPER
Formal management od CAD/CAM processes
- 14 - Reiko Heckel
ABSTRACT,
SLIDES, PAPER referenced at the end
Stochastic Analysis of Graph Transformation Systems
- 15 - Fabio Gadducci
ABSTRACT,
SLIDES
On the net encoding of asynchronous interactions
- 16 - Dirk Pattinson
ABSTRACT,
SLIDES
Continuous Functions on Infinite Structures
- 17 - Dominique Mery
ABSTRACT,
SLIDES
Refinement-based guidelines for algorithmic systems
- 18 - Mohamed Bettaz
ABSTRACT,
SLIDES
An Object-Z based Metamodel for Wright