Dear colleagues, 

Would you be so kind as to send me by email (normal ascii please) 
an abstract of your talk of at most 1page, 
(together with pointers to slides, papers, ... if you like)
asap and by Friday March 30th the latest ?

Kind regards,
Christine.

narciso@sip.ucm.es, 
Laure.Petrucci@lipn.univ-paris13.fr, 
Pascale.Legall@lami.univ-evry.fr, mcg@lri.fr, stefania.gnesi@isti.cnr.it, 
Dominique Mery@loria.fr, lsb@di.uminho.pt, kurz@mcs.le.ac.uk, 
M.Roggenbach@swan.ac.uk, Michel.Bidoit@lsv.ens-cachan.fr

till@tzi.de, gadducci@DI.UniPi.IT, pattinso@informatik.uni-muenchen.de

nicoletta.sabadini@uninsubria.it, robert.walters@uninsubria.it


Friday, March 23rd, 2007

1 - Narciso MARTI-OLIET (with Jose Meseguer, Miguel Palomino)
Algebraic simulations
http://maude.sip.ucm.es/~miguelpt/bibliography.html

2 - Laure PETRUCCI (observer) http://www-lipn.univ-paris13.fr/~petrucci/
(with Kais Klai) 
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) 
http://www.lri.fr/~denise/publications.html
Uniform random sampling of traces in very large models

5 - Stefania GNESI (observer) http://fmt.isti.cnr.it/~gnesi/
stefania.gnesi@isti.cnr.it 
(with Maurice ter Beek (young researcher), and Franco Mazzanti)
A model checking approach for designing asynchronous extension of SOAP

6 - Dominique MERY (with Dominique Cansell) http://www.loria.fr/~mery/
Correctness by construction

7 - Luis Soares BARBOSA (local guest) (with A.  and Jos Oliveira)
http://www.di.uminho.pt/~lsb/    lsb@di.uminho.pt
Revisiting invariants

8 - Lutz SCHROEDER
A semantic PSPACE criterion for coalgebraic modal logic

9 - Alexander KURZ
http://www.cs.le.ac.uk/people/akurz/
A categorical characterisation of next step (rank 1) logic 

10 - Markus ROGGENBACH (observer) http://www.cs.swan.ac.uk/~csmarkus/
(with Yoshinao Isobe http://staff.aist.go.jp/y-isobe/ )
CSP-Prover

11 - Michel BIDOIT http://www.lsv.ens-cachan.fr/~bidoit/
(with Rolf HENNICKER http://www.pst.ifi.lmu.de/~hennicke/ )
A formal foundation for contract-based software components

Saturday, March 24rd, 2007

12 - Fabio GADDUCCI (observer) http://www.di.unipi.it/~gadducci/
(Towards) An institution for graph transformation

13 - Till MOSSAKOWSKI http://www.informatik.uni-bremen.de/~till/
Heterogeneous proof scripts

14 - Dirk PATTINSON http://www.pst.ifi.lmu.de/personen/pattinso/
(with Peter Hancock and Neil Ghani)
Eating or programming with bi-inductive types

15 - Nicoletta SABADINI (observer) 
(with RFC Walters)
Compositionality and independence in automata

16 - Robert WALTERS (observer)
(with N. Sabadini)
On compositionality for automata - (i) infinite states and (ii) morphisms

17 - Vladimiro SASSONE (observer)

18 - Ugo MONTANARI

Luis CAIRES (observer)
Christine CHOPPY
Andrea CORRADINI
  Hartmut EHRIG
Jose FIADEIRO

Reiko HECKEL
  Mike HINCHEY (TC1 chair)

Peter MOSSES
Jos OLIVEIRA (local guest)
Fernando OREJAS

  S RAMESH (observer)
  Grigore ROSU
Don SANNELLA
Pierre-Yves SCHOBBENS

Alberto VERDEJO (young researcher)
Martin WIRSING



