Warning: Table './church/sessions' is marked as crashed and last (automatic?) repair failed
query: SELECT sid FROM sessions WHERE sid = 'qpf9henl0kknond8kuenqe3g00' in /var/www/church/includes/database.mysql.inc on line 121 Gruppo di Logica e Geometria della Cognizione
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.
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 = 'qpf9henl0kknond8kuenqe3g00' in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/calendario/2013/06/20', '', '216.73.216.58', 1751678376) in /var/www/church/includes/database.mysql.inc on line 121
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: INSERT INTO sessions (sid, uid, cache, hostname, session, timestamp) VALUES ('qpf9henl0kknond8kuenqe3g00', 0, 0, '216.73.216.58', 'calendar_year|i:2013;calendar_mon|i:6;', 1751678376) in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/calendario/2013/06/20', '', '216.73.216.58', 1751678376) in /var/www/church/includes/database.mysql.inc on line 121
