Difference: ProjectSeminars (85 vs. 86)

Revision 8613 Oct 2014 - Main.ValeriaVignudelli

Line: 1 to 1
 

Focus Meetings

Changed:
<
<
The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in Sala "Nadia Busi"
>
>
The meetings usually take place on the Wednesday's, between 12.00 and 13.00, in "Aula Seminari 2"
 

2014

  • 15.01.2014. Luca Padovani: "Deadlock and lock freedom in the linear pi-calculus."
  • 05.02.2014. Ugo Dal Lago, Giulio Pellitta: "Discussion on papers presented at POPL and LPAR."
Line: 17 to 17
 
  • 11.06.2014. Mario Bravetti: "Reduction Semantics in Markovian Process Algebra."
  • 25.06.2014. Jean-Marie Madiot: "The power of bisimulations up to."
  • 02.07.2014. Enrico Tassi: "An extension of lambda-prolog for the implementation of proof assistants."
Added:
>
>
  • 08.10.2014. Cosimo Laneve and Davide Sangiorgi: Discussion on CONCUR14 paper talks.
  • 15.10.2014. Lars Kotthoff: "Towards an algorithm selection standard: data format and tools."
 

2013

  • 13.02.2013. Xian Xu: "Relationship between pi-calculus and tree structures in lambda-calculus."
 
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.