[ecoop-info] Nordic Workshop on Programming Theory (NWPT'14): Call for Papers

M.R. Mousavi m.r.mousavi at hh.se
Fri Aug 15 15:45:36 CEST 2014


Call for Papers

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

29-31 October 2014 - Halmstad University, Sweden




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


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:

* 14 September 2014: Submission of abstracts
* 28 September 2014: Notification
* 5 October  2014: Registration deadline
* 29-31 October 2014: Workshop


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

Submission website is located at: [


The abstracts of the accepted contributions will be available at the

We have arranged a special issue of the [
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 École Polytechnique, France

=Program Committee=

*  Luca Aceto, Reykjavík 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 Nordström, Univ. of Gothenburg, Sweden
* Olaf Owe, Univ. of Oslo, Norway
* Paul Pettersson, Mälardalen Univ., Sweden
* Gerardo Schneider, Chalmers, Sweden
* Walid Taha, Halmstad Univ., Sweden
* Tarmo Uustalu, Inst. of Cybernetics, Estonia
* Jüri Vain, Tallinn Univ. of Tech., Estonia
* Marina Waldén, Åbo Akademi Univ., Finland
* Uwe Wolter, Univ. of Bergen, Norway
* Wang Yi, Uppsala Univ., Sweden


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 Göteborg (ca. 75
minutes), and
between Halmstad and the Malmö-Copenhagen area (incl. Copenhagen Kastrup
Airport, in about 2 hours)
There are also direct daily flights between Halmstad and Stockholm.

The previous editions were held in

* Uppsala (1989, 1999 and 2004),
* Aalborg (1990),
* Göteborg (1991 and 1995),
* Bergen (1992, 2000 and 2012),
* Åbo (1993, 1998, 2003 and 2010),
* Aarhus (1994),
* Oslo (1996, 2007),
* Tallinn (1997, 2002, 2008 and 2013),
* Lyngby (2001 and 2009),
* Copenhagen (2005),
* Reykjavík (2006), and
* Västerås (2011).


* Veronica Gaspes (Organization Chair)
* Mohammad Mousavi (Program Co-Chair)
* Eva Nestius (Local Organization)
* Walid Taha (Program Co-Chair)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://web.satd.uma.es/pipermail/ecoop-info/attachments/20140815/149640d9/attachment.html>

More information about the ecoop-info mailing list