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