<div dir="ltr"><div dir="ltr"><div style="font-family:arial,sans-serif;font-size:13px">***************************************************************************</div><div style="font-family:arial,sans-serif;font-size:13px">
<br></div><div style="font-family:arial,sans-serif;font-size:13px">Call for Papers </div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">The 26th Nordic Workshop on Programming Theory, NWPT '14</div>
<div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">29-31 October 2014 - Halmstad University, Sweden</div><div style="font-family:arial,sans-serif;font-size:13px">
<br></div><div style><font face="arial, sans-serif"><a href="http://ceres.hh.se/mediawiki/index.php/NWPT_2014">http://ceres.hh.se/mediawiki/index.php/NWPT_2014</a></font><br></div><div style="font-family:arial,sans-serif;font-size:13px">
<br></div><div style="font-family:arial,sans-serif;font-size:13px">***************************************************************************<br></div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">
<br></div><div style="font-family:arial,sans-serif;font-size:13px">=Introduction=</div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">The NWPT series of annual workshops is a forum bringing together programming theorists from the Nordic and Baltic countries (but also elsewhere).</div>
<div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">=Scope=</div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">
Topics of interest include (but are not limited to)</div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">* semantics of programming languages</div>
<div style="font-family:arial,sans-serif;font-size:13px">* programming language design and programming methodology</div><div style="font-family:arial,sans-serif;font-size:13px">* programming logics</div><div style="font-family:arial,sans-serif;font-size:13px">
* formal specification of programs</div><div style="font-family:arial,sans-serif;font-size:13px">* program verification</div><div style="font-family:arial,sans-serif;font-size:13px">* program construction</div><div style="font-family:arial,sans-serif;font-size:13px">
* tools for program verification and construction</div><div style="font-family:arial,sans-serif;font-size:13px">* program transformation and refinement</div><div style="font-family:arial,sans-serif;font-size:13px">* real-time and hybrid systems</div>
<div style="font-family:arial,sans-serif;font-size:13px">* models of concurrency and distributed computing</div><div style="font-family:arial,sans-serif;font-size:13px">* language-based security.</div><div style="font-family:arial,sans-serif;font-size:13px">
<br></div><div style="font-family:arial,sans-serif;font-size:13px">=Important Dates=</div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">Tentative deadlines:</div>
<div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">* 14 September 2014:<span style="white-space:pre-wrap"> </span>Submission of abstracts</div><div style="font-family:arial,sans-serif;font-size:13px">
* 28 September 2014:<span style="white-space:pre-wrap"> </span>Notification</div><div style="font-family:arial,sans-serif;font-size:13px">* 5 October 2014:<span style="white-space:pre-wrap"> </span>Registration deadline</div>
<div style="font-family:arial,sans-serif;font-size:13px">* 29-31 October 2014: Workshop</div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">=Submission=</div>
<div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">Authors wishing to give a talk at the workshop are requested to submit abstracts of 2-3 pages (pdf, printable on A4 paper, using easychair.cls from<a href="http://www.easychair.org/easychair.zip" target="_blank">http://www.easychair.org/easychair.zip</a>) through EasyChair. </div>
<div style="font-family:arial,sans-serif;font-size:13px">Work in progress as well as abstracts of manuscripts submitted for formal publication elsewhere are permitted.</div><div style="font-family:arial,sans-serif;font-size:13px">
<br></div><div style="font-family:arial,sans-serif;font-size:13px">Submission website is located at: [<a href="https://www.easychair.org/conferences/?conf=nwpt2014" target="_blank">https://www.easychair.org/conferences/?conf=nwpt2014</a> <a href="https://www.easychair.org/conferences/?conf=nwpt2014" target="_blank">https://www.easychair.org/conferences/?conf=nwpt2014</a>]</div>
<div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">=Publication=</div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">
The abstracts of the accepted contributions will be available at the workshop.</div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">We have arranged a special issue of the [<a href="http://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming" target="_blank">http://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming</a> Journal of Logic and Algebraic Methods in Programming] dedicated to </div>
<div style="font-family:arial,sans-serif;font-size:13px">the best contributions of the journals. </div><div style="font-family:arial,sans-serif;font-size:13px">The contributions will be invited after the workshop and will undergo a rigorous review process according to the stringent rules of JLAMP.</div>
<div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">=Invited Speakers=</div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">
* Holger Hermanns, Saarland University, Germany</div><div style="font-family:arial,sans-serif;font-size:13px">* Anna Ingolfsdottir, Reykjavik University, Iceland </div><div style="font-family:arial,sans-serif;font-size:13px">
* Catuscia Palamidessi, INRIA Saclay and École Polytechnique, France</div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">
=Program Committee=</div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">* Luca Aceto, Reykjavík Univ., Iceland </div>
<div style="font-family:arial,sans-serif;font-size:13px">* Lars Birkedal, Aarhus Univ., Denmark </div><div style="font-family:arial,sans-serif;font-size:13px">* Einar Broch Johnsen, Univ. of Oslo, Norway </div><div style="font-family:arial,sans-serif;font-size:13px">
* Michael R. Hansen, DTU, Denmark</div><div style="font-family:arial,sans-serif;font-size:13px">* Keijo Heljanko, Aalto Univ., Finland </div><div style="font-family:arial,sans-serif;font-size:13px">* Fritz Henglein, Univ. of Copenhagen, Denmark </div>
<div style="font-family:arial,sans-serif;font-size:13px">* Yngve Lamo, Bergen Univ. Col., Norway </div><div style="font-family:arial,sans-serif;font-size:13px">* Kim G. Larsen, Aalborg Univ., Denmark </div><div style="font-family:arial,sans-serif;font-size:13px">
* Mohammad Mousavi, Halmstad Univ., Sweden </div><div style="font-family:arial,sans-serif;font-size:13px">* Bengt Nordström, Univ. of Gothenburg, Sweden </div><div style="font-family:arial,sans-serif;font-size:13px">* Olaf Owe, Univ. of Oslo, Norway </div>
<div style="font-family:arial,sans-serif;font-size:13px">* Paul Pettersson, Mälardalen Univ., Sweden </div><div style="font-family:arial,sans-serif;font-size:13px">* Gerardo Schneider, Chalmers, Sweden </div><div style="font-family:arial,sans-serif;font-size:13px">
* Walid Taha, Halmstad Univ., Sweden </div><div style="font-family:arial,sans-serif;font-size:13px">* Tarmo Uustalu, Inst. of Cybernetics, Estonia</div><div style="font-family:arial,sans-serif;font-size:13px">* Jüri Vain, Tallinn Univ. of Tech., Estonia </div>
<div style="font-family:arial,sans-serif;font-size:13px">* Marina Waldén, Åbo Akademi Univ., Finland </div><div style="font-family:arial,sans-serif;font-size:13px">* Uwe Wolter, Univ. of Bergen, Norway </div><div style="font-family:arial,sans-serif;font-size:13px">
* Wang Yi, Uppsala Univ., Sweden</div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">
=Venue=</div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">The workshop will be held on the campus of Halmstad University in Halmstad, Sweden. Halmstad is a popular holiday destination located on the Swedish west coast. </div>
<div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">Direct trains services are available between Halmstad and Göteborg (ca. 75 minutes), and </div><div style="font-family:arial,sans-serif;font-size:13px">
between Halmstad and the Malmö-Copenhagen area (incl. Copenhagen Kastrup Airport, in about 2 hours) </div><div style="font-family:arial,sans-serif;font-size:13px">There are also direct daily flights between Halmstad and Stockholm.</div>
<div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">=History=</div><div style="font-family:arial,sans-serif;font-size:13px">The previous editions were held in</div>
<div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">* Uppsala (1989, 1999 and 2004),</div><div style="font-family:arial,sans-serif;font-size:13px">* Aalborg (1990),</div>
<div style="font-family:arial,sans-serif;font-size:13px">* Göteborg (1991 and 1995),</div><div style="font-family:arial,sans-serif;font-size:13px">* Bergen (1992, 2000 and 2012),</div><div style="font-family:arial,sans-serif;font-size:13px">
* Åbo (1993, 1998, 2003 and 2010),</div><div style="font-family:arial,sans-serif;font-size:13px">* Aarhus (1994),</div><div style="font-family:arial,sans-serif;font-size:13px">* Oslo (1996, 2007),</div><div style="font-family:arial,sans-serif;font-size:13px">
* Tallinn (1997, 2002, 2008 and 2013),</div><div style="font-family:arial,sans-serif;font-size:13px">* Lyngby (2001 and 2009),</div><div style="font-family:arial,sans-serif;font-size:13px">* Copenhagen (2005),</div><div style="font-family:arial,sans-serif;font-size:13px">
* Reykjavík (2006), and</div><div style="font-family:arial,sans-serif;font-size:13px">* Västerås (2011).</div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">
=Organizers=</div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">* Veronica Gaspes (Organization Chair)</div>
<div style="font-family:arial,sans-serif;font-size:13px">* Mohammad Mousavi (Program Co-Chair)</div><div style="font-family:arial,sans-serif;font-size:13px">* Eva Nestius (Local Organization)</div><div style="font-family:arial,sans-serif;font-size:13px">
* Walid Taha (Program Co-Chair)</div></div></div>