Talks at the Braga IFIP WG1.3 meeting

Talks at the Braga IFIP WG1.3 meeting (March 23-24, 2007)

1 - Narciso MARTI-OLIET (with Jose Meseguer, Miguel Palomino) abstract, slides
Algebraic simulations paper web page
2 - Laure PETRUCCI (observer) (with Kais Klai) abstract and web page
Modular construction of symbolic observation graph
3 - Pascale LE GALL (observer) (with Marc Aiguier)
A formal definition of complex softwares
4 - Marie-Claude GAUDEL (with Alain Denise, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet) abstract and slides
Uniform random sampling of traces in very large models paper web page
5 - Stefania GNESI (observer) (with Maurice ter Beek (young researcher), and Franco Mazzanti) abstract and web page
A model checking approach for designing asynchronous extension of SOAP
6 - Dominique MERY (with Dominique Cansell) abstract and web page
Generic developments (Correctness by construction)
7 - Luis Soares BARBOSA (local guest) (with José N. Oliveira and Alexandra Silva ) abstract, slides and web page
Revisiting invariants
8 - Lutz SCHROEDER abstract, slides, paper and web page
A semantic PSPACE criterion for coalgebraic modal logic
9 - Alexander KURZ (joint work with J. Rosicky) abstract and web page
A categorical characterisation of next step (rank 1) logic
10 - Markus ROGGENBACH (observer) (with Yoshinao Isobe)
abstract, slides, Markus's web page and Yoshinao's web page
CSP-Prover
11 - Michel BIDOIT (with Rolf HENNICKER) abstract, Michel's web page and Rolf's web page
A formal foundation for contract-based software components

12 - Fabio GADDUCCI (observer) slides and web page
(Towards) An institution for graph transformation
13 - Till MOSSAKOWSKI abstract and web page
Heterogeneous proof scripts
14 - Dirk PATTINSON (with Peter Hancock and Neil Ghani) abstract, slides and web page
Eating, or: programming with bi-inductive types
15 - Nicoletta SABADINI (observer) (with RFC Walters) abstract, slides and web page
Compositionality and independence in automata
16 - Robert WALTERS (observer) (with M. Menni and N Sabadini) abstract, slides and web page
On compositionality for automata: (i) infinite states and (ii) morphisms
17 - Vladimiro SASSONE (observer) (with K. Krukow and M. Nielsen) abstract, slides and web page
A bayesian model for event-based trust - Elements of a fundation for computational trust
18 - Ugo MONTANARI (with Roberto Bruni, Alberto Lluch Lafuente, Emilio Tuosto) abstract web page
Style-based reconfigurations of software architectures as term rewriting