Difference: ProjectSeminars (73 vs. 74)

Revision 7410 Mar 2014 - Main.ValeriaVignudelli

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"

2014

Line: 6 to 6
 
  • 05.02.2014. Ugo Dal Lago, Giulio Pellitta: "Discussion on papers presented at POPL and LPAR."
  • 26.02.2014. Jean-Bernard Stefani: "Strong isolation in actor systems."
  • 05.03.2014. Davide Bresolin: "Recent advances in Propositional Interval Temporal Logics."
Added:
>
>
  • 12.03.2014. Davide Sangiorgi: Discussion on coinductive and inductive proof techniques.
 

2013

Changed:
<
<
  • 13.02.2013. Xian Xu: "Relationship between pi-calculus and tree sturctures in lambda-calculus."
>
>
  • 13.02.2013. Xian Xu: "Relationship between pi-calculus and tree structures in lambda-calculus."
 
  • 25.02.2013. Marco Bernardo: "The ULTraS? Framework:New Behavioral Equivalences for Nondeterministic and Probabilistic Processes and Their Spectrum." (Visitor)
  • 27.02.2013. Ugo Dal Lago: "Infinitary Lambda Calculi from a Linear Viewpoint."
  • 13.03.2013. Bologna Focus Team: Discussion on POPL 2013 paper talks.
 
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.