Per causa di forza maggiore il seminario di Teresa Numerico che doveva tenersi in Aula Verra oggi
VENERDÌ 26 febbraio alle ore 11:30
è rinviato a data da destinarsi.
lista seminario
Seminario di venerdi' 19 febbraio
Venerdì 19 febbraio
Ore 11.30 in Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
Seminario:
-- Lorenzo Tortora de Falco - Sulla iniettività della semantica relazionale in MELL, 2
Gruppo di Logica e Geometria della Cognizione -- http://logica.uniroma3.it
Seminario di venerdi' 29 gennaio
Venerdì 29 gennaio
Ore 11.30 in Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
Seminario:
-- Daniel De carvalho - Sulla iniettività della semantica relazionale in MELL, 1
Gruppo di Logica e Geometria della Cognizione -- http://logica.uniroma3.it
Seminari di venerdi' 22 gennaio
Venerdì 22 gennaio
Ore 11.30 in Aula Verra, Facoltà di Lettere e Filosofia - Università Roma
Tre, Via Ostiense 234
Seminari:
-- Andrei Dorman - Linear Logic by Asymmetric Levels
-- Giulio Guerrieri - Semantica relazionale e tempo di calcolo, in logica lineare moltiplicativa
Gruppo di Logica e Geometria della Cognizione -- http://logica.uniroma3.it
Seminario di venerdì 15 gennaio
Venerdì 15 gennaio
Ore 11.30 in Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre,
Via Ostiense 234
Seminario:
V. Michele Abrusci - Prime considerazioni su “LOGICOMIX : an epic search for truth” (A. Doxladis, C. Papdimitriou, A. Papadotos, A. Di Donna; Bloonsury, 2009)
Dopo il seminario, alle ore 13, ci sarà una breve presentazione dei nuovi membri del gruppo di ricerca; successivamente, durante e dopo il pranzo, ci sarà una discussione sulle attività e iniziative future del gruppo.
Ripresa seminari a gennaio
I seminari del Gruppo di Logica e Geometria della Cognizione riprenderanno nel mese di gennaio, secondo il calendario che sarà pubblicato a breve.
Domani, venerdì 18 dicembre, non si terrà alcun seminario.
Gruppo di Logica e Geometria della Cognizione - http://logica.uniroma3.it
Rinvio seminario 13 novembre
Il seminario di Michele Abrusci previsto per venerdì 13 novembre è rinviato a data da destinarsi, a causa dell'indisponibilità dell'oratore.
Gruppo di Logica e Geometria della Cognizione - http://logica.uniroma3.it
Seminario di venerdì 30 ottobre
Venerdì 30 ottobre
Ore 11.00 in aula 14, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
Seminario:
Thomas Ehrhard - "Il modello di Scott della Logica Lineare è il collasso estensionale del modello relazionale"
Gruppo di Logica e Geometria della Cognizione - http://logica.uniroma3.it
Seminari Gruppo di Ricerca "Logica e Geometria della Cognizione"
Carissimi,
le nostre attività seminariali non sono ancora iniziate in questo anno accademico, anche a causa dell'incidente che ho avuto: tale incidente mi costringe a casa fino all'inizio di novembre e ha aumentato il lavoro didattico di chi mi sta sostituendo.
Vi ricordo che le attività seminariali del nostro gruppo si svolgeranno normalmente il venerdì, con questo orario:
ore 11.30-13 Seminario sull'attività di ricerca
ore 13.30 Pranzo
ore 15-17 Seminario sul tema "LA DIMOSTRAZIONE" (rivolto ad un pubblico potenzialmente ampio)
oppure: seminario informale
Special Issue MSCS
Cari tutti,
vi invio l'annuncio di una special issue di MSCS di cui mi occuperò come guest editor. Penso possa interessare tutti i membri del gruppo e vi prego di diffonderla.
Ciao a tutti e buone vacanze,
Lorenzo.
----------------------------------------------------------------------
DIFFERENTIAL LINEAR LOGIC, NETS, AND OTHER QUANTITATIVE AND PARALLEL APPROACHES TO PROOF-THEORY
----------------------------------------------------------------------
