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

Gruppo di lavoro reti differenziali

Inizio: 28/04/2008
Fine: 30/04/2008
Dove: Aula Verra, Facoltà di Lettere e Filosofia (piano terra), Università Roma Tre

Esposizione e discussione delle ricerche sulle reti d'interazione differenziali tra dottorandi e postdoc italiani e francesi. L'idea è di non avere un'organizzazione rigida di quest'evento, lasciando piuttosto il più tempo possibile alla libera discussione e al lavoro in comune, approfittando della presenza in questi tre giorni di molti ricercatori francesi a Roma.
Tutte le modificazioni saranno messe on-line a questo indirizzo: http://logica.uniroma3.it/?q=node/222

Lunedi 28/04
14-16: Structures d'évènements et réseaux d'interaction: une étude
d'expressivité, Damiano Mazza
16.30-18.30: La formule de Taylor donne-t-elle des modèles de la
logique linéaire?, Daniel de Carvalho

Martedì 29/04
10.30-12.30: Les espaces de finitudes (seminaire), Christine Tasson +
Thomas Ehrhard
14-16: Typing all but clashes, Beniamino Accattoli
16.30-18.30: L'iterateur dans les espaces de finitude + coefficients,
Christine Tasson

Mercoledì 30/04
10.30-12.30: Recoller les expériences, ou comment reconstruire un
réseau à partir de son expansion de Taylor, Christine Tasson + Michele
Pagani
14:00 Superpromotion(s) et présentation intuitionniste de la logique
linéaire différentiel Paolo Tranquilli + Stephan Gimenez


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 = 'fnkacibiplrgempefn15gc6390' in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/node/231', '', '216.73.216.11', 1759581740) 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 ('fnkacibiplrgempefn15gc6390', 0, 0, '216.73.216.11', '', 1759581740) in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/node/231', '', '216.73.216.11', 1759581740) in /var/www/church/includes/database.mysql.inc on line 121