Kickoff Meeting (19th October 2020)


The meeting will be held on October 19th 2020, via Zoom. Meeting details will be sent via e-mail; if you have problems, please contact Kayleigh Brooks.


14:00 Welcome (SG)

Brief introductions of participants

University of Glasgow: Simon Gay, Phil Trinder, Simon Fowler, Kayleigh Brooks

University of Kent: Laura Bocchi, Simon Thompson, Laura Voinea

Imperial College London: Nobuko Yoshida

Actyx: Roland Kuhn

Erlang Solutions: Francesco Cesarini

Lightbend: Viktor Klang

Quviq: Thomas Arts

Tata Consultancy Services: Vinay Kulkarni

14:20 Background and overview of Stardust (SG)
14:30 - 15:20 Overview and initial concrete plans of each work package

14:30: WP1 (Principles: Reliable Session Types) (Laura Bocchi)

14:40: WP2 (Programming: Erlang) (Phil Trinder)

14:50: WP3 (Programming: Scala / Akka) (Nobuko Yoshida)

15:00: Short break

15:10: WP4 (Practice: Case Studies) (Simon Thompson)

15:20 - 15:50 Reactions and comments from industrial participants
15:50 - 16:00 Discussion of dates for key activities in the first year
  • Monthly meeting of academic investigators
  • Technical meeting after 6 months (March / April 2021)
  • All-hands meeting at the end of the first year (October 2021)
16:00 End