Warning: Table './church/sessions' is marked as crashed and last (automatic?) repair failed query: SELECT sid FROM sessions WHERE sid = 'un2sve73h12b1sgabiui2l07b2' in /var/www/church/includes/database.mysql.inc on line 121
Discussione tesi di dottorato e workshop | Gruppo di Logica e Geometria della Cognizione
Home

Discussione tesi di dottorato e workshop

Speaker:
Andrei Dorman, Giulio Guerrieri
Quando:
20/06/2013 - 14:00
Dove:
Discussione tesi di dottorato di Andrei Dorman e Giulio Guerrieri: giovedì 20/06, dalle ore 14:00, Dipartimento Fil.Co.Spe, Aula Verra, via Ostiense 234; Workshop informale: venerdì 21/06, ore 10-14, Dipartimento di Matematica e Fisica, Aula 009, Largo San Leonardo Murialdo 1.
Abstract

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

Warning: Can't find file: 'watchdog' (errno: 2) query: INSERT INTO watchdog (uid, type, message, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', 'Table './church/sessions' is marked as crashed and last (automatic?) repair failed\nquery: SELECT sid FROM sessions WHERE sid = 'un2sve73h12b1sgabiui2l07b2' in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/node/557', '', '3.236.100.210', 1725981393) in /var/www/church/includes/database.mysql.inc on line 121