Warning: Table './church/sessions' is marked as crashed and last (automatic?) repair failed
query: SELECT sid FROM sessions WHERE sid = 'vfg5orleucjrlu7ljpb0lt8885' 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', 'Creating default object from empty value in /var/www/church/modules/taxonomy.module on line 1223.', 2, '', 'http://logica.uniroma3.it/taxonomy/term/5?page=11', '', '216.73.216.26', 1759507934) in /var/www/church/includes/database.mysql.inc on line 121 lista seminario | Gruppo di Logica e Geometria della Cognizione
Ore 11.00 :
Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
Seminario:
Mattia Petrolo - "Sull'unità della logica classica"
Ore 16.00 :
Aula 16, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
Seminario:
Jean-Baptiste Joinet (Philosophie, Paris 1 Panthéon-Sorbonne) - "La logica contemporanea e lo statuto della metafisica aristotelica: alcune considerazioni"
Gruppo di Logica e Geometria della Cognizione - http://logica.uniroma3.it
Ore 11 in Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
Seminario:
Damiano Mazza - Semantica denotazionale per la logica lineare a livelli (lavoro in collaborazione con Pierre Boudes e Lorenzo Tortora de
Falco)
Ore 11 in Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
Seminario:
Damiano Mazza - "Le strutture d'eventi come misura dell'espressività di vari sistemi di reti d'interazione"
Abstract:
Un problema fondamentale nel confronto fra differenti modelli di parallelismo e della concorrenza è quello di definire la nozione di "codifica", o "traduzione". Al momento attuale, tra tutte le nozioni universalmente accettate di codifica tra modelli concorrenti, non ne esiste alcuna che s'imponga nettamente sulle altre.
Ore 14 in Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
Seminario:
Lorenzo Tortora de Falco - "Una misura semantica del tempo di esecuzione in logica lineare" (lavoro in collaborazione con D. De Carvalho e M. Pagani)
Gruppo di Logica e Geometria della Cognizione - http://logica.uniroma3.it
Aula Verra (Piano terra) del Dipartimento di Filosofia - via Ostiense 234
Nell'ambito delle attività seminariali del gruppo Logica e geometria della
cognizione di cui è responsabile il Prof. Vito Michele Abrusci
(Dipartimento di Filosofia), alcuni giovani post-doc terranno i seguenti
seminari sul tema di ricerca Proof-Nets and Execution Time
Inizio: 28/04/2008
Fine: 30/04/2008
Dove: Aula Verra, Facoltà di Lettere e Filosofia (piano terra), Università Roma Tre
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 più tempo possibile alla libera discussione e al lavoro in comune, approfittando della presenza in questi tre giorni di molti ricercatori francesi a Roma.
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 = 'vfg5orleucjrlu7ljpb0lt8885' in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/taxonomy/term/5?page=11', '', '216.73.216.26', 1759507934) 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 ('vfg5orleucjrlu7ljpb0lt8885', 0, 0, '216.73.216.26', '', 1759507934) in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/taxonomy/term/5?page=11', '', '216.73.216.26', 1759507934) in /var/www/church/includes/database.mysql.inc on line 121
