Cari tutti,
giovedì 20 giugno in Aula Verra (Dipartimento di Filosofia, Via Ostiense, 234)
si terranno le discussioni delle due seguenti tesi di dottorato:

1) Alle ore 14:00, tesi di Andrei Dorman (cotutela Roma Tre-Paris 13), dal
titolo "Concurrency in Interaction Nets and Graph Rewriting"
Drettori di tesi:
L. Tortora de Falco (Roma Tre)
D. Mazza, S. Guerrini (Paris 13)
Commissione: F. Gadducci (Pisa), S. Guerrini (Paris 13), D. Hirschkoff (Ecole
Normale Supérieure Lyon), C. Laneve (Bologna), D. Mazza (CNRS-Paris 13), L.
Tortora de Falco (Roma Tre)
Referee: C. Palamidessi (INRIA, école Polytechnique), M. Fernandez (King's
College London)

2) Alle ore 16:00, tesi di Giulio Guerrieri (cotutela Roma Tre-Paris 7), dal
titolo "Differential nets, experiments and reduction"
Drettori di tesi:
L. Tortora de Falco (Roma Tre)
T. Ehrhard (Paris 7)
Commissione: V. M. Abrusci (Roma Tre), D. Mazza (CNRS-Paris 13), T. Ehrhard
(CNRS-Paris 7), L. Tortora de Falco (Roma Tre)
Referee: M. Fiore (Cambridge), L. Regnier (IML-Université Aix-Marseille)

Per l'occasione, si terrà venerdì 21 giugno dalle 10 alle 14 in aula 009
(presso il Dipartimento di Matematica e Fisica, Largo S. Leonardo Murialdo, 1)
un workshop informale sulle tematiche delle due tesi di dottorato, con
interventi dei membri delle commissioni e successiva discussione aperta.

Per ulteriori informazioni:
tortora@uniroma3.it