<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<div style="font-family:"Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, "system-ui", Roboto, "Helvetica Neue", sans-serif;font-size:14px;margin:0px">
<span style="font-size:12pt;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px">The 33rd Nordic Workshop on Programming Theory, NWPT '22</span><br>
</div>
<div style="font-family:"Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, "system-ui", Roboto, "Helvetica Neue", sans-serif;font-size:14px;margin:0px">
<br>
<span style="font-size:12pt;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px">2-4 November 2022, </span><span style="font-size:12pt;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px">Bergen, Norway</span></div>
<div style="font-family:"Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, "system-ui", Roboto, "Helvetica Neue", sans-serif;font-size:14px;margin:0px">
<br>
</div>
<div style="font-family:"Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, "system-ui", Roboto, "Helvetica Neue", sans-serif;font-size:14px;margin:0px">
<span style="font-size:12pt;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px"><a href="https://urldefense.com/v3/__https://nwpt.w.uib.no/__;!!IBzWLUs!S-7wI5jXnWECbp3H6Kgnh30vv1l8NFRdcU-qm6wgzmvpy4tejUmedDjDVR7106TzjFI_dTeqoAkhktmexL-Xq-Aw8jSjo9geKT0$">https://nwpt.w.uib.no/</a></span><br>
<br>
<span style="font-size:12pt;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px">----------------------------------------------------------------------</span></div>
<div style="font-family:Times;font-size:medium;margin:0px"><span style="font-family:Calibri, Arial, Helvetica, sans-serif;font-size:12pt;margin:0px"><b>Important dates (AoE)</b></span><br>
<br>
<span style="font-family:Calibri, Arial, Helvetica, sans-serif;font-size:12pt;margin:0px"> Submission of abstracts: 2 October 2022 23:59 AoE</span><br>
<span style="font-family:Calibri, Arial, Helvetica, sans-serif;font-size:12pt;margin:0px"> Notification: 17 October 2022</span><br>
<span style="font-family:Calibri, Arial, Helvetica, sans-serif;font-size:12pt;margin:0px"> Early bird registration: before 17 October 2022</span><br>
<span style="font-family:Calibri, Arial, Helvetica, sans-serif;font-size:12pt;margin:0px"> Regular registration: before 24 October 2022</span><br>
<span style="font-family:Calibri, Arial, Helvetica, sans-serif;font-size:12pt;margin:0px"> Final versions: 31 October 2022</span><br>
<span style="font-family:Calibri, Arial, Helvetica, sans-serif;font-size:12pt;margin:0px"> Conference dates: 2-4 November 2022</span><br>
<span style="font-family:Calibri, Arial, Helvetica, sans-serif;font-size:12pt;margin:0px">----------------------------------------------------------------------</span><br>
<br>
</div>
<div style="font-family:Times;font-size:medium;margin:0px"><span style="font-family:Calibri, Arial, Helvetica, sans-serif;font-size:12pt;margin:0px">NWPT is a series of annual regional-scope workshops on programming theory, targeted especially at younger researchers.
In 2022, the workshop will take place in Bergen, Norway. We hope this will be a nice opportunity to present recent results and/or work-in-progress, and to meet colleagues from the Nordic and Baltic countries. We encourage PhD students and postdocs to contribute.</span></div>
<div style="font-family:"Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, "system-ui", Roboto, "Helvetica Neue", sans-serif;font-size:14px;margin:0px">
<br>
<span style="font-size:12pt;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px">Topics of interest include (but are not limited to)</span><br>
<br>
<span style="font-size:12pt;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px"> - semantics of programming languages,</span><br>
<span style="font-size:12pt;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px"> - programming language design and programming methodology,</span><br>
<span style="font-size:12pt;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px"> - programming logics,</span><br>
<span style="font-size:12pt;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px"> - formal specification of programs,</span><br>
<span style="font-size:12pt;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px"> - program verification,</span><br>
<span style="font-size:12pt;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px"> - program construction,</span><br>
<span style="font-size:12pt;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px"> - tools for program verification and construction,</span><br>
<span style="font-size:12pt;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px"> - program transformation and refinement,</span><br>
<span style="font-size:12pt;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px"> - real-time and hybrid systems,</span><br>
<span style="font-size:12pt;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px"> - models of concurrency and distributed computing,</span><br>
<span style="font-size:12pt;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px"> - model-based testing,</span><br>
<span style="font-size:12pt;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px"> - language-based security.</span><br>
<br>
<br>
<span style="font-size:12pt;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px"><b>Contributed talks</b></span><br>
<br>
<span style="font-size:12pt;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px">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 02 October:</span><br>
<br>
<span style="font-size:12pt;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px"><a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=nwpt22__;!!IBzWLUs!S-7wI5jXnWECbp3H6Kgnh30vv1l8NFRdcU-qm6wgzmvpy4tejUmedDjDVR7106TzjFI_dTeqoAkhktmexL-Xq-Aw8jSjXHDfnL4$">https://easychair.org/conferences/?conf=nwpt22</a></span><br>
<br>
<span style="font-size:12pt;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px">Work in progress as well as abstracts of manuscripts submitted for formal publication elsewhere are permitted.</span><br>
<br>
<span style="font-size:12pt;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px">The abstracts of the accepted contributions will be 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.</span><br>
<br>
<br>
</div>
<div style="font-family:"Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, "system-ui", Roboto, "Helvetica Neue", sans-serif;font-size:14px;margin:0px">
<span style="font-size:12pt;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px"><b>Organizers</b></span><br>
</div>
<div style="font-family:"Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, "system-ui", Roboto, "Helvetica Neue", sans-serif;font-size:14px;margin:0px">
<span style="font-size:12pt;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px"><b><br>
</b></span></div>
<div style="font-family:"Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, "system-ui", Roboto, "Helvetica Neue", sans-serif;font-size:14px;margin:0px">
<span style="font-size:12pt;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px">Mikhail Barash, </span><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt;">Crystal Chang Din, </span><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt;">Håkon
Robbestad Gylterud, and </span><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt;">Magne Haveraaen</span></div>
<div style="font-family:"Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, "system-ui", Roboto, "Helvetica Neue", sans-serif;font-size:14px;margin:0px">
<br>
</div>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<span style="font-family:"Segoe UI", "Segoe UI Web (West European)", "Segoe UI", -apple-system, "system-ui", Roboto, "Helvetica Neue", sans-serif;font-size:14px;margin:0px"><span style="font-size:12pt;font-family:Calibri, Arial, Helvetica, sans-serif;margin:0px">Contact
the organisers at nwpt_22@uib.no</span></span><br>
</div>
</body>
</html>