Difference: ProjectSeminars (61 vs. 62)

Revision 6224 Oct 2013 - 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"

2013

Line: 20 to 20
 
  • 18.09.2013. Jacopo Mauro: Component Reconfiguration in the Presence of Conflicts.
  • 25.09.2013. Claudio Guidi: About Jolie.
  • 16.10.2013. Tudor A. Lascu: A Planning Tool Supporting the Deployment of Cloud Applications.
Added:
>
>
  • 24.10.2013. Lionel Vaux: On the finiteness of recursive algebraic datatypes.
  • 24.10.2013. Emmanuel Beffara: Proofs as schedules.
  • 25.10.2013. Ugo Dal Lago: Probabilistic Applicative Bisimulation and Call-by-Value Lambda Calculi.
  • 25.10.2013. Beniamino Accattoli: Linear Logic and Strong Normalization.
 

2012

  • 11.01.2012. Claudio Guidi: "Service Oriented Recursion"
 
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.