The next meeting of NetTCS, the Dutch network on Types, Coalgebras, and Semantics, will take place on June 27 in Groningen, organized by the Fundamental Computing group under the auspices of our project.

The meeting will be aligned with the kick-off meeting of our project and will have three invited speakers:

  • Lide Grotenhuis - University of Amsterdam
  • Andreia Mordido - University of Lisbon (Portugal)
  • Bohdan Liesnikov - TU Delft

Everyone is welcome to join us, there is no need to register!

The meeting will take place in the `Lokinzaal’ of the Röling building (Faculty of Law, Oude Boteringestraat 18, 9712 GH Groningen).