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

16-16.15 Discussione

16.15-16.45 Discussione generale 

16.45-17 Conclusioni  di V.Michele Abrusci