Tipo | Titolo | Inizio | Fine | Dove |
---|---|---|---|---|
workshop | Numeration 2017 | 05/06/2017 | 09/06/2017 | Università Roma Tre -- Argiletum Via Madonna dei Monti 40 Sala Urbano VIII |
workshop | New trends on linear logic proof-nets | 21/12/2015 | 22/12/2015 | Università Roma Tre, Dipartimento di Matematica e Fisica (Largo San Leonardo Murialdo, 1 - 00146 Roma), Room 311 (3rd floor) |
workshop | Beyond Logic | 21/05/2015 | 22/05/2015 | Dipartimento di Matematica e Fisica, Largo S. Leonardo Murialdo 1 |
workshop | "Proofs and types", 25 years later | 26/03/2015 | 28/03/2015 | Dipartimento di “Filosofia, Comunicazione, Spettacolo", Scuola di "Lettere, Filosofia, Lingue” (ex Facoltà di Lettere e Filosofia), via Ostiense 234. |
workshop | Ludics and Philosophy | 26/06/2014 | 27/06/2014 | Casa San Bernardo, via Laurentina 289, 00142 Roma |
workshop | Dottori di ricerca in logica a Roma Tre | 18/12/2013 | 19/12/2013 | Dipartimento di Matematica e Fisica, Università Roma Tre Aula 311 (“aula dei seminari”) edificio C (“Matematica”), largo San Leonardo Murialdo 1 |
workshop | Seminari e discussioni su Logica e Filosofia / Seminars and discussions on Logic and Philosophy | 04/06/2013 | 07/06/2013 | Università Roma Tre, Dipartimento di Matematica e Fisica, Largo San Leonardo Murialdo 1, 00146 Roma aula 009 |
conferenza | Ontologies et Sémantique Lexicale | 30/09/2011 | 01/10/2011 | "Casa San Bernardo" - Via Laurentina, 289 (Metro B Laurentina) - Roma |
conferenza | Les fondements à l'ère post-fondationnelle | 18/11/2010 | 20/11/2010 | Amphi Darboux, Institut Henri Poincaré (IHP), Paris -- rue P. et M. Curie, 11 (vicino a rue d'Ulm), Parigi |
conferenza | Incontro in onore dei 60 anni di V.Michele Abrusci | 17/09/2009 | 17/09/2009 | Villa Finaly (http://www.villafinaly.sorbonne.fr/index.html) Via Bolognese, 134 R -- 50139 Firenze |
conferenza | Temi multidisciplinari della comunicazione | 26/11/2008 | 19/12/2008 | Aula 2, Facoltà di Lettere e Filosofia, Università Roma Tre, Via Ostiense 234 - 00144 Roma |
workshop | Gruppo di lavoro reti differenziali | 28/04/2008 | 30/04/2008 | Aula Verra, Facoltà di Lettere e Filosofia (piano terra), Università Roma Tre |
conferenza | Dimostrazioni, Polarità e Cognizione | 17/04/2008 | 15/04/2008 | Sala Professori della Facoltà di Lettere e Filosofia, via Ostiense, 234 - 00144 Roma |
workshop | Informal workshop on advances in Linear Logic proof nets | 18/04/2008 | 18/04/2008 | Facoltà di Lettere e Filosofia, via Ostiense, 234 - 00144 Roma |
workshop | LIGC 2007 | 13/12/2007 | 16/12/2007 | Hotel Miralago - Via dei Cappuccini, 12 - Albano Laziale (Roma) |
conferenza | Conferenza per il 60° compleanno di Jean-Yves Girard | 13/12/2007 | 13/12/2007 | Foyer dell'Aula Magna della Facolta' di Lettere e Filosofia di Roma Tre. |
workshop | Interazionismo logico | 05/11/2006 | 06/11/2006 | Facoltà Lettere e Filosofia - Università Roma Tre |
workshop | Geometria della logica | 27/04/2006 | 28/04/2006 | Facoltà di Lettere e Filosofia Università Roma Tre |
ciclo di lezioni | Concorrenza e reti di interazione differenziali | 10/04/2006 | 18/04/2006 | Aula 15 - Facoltà di Lettere e Filosofia - Università Roma Tre |
ciclo di lezioni | A gentle introduction to 2-dimensional algebra and string diagrams | 28/10/2007 | 04/11/2007 | Facoltà di Lettere e Filosofia - Università Roma Tre |