Meetings

2026

The 2026 Dutch Winter School on Logic and Verification

• Dates: January 20 - 23, 2026
• Location: Twente
• See the website of the winter school for more information.

2025

Kick-off Meeting

• Dates: June 26 - 27, 2025.
• Location: Röling building (Faculty of Law), Oude Boteringestraat 18, 9712 GH Groningen.
• The session of Friday afternoon will consist of an NetTCS meeting and is open to all.