27th Nordic Workshop on Programming Theory (NWPT 2015)
27th Nordic Workshop on Programming Theory, NWPT 2015 21-23 October 2015, Reykjavik University, Iceland
Organized by the Icelandic Centre of Excellence in Theoretical Computer Science (ICE-TCS)Programme for the workshop
The programme for the workshop is available here
Event description
The NWPT series of annual workshops is a forum bringing together programming theorists from the Nordic and Baltic countries (but also elsewhere). The 27th edition of the Nordic Workshop on Programming Theory will be hosted by the School of Computer Science at Reykjavik University and Icelandic Centre of Excellence in Theoretical Computer Science (ICE-TCS) The workshop will take place on the premises of Reykjavik University.
Invited speakers
- Rocco De Nicola (IMT Lucca, Italy)
- Marta Kwiatkowska (University of Oxford, UK)
- Jiri Srba (Aalborg University, Denmark)
Scope
Topics of interest include (but are not limited to)
- semantics of programming languages
- programming language design and programming methodology
- programming logics
- formal specification of programs
- program verification
- program construction
- tools for program verification and construction
- program transformation and refinement
- real-time and hybrid systems
- models of concurrency and distributed computing
- language-based security.
