Warning: Table './church/sessions' is marked as crashed and last (automatic?) repair failed
query: SELECT sid FROM sessions WHERE sid = '3uccda8f2impgcmtbchvn0mb55' in /var/www/church/includes/database.mysql.inc on line 121 Gruppo di Logica e Geometria della Cognizione
PROJET ANR LOCI « LOCATIVITÉ ET INTERACTIVITÉ EN LOGIQUE, LINGUISTIQUE ET INFORMATIQUE »
GRUPPO DI RICERCA « LOGICA E GEOMETRIA DELLA COGNIZIONE » , UNIVERSITÀ ROMA TRE
evento esterno
Inizio:
26/06/2014
Fine:
27/06/2014
Dove:
Casa San Bernardo, via Laurentina 289, 00142 Roma
Descrizione
Preliminary Program
Thursday, June 26th
09h30 : Opening: Themes of these days
10h15 : Alain Lecomte : Ludics and modelisation of Socratic dialogues
11h00 : coffee break
11h15 : Michele Abrusci: Incompleteness theorems and Transcendental Syntax
12h00 : Mathieu Marion : Dialogue, dialectics, and inferentialism
12h45 : lunch
14h30 : Alberto Naibo : From axioms to computation: A philosophical account of geometry of interaction
15h15 : Paolo Pistone : Rules, types and the transcendence of second order logic
16h00 : coffee break
16h15 : Giuseppe Primiero : Resources based interpretation of Ludics
17h00 : General Discussion
Friday, June 27th
09h30 : Laurent Keiff : Modalities, Proof theory and Ludics
10h15 : Frederic Nef : Relation and Connection
11h00 : coffee break
11h15 : Michele Basaldella : Ludics without designs
12h00 : Arnaud Valence: Towards a Transcendental Euristics
12h45 : lunch
14h30 : Daniele Porello : TBA
15h15 : Pierre Livet : The notion of incompatibility in Brandom's inferentialism
16h00 : coffee break
16h15 : Samuel Tronçon : Ludics and Social Interaction
17h00 : General Discussion
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 = '3uccda8f2impgcmtbchvn0mb55' in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/calendario/2014/06/27', '', '216.73.216.58', 1751656686) 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 ('3uccda8f2impgcmtbchvn0mb55', 0, 0, '216.73.216.58', 'calendar_year|i:2014;calendar_mon|i:6;', 1751656686) in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/calendario/2014/06/27', '', '216.73.216.58', 1751656686) in /var/www/church/includes/database.mysql.inc on line 121
