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

Giornata dedicata alla Logica

Venerdì 16 gennaio, ore 13

Aula Verra (Piano terra) del Dipartimento di Filosofia - via Ostiense 234

Nell'ambito delle attività seminariali del gruppo Logica e geometria della
cognizione di cui è responsabile il Prof. Vito Michele Abrusci
(Dipartimento di Filosofia), alcuni giovani post-doc terranno i seguenti
seminari sul tema di ricerca Proof-Nets and Execution Time:

Ore 13

Daniel De Carvalho (LORIA, INRIA, Nancy) - 'Sémantiques de la logique
linéaire et temps de calcul'

Ore 14

Paolo Di Giamberardino (LIPN, Université Paris 13) - 'Dalle dimostrazioni
parallele a quelle sequenziali: polarità e sequenzialità in logica
lineare'

Ore 15

Samuel Mimram (PPS, Université Paris 7) - 'Sémantique des jeux asynchrones
et réécriture 2-dimensionnelle'

Per informazioni sul tema della giornata (progetto PRIN 2008),
http://logica.uniroma3.it/~tortora/ConcertoRomaTreB.pdf

Per informazioni:
tortora@uniroma3.it

Il Gruppo di Logica e Geometria della Cognizione - http://logica.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 = '466pu1faddafo1hgrs1gin66g4' in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/node/264', '', '216.73.216.11', 1759563989) 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 ('466pu1faddafo1hgrs1gin66g4', 0, 0, '216.73.216.11', '', 1759563989) in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/node/264', '', '216.73.216.11', 1759563989) in /var/www/church/includes/database.mysql.inc on line 121