The 35th Nordic Workshop on Programming Theory (NWPT) in Copenhagen offers PROSA members a unique opportunity to attend three exclusive open keynotes:
- Energy Efficiency in Programming Languages
- Speaker: Professor Auxiliar João Saraiva, University of Minho and HASLab / INESC TEC, Portugal
- Date and time: Wednesday November 6, 09:05
- Programming theory meets statistical modelling
- Speaker: Professor Sam Staton, University of Oxford, UK
- Date and time: Thursday November 7, 09:05
- Towards GPU-accelerated automated reasoning
- Speaker: Senior Lecturer Martin Berger, University of Sussex, UK and Researcher at HiSilicon
- Date and time: Friday November 8, 13:30
Registration is required and the fee is DKK 50 per keynote. This includes coffee in the breaks before and after.
Registration link:
https://nwpt24.github.io/keynotes.html
Don’t miss this chance to explore the latest trends and innovations in programming theory while networking with professionals in the field.
Full program and more details on the keynotes:
https://nwpt24.github.io/program.html
ABOUT THE NWPT
NWPT is a series of annual workshops in the Nordic-Baltic region on programming theory, targeted especially at younger researchers. In 2024 the workshop will take place in Copenhagen:
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, hybrid/cyber-physical systems modeling and verification
- models of concurrency and distributed computing
- model checking
- model-based testing
- language-based security.