[TYPES/announce] NWPT 2014 Final CFP (Extended Deadline: 20 September)

[M.R. Mousavi]

***************************************************************************

Call for Papers

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
fromhttp://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: [
https://www.easychair.org/conferences/?conf=nwpt2014
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 É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


=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 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.

=History=
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).

=Organizers=


* 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://lists.seas.upenn.edu/pipermail/types-announce/attachments/20140912/154cba9b/attachment-0001.html>