Difference: ProjectSeminars (40 vs. 41)

Revision 4107 Nov 2012 - Main.OrnelaDardha

Line: 1 to 1

Focus Meetings

The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"
Line: 19 to 19
  • 10.09.2012. Bertrand Meyer: "Concurrent Programming is Easy"
  • 11.09.2012. Barbara Petit: "Dependent Linear Types in a Call-by-value Scenario"
  • 31.10.2012. Mariangiola Dezani. "Global and Session Types: An Introduction"
  • 07.11.2012. Clément Aubert. "Characterizing co-NL by a Group Action"


  • 19.1.2011. Marco Gaboardi : "Linear Dependent Types and Relative Completeness"
  • 26.1.2011. Giorgio Delzanno (Univ. Genova) : "Parameterized Verification of Ad Hoc Networks "
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.