Difference: ProjectSeminars (109 vs. 110)

Revision 11018 Jun 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"


  • 09.01.2018. Filippo Bonchi: "Sound up-to techniques and complete abstract domain."
  • 30.01.2018. Ivan Lanese: "A reversibile debugger for Erlang."
  • 06.03.2018. Francesco Gavazzo: "Towards Programming Languages for Machine Learning."
  • 08.05.2018. Adrien Durier: "Call-by-Value Lambda-Calculus, Tree Structures for Call-by-Value and Process Representations for Them."
  • 29.05.2018. Gabriele Vanoni: "On Randomised Strategies in the Lambda-Calculus."
  • 05.06.2018. Gabriel Scherer: "Keep (re)playing until your get all the successes."
  • 19.06.2018. Ozalp Babaoglu: "Cognified Distributed Computing."
  • 03.07.2018. Giulio Guerrieri: "Types of Fireballs."


  • 08.02.2017. Ugo Dal Lago: "Report on conferences and workshops."
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.