La variazione rispetto alla comunicazione precedente riguarda l'orario. Il seminario si terrà dunque alle 10.30.
Venerdì 21 maggio
Ore 10.30 in Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, via Ostiense 234
Seminario:
-- Damiano Mazza - Measuring the Expressiveness of Rewriting Systems through Event Structures
Abstract
Venerdì 21 maggio
Ore 11.30 in Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, via Ostiense 234
Seminario:
-- Damiano Mazza - Measuring the Expressiveness of Rewriting Systems through Event Structures
Abstract
Venerdì 14 maggio
Ore 11.30 in Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, via Ostiense 234
Seminario:
-- Mattia Petrolo - Armonie classiche per connettivi computazionali
Abstract
Venerdì 7 maggio
Ore 11.30 in Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, via Ostiense 234
Seminario:
-- Paolo Di Giamberardino - Jump from parallel to sequential proofs: Exponentials
Abstract
Venerdì 23 aprile
Ore 11.30 in Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, via Ostiense 234
Seminario:
-- Marco Pedicini - Un'applicazione del SAT-solver in bioinformatica
Abstract
Il seminario di Mario Piazza previsto per venerdì 16 aprile è rinviato a
venerdì 11 giugno.
Gruppo di Logica e Geometria della Cognizione -- http://logica.uniroma3.it
Il seminario di Marco Romano previsto per venerdì 9 aprile è rinviato a data da destinarsi.
Gruppo di Logica e Geometria della Cognizione -- http://logica.uniroma3.it
Venerdì 26 marzo
Ore 11.30 in Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, via Ostiense 234
Seminario:
-- Remo Pareschi - Verso una logica dell'innovazione
Gruppo di Logica e Geometria della Cognizione -- http://logica.uniroma3.it
Il prof. Roberto Avanzi ospite dell'Istituto per le Applicazioni del Calcolo "M. Picone" - CNR terra' presso il Dipartimento di Matematica dell'Università Roma Tre (Largo San Leonardo Murialdo, 1)
AULA 311 ore 11.00
un seminario dal titolo:
Arithmetic of Supersingular Koblitz Curves in Characteristic Three
Roberto Avanzi (Bochum, Germany)
joint work with Clemens Heuberger (Graz, Austria)
and Helmut Prodinger (Stellenbosch, South Africa)
Abstract disponibile all'indiizzo: http://logica.uniroma3.it/node/406
Venerdì 19 marzo
Ore 11.30 in Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
Seminario:
-- Gabriele Pulcini - Alcune osservazioni sulle nozioni di verità e indecidibilità
Gruppo di Logica e Geometria della Cognizione -- http://logica.uniroma3.it
