Warning: Table './church/sessions' is marked as crashed and last (automatic?) repair failed query: SELECT sid FROM sessions WHERE sid = '42k104bff2iompid3s2fem5sn4' in /var/www/church/includes/database.mysql.inc on line 121
Rete italo-francese di ricerca in logica e geometria della computazione | Gruppo di Logica e Geometria della Cognizione

Rete italo-francese di ricerca in logica e geometria della computazione

Inizio:
31/12/2005
Fine:
14/12/2008
Homepage
Descrizione

Il progetto si pone un duplice obiettivo.

In primo luogo, vuole proseguire lo sviluppo di promettenti filoni di ricerca in logica e in informatica teorica scaturiti dall'introduzione della logica lineare: con la logica lineare è infatti possibile avviare una geometria delle dimostrazioni e una geometria della computazione.

In secondo luogo, partendo dai risultati teorici il progetto vuole sviluppare metodologie per il disegno, l'analisi e la verifica di linguaggi paradigmatici di programmazione, orientati al contesto di computazioni mobili su risorse limitate.

Il progetto di svolge nel quadro dell'instaurazione di un più forte rapporto di collaborazione tra le unità di ricerca coinvolte, in particolare accentuando le sinergie tra le unità italiane e quelle francesi.



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 = '42k104bff2iompid3s2fem5sn4' in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/intern', '', '18.207.255.67', 1728521467) in /var/www/church/includes/database.mysql.inc on line 121