and
September 9th-12th, 2019
Aula Urbano VIII - Dipartimento di Architettura - Università Roma Tre
Via della Madonna dei Monti, 40, 00184 Roma RM (Metro B line, stop at Cavour station)
Contact us at tortora@uniroma3.it
The IRN "Linear Logic" is a French-Italian Groupement de Recherche International supported by CNRS and INDAM, whose purpose is to gather researchers interested in the connections between Linear Logic and various topics such as programming languages, complexity, parallelism, concurrency game, proof theory, philosophy, categories algebra, linguistics, functional analysis, operator algebras, etc..
The 2019 IRN-LL plenary meeting will take place in Roma from the 9th to the 11th of September 2019, followed by the conference in honour of the retirement of our colleague Vito Michele Abrusci (the 12nd of September, 2019).
Vito Michele Abrusci is a logician who was among the pioneers of Linear Logic in Italy. He promoted the research in Linear Logic and its applications through his personal research work, advising several PhD thesis, organising international meetings and leading research groups: he is presently the team leader of the “Gruppo di Logica e Geometria della Cognizione". His contributions have a wide spectrum and include: History and Philosophy of Mathematics and Logic, General proof-theory, Linear Logic, Non commutative Logic, Geometry of Logic, Linguistics. He also had frequent and intensive collaborations with several european research institutions (Université Paris Diderot, Université Paris 13, Institut de Mathématiques de Luminy, …) .
Organizing committee:
Roberto Maieli, Teresa Numerico, Marco Pedicini, Lorenzo Tortora de Falco.
The registration form (with talk proposal submission) is accessible here: https://forms.gle/GMUmBo2S5AFdz4Bw9
