Seminari

Oltre alla lista dei prossimi seminari puoi consultare anche il programma del primo ciclo di seminari 2013-2014

Prossimi:

Passati:
SpeakerTitoloQuando
Fernando L. PelayoQuantum invariants for graph isomorphism05/11/2021 - 15:00
Davide CATTATowards a denotational semantics for proofs in constructive modal logic12/03/2021 - 15:00
Chien-Chung HuangMinimizing the Number of Unhappy Singles: Improved Approximation Algorithms for Stable Marriage05/03/2021 - 15:00
Giulio GuerrieriCategorifying Non-Idempotent Intersection Types19/02/2021 - 15:00
Matteo AcclavioOn the 24th Hilbert problem and the notion of "simplicity" for proof05/02/2021 - 15:00
Paolo PistoneThe Yoneda Reduction of Polymorphic Types29/01/2021 - 15:00
Federico Olimpieri Intersection Type Distributors15/01/2021 - 15:00
Ilaria ChillottiIntroduction to FHE and applications to machine learning18/12/2020 - 15:00
Francesco PasqualeStabilization and expansion of simple dynamic random graph models for Bitcoin-like unstructured P2P networks03/07/2020 - 15:00
Margherita ZorziCompositional theories for embedded programming26/06/2020 - 15:00
Massimo LauriaClique is hard on average for regular resolution19/06/2020 - 11:30
Vito Michele AbrusciProof-nets and laws of Categorial Grammar12/06/2020 - 15:00
Michele PaganiAutomatic differentiation in PCF05/06/2020 - 15:00
Matteo Acclavio (SAMOVAR - Telecom SudParis, INRIA – Saclay)Logic programming with generalized multiplicative connectives29/05/2020 - 15:00
Jean-Yves Girard (CNRS, Directeur de recherche émérite)LA LOGIQUE DÉCONFINÉE29/05/2020 - 10:30
Matteo Acclavio (SAMOVAR - Telecom SudParis, INRIA - Saclay, LIX - Ecole Polytechnique)Logic Beyond Formulas: the multiplicative case21/02/2020 - 11:30
Roberto Maieli (Università Roma Tre)Multiplicatives20/12/2019 - 11:30
Nguyên Lê Thành Dung (LIPN, Université Paris 13)Proof nets through the lens of graph theory17/05/2019 - 11:30
Giulio Guerrieri (University of Bath)Types by Need (joint work with Beniamino Accattoli and Maico Leberle)25/01/2019 - 11:00
Luc Pellissier (IRIF, Université Paris 7) Linear Implicative Algebras, a Brouwer-Heyting-Kolmogorov interpretation of linear logic18/01/2019 - 12:00
Paolo Pistone (Università di Tubinga)Coends and proof equivalence in second order multiplicative linear logic21/12/2018 - 16:00
Davide Barbarossa (Università Roma Tre/Université d'Aix-Marseille)La teoria della realizzabilità classica e l'assioma dell'ultrafiltro.20/07/2018 - 11:30
Federico Olimpieri (Université d'Aix-Marseille) On the Taylor expansion of lambda-terms and the groupoid structure of their rigid approximants15/06/2018 - 11:30
Prof. Pasquale Malacaria, Queen Mary University of LondonUniversally optimal mitigation strategies for leakage of information18/05/2018 - 11:30
Jean-Baptiste Joinet (Université Lyon 3 - Centre Cavaillès, ENS, Paris) Collusions : toward an agonal ontology 02/05/2018 - 11:00
Matteo Acclavio (LIX - INRIA Parsifal Team)Dalle prove sintattiche alle combinatorial proofs23/03/2018 - 14:30
Paul Ruet (CNRS, IRIF, Université Paris-Diderot)Negative local feedbacks in Boolean networks23/03/2018 - 11:00
Jose C. Valverde (Università di Castiglia-La Mancia)Periodic structure of graph dynamical systems on maxterm and minterm Boolean functions.07/12/2017 - 11:00
Stefano Del Vecchio (Università Roma Tre - Université Paris Nord)Una interpretazione di CCS nella ludica24/11/2017 - 11:00
Federico Olimpieri (Université d'Aix-Marseille)A characterization of head-normalization through some intersection type systems and the relational model via Taylor expansion 06/10/2017 - 11:00
Prof. Attila Pethö, University of Debrecen, HungaryParallelism between the growth of the known Mersenne primes and the development of informatics07/07/2017 - 11:00
Massimo MarraffaLe teorie del ragionamento nella prospettiva dei due processi: la distinzione tra processi inferenziali intuitivi e riflessivi12/05/2017 - 11:30
Patrick Dehornoy (Université Caen-Normandie)Laver tables17/02/2017 - 11:30
Matteo Acclavio (Université de Caen) Proof Diagrams for Multiplicative Linear Logic: Syntax and Semantics10/02/2017 - 11:30
Jean-Yves Girard, Université d'Aix-MarseilleSeminari di J.-Y. Girard a Roma Tre18/11/2016 - 11:30
Giulio Guerrieri (Università Roma Tre - Université d'Aix-Marseille) Il !-calcolo: una variante del lambda-calcolo che generalizza la chiamata per nome e la chiamata per valore28/10/2016 - 11:30
Roberto Maieli (Università Roma Tre) Connettivi generalizzati in Logica Lineare Moltiplicativa21/10/2016 - 11:30
Stefano Del Vecchio (Università Roma Tre - LIPN, Université Paris Nord)Tipaggio in Ludica del frammento moltiplicativo di CCS (Calculus of Communicating Systems)07/10/2016 - 11:30
Giulio Guerrieri (Università Roma Tre - Université d'Aix-Marseille)Open Call-by-Value (joint work with Beniamino Accattoli)11/03/2016 - 11:00
Matteo Acclavio (Institut de Mathématiques de Marseille)Diagrammi di corde per le reti di prova12/02/2016 - 11:00
Prof. Pietro Lio', Computer Laboratory, University of Cambridge, UKMulti scale and multi omic approaches in systems medicine18/12/2015 - 11:30
Prof. Abdul Salam JarrahAlgebraic Models for Systems Biology03/12/2015 - 11:00
Prof. Attila Pethö, University of Debrecen, HungaryResults and problems around a discrete dynamical system13/11/2015 - 11:30
Prof. Attila Pethö, University of Debrecen, HungaryAlgorithmic and numerical solution of diophantine equations11/11/2015 - 16:00
Virgile Mogbil, Laboratoire d'Informatique de Paris-Nord (LIPN), Université Paris 13Proofs as schedules23/10/2015 - 11:00
Thomas Ehrhard CNRS, PPS - Universite' Paris Diderot - Paris 7 Linear logic, polarization and evaluation strategies16/10/2015 - 11:00
Wagner de Campos Sanz (Faculdade de Filosofia, Universidade Federal de Goias, Goiania, GO, Brazil)How to find a proof? Leibniz's anagogical analysis illuminated by Kolmogorov's interpretation of logical constants.09/10/2015 - 11:00
Jean-Baptiste Joinet (Université Lyon 3)Aspetti computazionali della negazione: dal lambda-calcolo di Church alla Logica Lineare.19/05/2015 - 12:00
Paolo Pistone (Università Roma Tre/Aix-Marseille Université)Dimostrazioni e tipi nella logica del secondo ordine (seconda parte)20/03/2015 - 11:30
Paolo Pistone (Università Roma Tre/Aix-Marseille Université)Dimostrazioni e tipi nella logica del secondo ordine06/02/2015 - 11:30
Francesca Ferrante (Université Aix-Marseille & “Resurgences” )Verso una teoria del dialogo in Ludica23/01/2015 - 11:30
Silvia Rognone (Università Roma Tre) Stati Entangled e Matrici di Bell19/12/2014 - 11:30
Arnaud Valence (Università Roma Tre/Université Lyon 3) Sulla Sintassi Trascendentale21/11/2014 - 11:30
V. Michele Abrusci (Università Roma Tre)Dai grandi teoremi della logica del XX secolo alla Sintassi Trascendentale07/11/2014 - 11:30
Vito Michele Abrusci Seminario sui fondamenti 31/10/2014 - 09:00
Matteo Acclavio (Aix-Marseille Université)String diagrams e categorie: dimostrazione della coerenza delle categorie monoidali simmetriche tramite riscrittura24/10/2014 - 11:30
Vito Michele AbrusciSeminario sui fondamenti 24/10/2014 - 09:00
Jean-Yves Girard Analytique/synthétique, a priori/a posteriori: une relecture du typage10/10/2014 - 11:00
Anna Chiara Lai (Università di Roma La Sapienza)Seminario di Logica e Informatica Teorica: Mathematical models for quasicrystals and expansions in non-integer bases 06/06/2014 - 11:00
Matteo Acclavio (Institut de Mathématiques de Marseille)String diagrams e categorie: dimostrazione della coerenza delle categorie monoidali simmetriche tramite riscrittura30/05/2014 - 11:00
Prof. Mitsuhiro OKADA (Keio University, Tokyo)Wittgenstein's philosophy of arithmetical proofs, and its influences21/03/2014 - 12:00
Prof. Mitsuhiro OKADA (Keio University, Tokyo)Husserl and Hilbert on the completeness of arithmetic and Husserl's term-rewrite based computational theory of definition14/03/2014 - 12:00
Temi e problemi della ricerca logica esposti da giovani ricercatori20/12/2013 - 09:00
Roberto MaieliCostruzione incrementale di reti dimostrative06/12/2013 - 11:00
Giuseppe Longo (Centre Cavaillès, CNRS - Ecole Normale Supérieure, Paris)Cambiamenti di simmetrie ed aleatorio: dalla fisica alla biologia22/11/2013 - 11:00
Teresa Numerico, Marco Pedicini (RomaTre)Big Data tra tecnica e filosofia15/11/2013 - 11:00
Marco Pedicini (RomaTre)Aritmetica dei campi finiti e complessità polinomiale implicita (joint work with D.Canavese, E. Cesena, R. Ouchary e L. Roversi)08/11/2013 - 11:00
Lorenzo Tortora de Falco (RomaTre)Invarianti della normalizzazione e tempo di esecuzione25/10/2013 - 11:00
Emanuel Beffara (IML Marsiglia)Interaction in proof theory: from classical realizability to concurrency22/10/2013 - 18:00
V.M. Abrusci (RomaTre)Dai grandi teoremi della logica del XX secolo alla Sintassi Trascendentale.18/10/2013 - 11:00
Matteo Acclavio, IML Aix-Marseille Université Un'introduzione alla teoria della riscrittura: proprietà omologiche dei sistemi convergenti finiti.04/10/2013 - 11:00
Paolo PistoneLenti, dilatatori e tipi12/07/2013 - 11:00
Andrei Dorman, Giulio GuerrieriDiscussione tesi di dottorato e workshop20/06/2013 - 14:00
Logica, sillogismo dialettico e "Topici" di Aristotele09/04/2013 - 14:00
Paolo PistoneLaboratorio di sintassi trascendentale: tutorial su GoI615/03/2013 - 10:30
Francesca Romana FerranteLudics and dialectics 25/02/2013 - 15:00
Laboratorio di sintassi trascendentale 18/01/2013 - 09:00
Laboratorio di sintassi trascendentale11/01/2013 - 09:00
Gianluca CalcagniProof-Nets with Slices for Non-Commutative Intuitionistic Logic 03/07/2012 - 14:00
V. Michele AbrusciSintassi Trascendentale e Geometria dell’Interazione: interazioni tra logica e filosofia17/02/2012 - 14:00
Marco RomanoLinked Data e questioni di Compatibilità22/12/2011 - 11:00
Paolo PistoneLa normatività, risultati logici e prospettive filosofiche04/11/2011 - 16:00
Marco RomanoWeb, Spazi di Compatibilità e Ludica: quali prospettive di ricerca?04/11/2011 - 15:00
V. M. Abrusci, T. Numerico, D. Fiormonte, R. Vacca, P. Cursi, R. MaieliL'eredità di Steve Jobs e il futuro dell'informatica19/10/2011 - 15:00
Jean-Baptiste JoinetL’interazione: un concetto della filosofia30/05/2011 - 14:00
Andrei DormanNon-determinismi nelle reti d'interazione27/05/2011 - 11:00
Giulio GuerrieriEspansione di Taylor dei lambda-termini ordinari e uniformità20/05/2011 - 11:00
V. Michele AbrusciLa sintassi trascendentale: cosa è, che prospettive apre alla ricerca logica04/03/2011 - 11:00
Jean-Baptiste Joinet (Université Paris 1 Sorbonne-Panthéon)Negation and protological foundations for logic18/06/2010 - 14:00
Damiano MazzaMeasuring the Expressiveness of Rewriting Systems through Event Structures21/05/2010 - 10:30
Mattia PetroloArmonie classiche per connettivi computazionali14/05/2010 - 11:30
Paolo Di GiamberardinoJump from parallel to sequential proofs: Exponentials07/05/2010 - 11:30
Marco PediciniUn'applicazione del SAT-solver in bioinformatica23/04/2010 - 11:30
Remo PareschiVerso una logica dell'innovazione26/03/2010 - 11:30
Prof. Roberto Avanzi (Bochum, Germany)Arithmetic of Supersingular Koblitz Curves in Characteristic Three25/03/2010 - 11:00
Gabriele PulciniAlcune osservazioni sulle nozioni di verità e indecidibilità19/03/2010 - 11:30
Lorenzo Tortora de FalcoSulla iniettività della semantica relazionale in MELL, 219/02/2010 - 11:30
Daniel De CarvalhoSulla iniettività della semantica relazionale in MELL, 129/01/2010 - 11:30
Giulio GuerrieriSemantica relazionale e tempo di calcolo, in logica lineare moltiplicativa22/01/2010 - 12:15
Andrei DormanLinear Logic by asymmetric levels22/01/2010 - 11:30
Michele AbrusciPrime considerazioni su “LOGICOMIX: an epic search for truth”15/01/2010 - 11:30
Thomas EhrhardIl modello di Scott della Logica Lineare è il collasso estensionale del modello relazionale30/10/2009 - 11:00
V.Michele AbrusciI principali teoremi sulla logica: un bilancio e alcune prospettive03/07/2009 - 17:00
Gabriele Pulcini (ENS Parigi)Alcuni aspetti logici del teorema di classificazione per le superfici topologiche (Massey)22/05/2009 - 14:00
Claudia Casadio (Università di Chieti), M. Teresa Medaglia e Camillo Porcaro (Aston University, Birmingham)Le proposizioni "positive" e "negative" nel ragionamento: uno studio elettroencefalografico21/05/2009 - 16:00
Jean-Baptiste Joinet (Philosophie, Paris 1 Panthéon-Sorbonne)La logica contemporanea e lo statuto della metafisica aristotelica: alcune considerazioni15/05/2009 - 16:00
Mattia PetroloSull'unità della logica classica15/05/2009 - 11:00
Antonio MoscaUna rilettura logica d'alcuni problemi di metodo in linguistica e in scienze sociali08/05/2009 - 11:00
Giulia FrezzaLa dinamica del vivente17/04/2009 - 11:00
Michele PaganiRicostruire una rete di prova dal suo sviluppo di Taylor03/04/2009 - 11:00
Damiano MazzaSemantica denotazionale per la logica lineare a livelli27/03/2009 - 11:00
Roberto MaieliCostruzione concorrente di reti di prova e sistemi transazionali20/03/2009 - 11:00
Mario PiazzaLogica, cognizione e dimostrazioni visive06/03/2009 - 14:00
Marco PediciniAlgebre di von Neumann, shift registers e complessità27/02/2009 - 14:00
Lorenzo Tortora de FalcoUna misura semantica del tempo di esecuzione in logica lineare13/02/2009 - 14:00
Stefano GuerriniJumping boxes30/01/2009 - 14:00
Teresa NumericoLa logica dopo le macchine: Turing, Gödel, Von Neumann e gli altri23/01/2009 - 14:00
Marco RomanoRicerca sui contributi della Logica Lineare e dei suoi sviluppi al Semantic Web09/01/2009 - 10:00
Michele AbrusciLa logica e il quadrato aristotelico degli opposti05/12/2008 - 17:00
Paul RuetDynamique discrète et structure des réseaux génétiques12/10/2007 - 10:00
Michele PAGANI Between interaction and semantics: visible acyclic nets21/09/2007 - 08:00
Daniel de CarvalhoTBA09/07/2007 - 13:00
Paolo Di Giamberardino Jump from Parallel to Sequential Proofs: Additives19/04/2007 - 16:00
Thomas Ehrhard (joint work with Olivier Laurent)Pi-calculus in differential interaction nets16/04/2007 - 13:30

In archivio: Programma dei Seminari 2008 - 2009