Difference: ProjectSeminars (31 vs. 32)

Revision 3226 Apr 2012 - Main.OrnelaDardha

Line: 1 to 1

Focus Meetings

The meetings take place on the Wednesday's, between 12.00 and 13.00, usually in "Sala Riunioni 1"


  • 11.01.2012. Claudio Guidi: "Service Oriented Recursion"
  • 18.01.2012. Elena Giachino: Presentation of a paper on combination of static and dynamic typing.
  • 30.01.2012. Peter Hofner: "Formal Methods for Wireless Mesh Networks"
  • 30.01.2012. Peter Hofner: "Formal Methods for Wireless Mesh Networks" (Visitor)
  • 22.02.2012. Ornela Dardha: "Session Types Revisited"
  • 07.03.2012. Alexandru Tudor Lascu: " Behavioural patterns and name creation" (Thesis Proposal)
  • 14.03.2012. Matias Lee: "Probabilistic transition system specification: Congruence and full abstraction of bisimulation"
  • 28.03.2012. Giulio Pellitta: "Implicit Computational Complexity for handy functional languages: control operators and scalability" (Thesis Proposal)
  • 26.04.2012. Martin Avanzini: "A New Order-theoretic Characterisation of the Polytime Computable Functions" (Visitor)


  • 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.