Difference: ProjectSeminars (111 vs. 112)

Revision 11216 Dec 2018 - Main.FrancescoGavazzo

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: 16 to 16
  • 15.11.2018. Thomas Leventis: "Taylor Expansion of lambda terms and differential linear logic."
  • 22.11.2018. Andrea Condoluci: "A(b)normal Environments."
  • 29.11.2018. Ugo Dal Lago: "Game Semantics and probabilistic higher-order computation."
  • 13.12.2018. Nao Hirokawa: "Transformations for Lazy Evaluation and Theorem Proving."
  • 17.12.2018. Claudia Faggian: "Probabilistic Lambda Calculus -- beyond deterministic evaluation."


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.