NWPT 2014 Final CFP (Extended Deadline: 20 September)

The 26th Nordic Workshop on Programming Theory, NWPT '14

29-31 October 2014 - Halmstad University, Sweden

http://ceres.hh.se/mediawiki/index.php/NWPT_2014

=Introduction=

The NWPT series of annual workshops is a forum bringing together programming theorists from the Nordic and Baltic countries (but also elsewhere).

=Scope=

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
• language-based security.

=Important Dates=

Tentative deadlines:

• 20 September 2014: Submission of abstracts (extended)
• 28 September 2014: Notification
• 5 October 2014: Registration deadline
• 29-31 October 2014: Workshop

=Submission=

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 http://www.easychair.org through EasyChair. Work in progress as well as abstracts of manuscripts submitted for formal publication elsewhere are permitted.

Submission website is located at: https://www.easychair.org/conferences/?conf=nwpt2014

=Publication=

The abstracts of the accepted contributions will be available at the workshop.

We have arranged a special issue of the http://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming Journal of Logic and Algebraic Methods in Programming dedicated to the best contributions of the journals. The contributions will be invited after the workshop and will undergo a rigorous review process according to the stringent rules of JLAMP.

=Invited Speakers=

• Holger Hermanns, Saarland University, Germany
• Anna Ingolfsdottir, Reykjavik University, Iceland
• Catuscia Palamidessi, INRIA Saclay and Ecole Polytechnique, France

=Program Committee=

• Luca Aceto, Reykjavik Univ., Iceland
• Lars Birkedal, Aarhus Univ., Denmark
• Einar Broch Johnsen, Univ. of Oslo, Norway
• Michael R. Hansen, DTU, Denmark
• Keijo Heljanko, Aalto Univ., Finland
• Fritz Henglein, Univ. of Copenhagen, Denmark
• Yngve Lamo, Bergen Univ. Col., Norway
• Kim G. Larsen, Aalborg Univ., Denmark
• Mohammad Mousavi, Halmstad Univ., Sweden
• Bengt Nordstrom, Univ. of Gothenburg, Sweden
• Olaf Owe, Univ. of Oslo, Norway
• Paul Pettersson, Malardalen Univ., Sweden
• Gerardo Schneider, Chalmers, Sweden
• Walid Taha, Halmstad Univ., Sweden
• Tarmo Uustalu, Inst. of Cybernetics, Estonia
• Juri Vain, Tallinn Univ. of Tech., Estonia
• Marina Walden, Abo Akademi Univ., Finland
• Uwe Wolter, Univ. of Bergen, Norway
• Wang Yi, Uppsala Univ., Sweden

=Venue=

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.

Direct trains services are available between Halmstad and Goteborg (ca. 75 minutes), and between Halmstad and the Malmo-Copenhagen area (incl. Copenhagen Kastrup Airport, in about 2 hours). There are also direct daily flights between Halmstad and Stockholm.

=History=

The previous editions were held in

• Uppsala (1989, 1999 and 2004),
• Aalborg (1990),
• Goteborg (1991 and 1995),
• Bergen (1992, 2000 and 2012),
• Abo (1993, 1998, 2003 and 2010),
• Aarhus (1994),
• Oslo (1996, 2007),
• Tallinn (1997, 2002, 2008 and 2013),
• Lyngby (2001 and 2009),
• Copenhagen (2005),
• Reykjavik (2006), and
• Vasteras (2011).

=Organizers=

• Veronica Gaspes (Organization Chair)
• Mohammad Mousavi (Program Co-Chair)
• Eva Nestius (Local Organization)
• Walid Taha (Program Co-Chair)