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

Seminario di venerdì 27 marzo

Venerdì 27 marzo

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.
In questo talk proponiamo di studiare la nozione di codifica partendo dalla visione del calcolo come riscrittura, utilizzando nozioni di omotopia e della teoria delle strutture d'eventi di Winskel. Come vedremo, le reti d'interazione sono un esempio interessante a cui applicare questo genere di concetti.

Gruppo di Logica e Geometria della Cognizione - http://logica.uniroma3.it


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 = 'i03vuovnfidsta4c4ic7c76mv7' in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/node/327', '', '216.73.216.11', 1759603065) 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 ('i03vuovnfidsta4c4ic7c76mv7', 0, 0, '216.73.216.11', '', 1759603065) in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/node/327', '', '216.73.216.11', 1759603065) in /var/www/church/includes/database.mysql.inc on line 121