28th Nordic Workshop on Programming Theory (NWPT'16)
31 October - 2 November 2016, Rold StorKro (North Jutland), Denmark
Invited Speakers
- Dines Bjørner, Technical University of Denmark, Denmark
- Jan Friso Groote, Eindhoven University of Technology, The Netherlands
- Alan Mycroft, University of Cambridge, UK
- Andrzej Wąsowski, IT University, Denmark
Important dates:
Support
We acknowledge the kind support of
