NWPT 2021: 32nd Nordic Workshop on Programming Theory Reykjavik, Iceland, November 4-6, 2021 |
Conference website | http://icetcs.ru.is/nwpt21 |
Submission link | https://easychair.org/conferences/?conf=nwpt2021 |
Submission deadline | October 10, 2021 |
Notification | October 17, 2021 |
The NWPT series of annual workshops is a forum bringing together programming theorists from the Nordic and Baltic countries, but also from elsewhere.
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,
- model-based testing,
- language-based security.
Contributed talks
Authors wishing to give a talk at the workshop are requested to submit abstracts of 2-3 pages (pdf, printable on A4 paper, typeset with LaTeX with easychair.cls) through EasyChair by 10 October. Work in progress as well as abstracts of manuscripts submitted for formal publication elsewhere are permitted.
The abstracts of the accepted contributions will be made available electronically before the workshop. By submitting to EasyChair you agree that your abstract will be publicly available. Moreover, you as an author are responsible for the content.
Organizers
Antonis Achilleos, Elli Anastasiadi, Dylan McDermott, Tarmo Uustalu
Venue
The workshop will be held at the premises of Reykjavik University, close to the city center.
Contact
Get in touch with Antonis Achilleos or Tarmo Uustalu.