Jumping boxes

Speaker:
Stefano Guerrini
Quando:
30/01/2009 - 14:00
Dove:
Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
Abstract

La logica dopo le macchine: Turing, Gödel, Von Neumann e gli altri

Speaker:
Teresa Numerico
Quando:
23/01/2009 - 14:00
Dove:
Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
Abstract

Vedi le slide utilizzate durante l'esposizione

Sémantique des jeux asynchrones et réécriture 2-dimensionnelle

Speaker:
Samuel Mimram (PPS, Université Paris 7)
Quando:
16/01/2009 - 15:00
Dove:
Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
Abstract

Dalle dimostrazioni parallele a quelle sequenziali: polarità e sequenzialità in logica lineare

Speaker:
Paolo Di Giamberardino (LIPN, Université Paris 13)
Quando:
16/01/2009 - 14:00
Dove:
Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
Abstract

Sémantiques de la logique linéaire et temps de calcul

Speaker:
Daniel De Carvalho (LORIA, INRIA, Nancy)
Quando:
16/01/2009 - 13:00
Dove:
Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
Abstract

Giornata dedicata alla Logica

Organizzatori:
Lorenzo Tortora de Falco
Inizio:
16/01/2009
Fine:
Dove:
Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
Descrizione

Nell'ambito delle attività seminariali del gruppo Logica e geometria della cognizione, alcuni giovani post-doc terranno dei seminari sul tema di ricerca Proof-Nets and Execution Time
Programma
Lista seminari

Ricerca sui contributi della Logica Lineare e dei suoi sviluppi al Semantic Web

Speaker:
Marco Romano
Quando:
09/01/2009 - 10:00
Dove:
Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
Abstract

Introduzione alle ontologie; cenni sulla Knowledge Representation; discussione sulle possibilità e sull'opportunità di utilizzare le ontologie nel Web; osservazioni sulla Semantic Web Initiative; presentazione della linea di ricerca, e dei risultati fin qui riscontrati, adottata nel percorso di formazione dottorale; alcune prospettive di sviluppo di questa ricerca.
Le slide utilizzate durante il seminario sono disponibili qui.

La logica e il quadrato aristotelico degli opposti

Speaker:
Michele Abrusci
Quando:
05/12/2008 - 17:00
Dove:
Dipartimento di Filosofia
Abstract

Temi multidisciplinari della comunicazione

Organizzatori:
Abrusci, Maieli, Numerico
Inizio:
26/11/2008
Fine:
19/12/2008
Dove:
Aula 2, Facoltà di Lettere e Filosofia, Università Roma Tre, Via Ostiense 234 - 00144 Roma
Descrizione

Nel quadro delle conferenze sui temi multidisciplinari della comunicazione, promosse dagli insegnamenti di Logica e di Informatica (Collegio Didattico di Scienze della Comunicazione), saranno tenute tre conferenze sui temi: Social networks, John Von Neumann e le origini dell'informatica e Dieci anni di Google.
Programma
Lista seminari

Gruppo di lavoro reti differenziali

Organizzatori:
Inizio:
28/04/2008
Fine:
30/04/2008
Dove:
Aula Verra, Facoltà di Lettere e Filosofia (piano terra), Università Roma Tre
Descrizione

Esposizione e discussione delle ricerche sulle reti d'interazione differenziali tra dottorandi e postdoc italiani e francesi. L'idea è di NON avere un'organizzazione rigida di quest'evento, lasciando piuttosto il maggior tempo possibile alla libera discussione e al lavoro in comune, approfittando della presenza in questi tre giorni di molti ricercatori francesi a Roma.
Segue la lista dei seminari programmati.
Programma
Lista seminari