Difference: ProjectSeminars (96 vs. 97)

Revision 9715 Apr 2015 - Main.ValeriaVignudelli

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: 10 to 10
  • 25.02.2015. Henning Kerstan: "Probabilistic Transition Systems."
  • 11.03.2015. Jean-Bernard Stefani: "Location graphs: yet another global computing model (but with reason)."
  • 18.03.2015. Isabel Oitavem: "P, NP and Pspace from a recursion-theoretic perspective."
  • 01.04.2015. Alexis Bernadet: "Non idempotent intersection types to refine strong normalisation with quantitative information."
  • 08.04.2015. Reinhard Kahle: "Theories for Classes of Computational Complexity."
  • 15.04.2015. Simone Martini: "Language(s) as a foundation for computer science."


  • 15.01.2014. Luca Padovani: "Deadlock and lock freedom in the linear pi-calculus."
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.