Difference: ProjectSeminars (107 vs. 108)

Revision 10823 Nov 2017 - Main.FrancescoGavazzo

Line: 1 to 1
 

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in "Aula Seminari 2"
Line: 8 to 8
 
  • 16.02.2017. Matteo Acclavio: "Proof Diagrams for Multiplicative Linear Logic: Syntax and Semantics."
  • 08.03.2017. Raphaelle Crubillé: "Metric Reasoning about Lambda-Terms: the General Case."
  • 21.03.2017. Mario Bravetti: "Undecidability of Asynchronous Session Subtyping and its Decidable and Undecidable Fragments."
Added:
>
>
  • 28.03.2017. Andrea Condoluci: "Testing Equality is Linear."
  • 02.05.2017. Ken Sakayori: "A Truly Concurrent Game Model of the Asynchronous pi-Calculus."
 
  • 23.05.2017. Marco Carbone: "Multiparty Session types and Linear Logic."
Added:
>
>
  • 07.06.2017. Beniamino Accattoli: "The Complexity of Abstract Machines."
  • 17.10.2017. Roberto Gorrieri: "Team Bisimilarity, and its Associated Modal Logic, for BPP Nets."
 
 
This website uses only proprietary and third party technical cookies to ensure the correct operation of its web pages and to improve its services.
By continuing to navigate the website you consent to the use of cookies. To learn more, or deny your consent, consult the privacy policy
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.