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

Lista seminari

Descrizione | Programma | Lista seminari

Jump from parallel to sequential proofs: on polarities and sequentiality in Linear Logic

Speaker:
Paolo Di Giamberardino
Quando:
18/04/2008 - 09:15
Dove:
Abstract

Direttori di tesi: V.M. Abrusci, J.-Y. Girard

Polarities (positive/negative) in the reasoning

Speaker:
Maria Teresa Medaglia
Quando:
18/04/2008 - 11:15
Dove:
Abstract

Direttore di tesi: V.M. Abrusci

Géométrie de l'interaction et fondements

Speaker:
Jean-Yves Girard (Univ. de la Mediterranée, IML)
Quando:
18/04/2008 - 14:30
Dove:
Abstract

Logique et géométrie de la cognition

Speaker:
Jean-Baptiste Joinet (Univ. Paris 1, UMR Philosophie)
Quando:
18/04/2008 - 15:15
Dove:
Abstract

Focusing in linear meta-logic

Speaker:
Dale Miller (INRIA, Ecole Polytechnique)
Quando:
18/04/2008 - 16:30
Dove:
Abstract

Ludics with repetitions

Speaker:
Claudia Faggian (Univ. Paris 7, PPS)
Quando:
18/04/2008 - 17:15
Dove:
Abstract

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 = 'vidc82cb9apk5s49qpd79d8ce0' in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/workshop/lista/207', 'http://logica.uniroma3.it/node?page=15', '193.204.165.103', 1754566520) 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 ('vidc82cb9apk5s49qpd79d8ce0', 0, 0, '193.204.165.103', '', 1754566520) in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/workshop/lista/207', 'http://logica.uniroma3.it/node?page=15', '193.204.165.103', 1754566520) in /var/www/church/includes/database.mysql.inc on line 121