Mercoledì 18/12/13 e Giovedì 19/12/13, press0 il Dipartimento di Matematica e Fisica, Aula Seminari 311, largo San L. Murialdo 1 - Roma, si terranno gli incontri 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, secondo il seguente 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
16-16.15 Discussione
16.15-16.45 Discussione generale
16.45-17 Conclusioni di V.Michele Abrusci