NWPT'14
Date: Oct 29, 2014 2:00 am – Oct 31, 2014 11:00 am
Location: Halmstad University, Sweden
The 26th Nordic Workshop on Programming Theory, NWPT '14
=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.
=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)
Submitted by Anonymous
on
Date: Oct 29, 2014 2:00 am – Oct 31, 2014 11:00 am
Location: Halmstad University, Sweden
The 26th Nordic Workshop on Programming Theory, NWPT '14
=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.
=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)
Submitted by Anonymous
on