Warning: Table './church/sessions' is marked as crashed and last (automatic?) repair failed
query: SELECT sid FROM sessions WHERE sid = '1mf5vsnbn9fe5qf98sle3n11d2' in /var/www/church/includes/database.mysql.inc on line 121 Gruppo di Logica e Geometria della Cognizione
Università Roma Tre, Dipartimento di Matematica e Fisica (Largo San Leonardo Murialdo, 1 - 00146 Roma), Room 311 (3rd floor)
Descrizione
Program:
December 21, Monday
11:00-11:15 Ouverture
11:15-12:00 Daniel De Carvalho The relational model is injective for Multiplicative Exponential Linear Logic
12:00-12:30 Lorenzo Tortora de Falco/Luc Pellissier Some remarks about connectedness, Taylor expansion and injective relational semantics
12:30-14:00 lunch
14:00-14:45 Lionel Vaux Looking at cut elimination through the lens of Taylor expansion
14:45-15:15 Marco Solieri Taylor-expansion, cut elimination and geometry of interaction
15:15-16:00 Damiano Mazza Proof Nets in Space
16:00-16:15 coffee break
16:15-16:45 Ugo Dal Lago The Geometry of Synchronization
16:45-17:15 Anna Chiara Lai, Marco Pedicini, Silvia Rognone Quantum entanglement and the Bell Matrix: the encoding in QMLL
December 22, Tuesday
9:15-10:00 Marc Bagnol TBA
10:00-10:30 coffee break
10:30-12:30 open session Representation of nets
talks and micro-talks by Giulio Guerrieri/Lorenzo Tortora de Falco, Luc Pellissier, Thomas Ehrhard, Beniamino Accattoli, Vito Michele Abrusci.
12:30-14:30 lunch
14:30-17:00 open session Correctness criteria
talks and micro-talks by Roberto Maieli, Vito Michele Abrusci, Beniamino Accattoli, Marc Bagnol, Thomas Ehrhard.
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 = '1mf5vsnbn9fe5qf98sle3n11d2' in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/calendario/2015/12/21', '', '216.73.216.58', 1751628280) 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 ('1mf5vsnbn9fe5qf98sle3n11d2', 0, 0, '216.73.216.58', 'calendar_year|i:2015;calendar_mon|i:12;', 1751628280) in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/calendario/2015/12/21', '', '216.73.216.58', 1751628280) in /var/www/church/includes/database.mysql.inc on line 121
