Warning: Table './church/sessions' is marked as crashed and last (automatic?) repair failed query: SELECT sid FROM sessions WHERE sid = 'i7j2jcal2nun601dpmqjjq82r7' in /var/www/church/includes/database.mysql.inc on line 121
Gruppo di Logica e Geometria della Cognizione
Home » » »
Year | Month | Week | Day
« prevVenerdì, Maggio 22 2015next »
05 / 22
Key 1

Beyond Logic

Organizzatori:
"Beyond Logic, Hypothetical Reasoning in Philosophy of Science, Informatics, and Law", joint French-German research project funded by ANR and DFG;
Gruppo di Logica e Geometria della Cognizione, Università Roma Tre
Inizio:
21/05/2015
Fine:
22/05/2015
Dove:
Dipartimento di Matematica e Fisica, Largo S. Leonardo Murialdo 1
Descrizione

Program:

Thursday, May 21, 2015

“Aula F”

15:00-16:00 Luiz Carlos Pereira (PUC Rio de Janeiro)
Translations: a view from proof-theory

16:15-17:15 Cesare Cozzo (Sapienza Univ. Roma)
Dummett on inference

17:30-18.30 Arnaud Valence (Univ. Roma Tre)
Dewey's Logic Revisited

20:00 Dinner

Friday, May 22, 2015

“Aula 311”

9.30-10.30 Jean Fichot (IHPST, Univ. Paris 1)
Principles(s) of conservativity

10:45-11:45 Jean-Baptiste Joinet (Univ. Lyon 3)
Actional processes, individuals and identity criteria

12:00-13:00 Paolo Pistone (Univ. Roma Tre & Aix-Marseille Univ.)
Untyped validity: completeness through parametricity

13:15 Lunch (“Sala riunioni”)

“Aula 211”

15:00-16:00 Maël Pégny (IHPST, Univ. Paris 1)
Constructivity and the Church-Turing thesis

16:15-17:15 Thomas Piecha (Univ. Tübingen)
Inversion of logical rules

17:30-18:30 Peter Schroeder-Heister (Univ. Tübingen)
Proof-theoretic semantics and the sequent calculus

20:00 Dinner

Local organizers: V. Michele Abrusci and Paolo Pistone
Further informations: http://ls.informatik.uni-tuebingen.de/bl/project.html
Programma
Lista seminari

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 = 'i7j2jcal2nun601dpmqjjq82r7' in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/calendario/2015/05/22', '', '216.73.216.58', 1751629397) 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 ('i7j2jcal2nun601dpmqjjq82r7', 0, 0, '216.73.216.58', 'calendar_year|i:2015;calendar_mon|i:5;', 1751629397) in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/calendario/2015/05/22', '', '216.73.216.58', 1751629397) in /var/www/church/includes/database.mysql.inc on line 121