The next meeting of NetTCS, the Dutch network on Types, Coalgebras, and Semantics, will take place on March 6 in Apeldoorn, organized by the University of Twente under the auspices of our project.

The meeting will have three invited speakers:

  • Sergei Stepanenko - Aarhus University
  • Thorsten Wißmann - FAU (University of Erlangen and Nuremberg)
  • Oisin Flynn-Connolly - Leiden University

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