Difference: ProjectSeminars (101 vs. 102)

Revision 10202 Jan 2016 - 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: 20 to 20
  • 09.09.2015. Giuseppe De Ruvo: "An Unusual Context for Formal Verification: Wiki Evolution."
  • 11.11.2015. Thomas Leventis: " Theories in Probabilistic lambda-calculus."
  • 25.11.2015. Mirko Viroli: "Perspectives on Aggregate Computing."
  • 14.12.2015. Ales Bizjak: "Step-Indexed Logical Relations for Probability."
  • 16.12.2015. Roberto Di Cosmo: "Preserving Software: challenges and opportunities for reproductibility of Science and Technology."


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.