Warning: Table './church/sessions' is marked as crashed and last (automatic?) repair failed query: SELECT sid FROM sessions WHERE sid = 'vidc82cb9apk5s49qpd79d8ce0' in /var/www/church/includes/database.mysql.inc on line 121
Gruppo di Logica e Geometria della Cognizione

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

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


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.


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.



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 = 'vidc82cb9apk5s49qpd79d8ce0' in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/node/files/progetto.ps?page=14', 'http://logica.uniroma3.it/node/files/progetto.ps?page=16', '193.204.165.103', 1754566583) 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 ('vidc82cb9apk5s49qpd79d8ce0', 0, 0, '193.204.165.103', '', 1754566583) in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/node/files/progetto.ps?page=14', 'http://logica.uniroma3.it/node/files/progetto.ps?page=16', '193.204.165.103', 1754566583) in /var/www/church/includes/database.mysql.inc on line 121