*** Call for Papers ***
24th NORDIC WORKSHOP ON PROGRAMMING THEORY (NWPT 2012)
University of Bergen and Bergen University College, Norway
http://nwpt12.ii.uib.no/
The NWPT series of annual workshops is a forum bringing together researchers in
programming theory from (but not limited to) the Nordic and Baltic countries.
The previous editions were held in Uppsala (1989, 1999, and 2004), Aalborg
(1990), Göteborg (1991 and 1995), Bergen (1992 and 2000), Åbo (1993, 1998,
2003, and 2010), Aarhus (1994), Oslo (1996 and 2007), Tallinn (1997, 2002 and
2008), Lyngby (2001 and 2009), Copenhagen (2005), Reykjavik (2006), and
Västerås (2011).
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.
This year, NWPT 2012 takes place in Bergen and is jointly organised by Bergen
University College and the University of Bergen.
INVITED SPEAKERS
* Juan de Lara, Universidad Autonoma de Madrid
* Anders Møller, Aarhus University, Denmark
* Arne Styve, Offshore Simulator Centre, Ålesund
IMPORTANT DATES
* 21 September 2012: Submission of Abstracts
* 01 October 2012: Notification
* 14 October 2012: Registration deadline
* 31 October - 2 November 2012: 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/easychair.zip) through EasyChair at
https://www.easychair.org/conferences/?conf=nwpt2012. Work in progress as well
as abstracts of manuscripts submitted for formal publication elsewhere are
permitted. The abstracts of the accepted contributions will be available at the
workshop.
It's planned to publish selected papers from the workshop in an international
journal, most probably in the Journal of Logic and Algebraic Programming.
PROGRAM COMMITTEE
* Luca Aceto, Reykjavík University, Iceland
* Lars Birkedal, IT University of Copenhagen, Denmark
* Einar Broch Johnsen, University of Oslo, Norway
* Michael R. Hansen, Technical University of Denmark, Denmark
* Yngve Lamo, Bergen University College, Norway
* Kim G. Larsen, Aalborg University, Denmark
* Bengt Nordström, Chalmers | University of Gothenburg, Sweden
* Olaf Owe, University of Oslo, Norway
* Paul Pettersson, Mälardalen University, Sweden
* Gerardo Schneider, Chalmers | University of Gothenburg, Sweden
* Andrei Sabelfeld, Chalmers | University of Gothenburg, Sweden
* Tarmo Uustalu, Institute of Cybernetics, Estonia
* Jüri Vain, Tallinn University of Technology, Estonia
* Marina Waldén, Åbo Akademi University, Finland
* Uwe Wolter, University of Bergen, Norway
* Wang Yi, Uppsala University, Sweden
ORGANIZING COMMITTEE
* Uwe Egbert Wolter (co-chair), University of Bergen, Norway
* Anya Helene Skrove Bagge , University of Bergen, Norway
* Yngve Lamo (co-chair), Bergen University College, Norway
* Lars Michael Kristensen, Bergen University College, Norway
FURTHER INFORMATION:
For further information please contact one of the co-chairs Uwe Egbert Wolter
<[email protected]><mailto:[email protected]> or Yngve Lamo
<[email protected]><mailto:[email protected]>.
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
