Warning: Table './church/sessions' is marked as crashed and last (automatic?) repair failed
query: SELECT sid FROM sessions WHERE sid = '48upnebv8ook2o8p6gl98kiu75' in /var/www/church/includes/database.mysql.inc on line 121 Gruppo di Logica e Geometria della Cognizione
Gruppo di ricerca in "Logica e Geometria della cognizione"
Inizio:
18/12/2013
Fine:
19/12/2013
Dove:
Dipartimento di Matematica e Fisica, Università Roma Tre
Aula 311 (“aula dei seminari”) edificio C (“Matematica”), largo San Leonardo Murialdo 1
Descrizione
Incontro per una “Rete internazionale di ricerca e alta formazione in logica a Roma Tre”
(Progetto di internazionalizzazione dell’Università Roma Tre)
Tutti gli interventi saranno tenuti da dottori di ricerca che si sono formati presso il gruppo di ricerca in logica di Roma Tre.
Programma:
Mercoledì 18 dicembre
15-15.15 Introduzione di V. Michele Abrusci (Università Roma Tre, responsabile del gruppo di ricerca e del progetto di internazionalizzazione)
15.15-16 Interventi brevi:
Maurizio Castellan (Liceo Ginnasio Orazio, Roma),
Mario Piazza (Università di Chieti-Pescara),
Roberto Maieli (Università Roma Tre),
Laura Redavid (Liceo Scientifico Da Vinci-Maiorana, Mola di Bari)
Chair: Teresa Numerico (Università Roma Tre)
16-16.45 Gabriele Pulcini (Università di Cagliari) Lo strano caso di Dr. Soundness e di Mr. Consistency
16.45-17 Discussione
17-17.15 Pausa caffè
17.15-18 Damiano Mazza (Université Paris 13)
Dimostrazione e programmazione: che problemi abbiamo?
18-18.15 Discussione
18.15-18.45 Giulia Frezza (Università Roma la Sapienza), Interazione: un caso di "epistemological exaptation" nelle scienze del vivente
18.45-19 Discussione
19-19.30
Discussione generale.
Giovedì 19 dicembre
Chair: Lorenzo Tortora de Falco (Università Roma Tre)
9.30-10.15 Michele Pagani (Université Paris 13), Interpretazioni delle logica lineare e del lambda calcolo nelle semantiche relazionali con peso
10.15-10.30 Discussione
10.30-10.45 Pausa Caffè
10.45-11.15 Paolo Di Giamberardino (Università di Cagliari), Verso una “ linear contract logic”
11.15-11.30 Discussione
11.30-12.15 Giulio Guerrieri (Université Paris 7), Sulla risolvibilità nel lambda-calcolo per valore
12.15-12.30 Discussione
12.30-13 Discussione generale
13-14.30 Pausa pranzo
Chair: Marco Pedicini (Università Roma Tre)
14.30-15.15 Maria Teresa Medaglia (Newcastle University) La contraddittoria aristotelica nel ragionamento: uno studio in elettroencefalografia
15.15-15.30 Discussione
15.30-16 Marco Romano (Epistematica, Roma), Open data e ontologie
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 = '48upnebv8ook2o8p6gl98kiu75' in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/calendario/2013/12/19', '', '216.73.216.58', 1751680744) 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 ('48upnebv8ook2o8p6gl98kiu75', 0, 0, '216.73.216.58', 'calendar_year|i:2013;calendar_mon|i:12;', 1751680744) in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/calendario/2013/12/19', '', '216.73.216.58', 1751680744) in /var/www/church/includes/database.mysql.inc on line 121
