posted by user: wimmer || 3574 views || tracked by 7 users: [display]

NWPT 2010 : 22nd Nordic Workshop on Programming Theory

FacebookTwitterLinkedInGoogle

Link: https://research.it.abo.fi/nwpt10/index.php
 
When Nov 10, 2010 - Nov 12, 2010
Where Turku, Finland
Submission Deadline Sep 27, 2010
Notification Due Oct 13, 2010
Categories    programming   theory
 

Call For Papers

THE 22ND NORDIC WORKSHOP ON PROGRAMMING THEORY - NWPT'10
10-12 November 2010
Turku - Finland

https://research.it.abo.fi/nwpt10/NWPT10_CFP.pdf

NWPT'10 takes place at Åbo Akademi University and is hosted by the Department of Information Technologies.

URL: https://research.it.abo.fi/nwpt10/

IMPORTANT DATES

* - Submission of abstracts: 27 September, 2010
* - Notification: 13 October, 2010
* - Registration: 27 October, 2010
* - Workshop: 10-12 November 2010

The NWPT series of annual workshops is a forum bringing together programming theorists from the Nordic and Baltic countries, but also from elsewhere. 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, and 2003), Aarhus (1994), Oslo (1996 and 2007), Tallinn (1997, 2002 and 2008), Lyngby (2001 and 2009), Copenhagen (2005) and Reykjavík (2006).

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

* Flemming Nielson, Technical University of Denmark (DTU), Denmark
* Luke Ong, Oxford University, UK
* Joachim Parrow, Uppsala University, Sweden
* Kaisa Sere, Åbo Akademi University, Finland


SUBMISSION
Authors wishing to give a talk at the workshop are requested to submit an abstract of 2-3 pages (pdf, printable on A4 paper, using easychair.cls from http://www.easychair.org/easychair.zip) through EasyChair by 27th September, 2010. 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. After the workshop, selected papers will be invited for submission to a special issue of The Journal of Logic and Algebraic Programming.

PROGRAMME COMMITTEE

* - Luca Aceto, Reykjavík University, Iceland
* - Michael R. Hansen, Technical University of Denmark, Denmark
* - Einar Broch Johnsen, University of Oslo, 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, IT University, Chalmers | University of Gothenburg, Sweden and University of Oslo, Norway
* - 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 (Chair)
* - Uwe Wolter, University of Bergen, Norway
* - Wang Yi, Uppsala University, Sweden


ORGANIZING COMMITTEE

* - Marina Waldén,Åbo Akademi University
* - Luigia Petre, Åbo Akademi University
* - Anna von Haartman, Åbo Akademi University

Email: nwpt10(at)abo.fi

VENUE
The 22nd Nordic Workshop on Programming Theory 2010 will take place at the ICT-house in Turku, where the Department of Information Technologies at Åbo Akademi University is located.

FURTHER INFORMATION
Further information will appear on https://research.it.abo.fi/nwpt10/, or can be obtained by mailing to the organizers at nwpt10(at)abo.fi

Related Resources

CPAIOR 2024   International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research
FOCS 2024   Foundations of Computer Science
ASPLOS 2025   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
CONCUR 2024   International Conference on Concurrency Theory
ICDT 2025   International Conference on Database Theory
ISAAC 2024   35th International Symposium on Algorithms and Computation
OOPSLA 2024   The Object-Oriented Programming, Systems, Languages, and Applications 2024 (R2)
AUTOMATA 2024   30th International Workshop on Cellular Automata and Discrete Complex Systems
ICoCTA 2024   2024 4th International Conference on Control Theory and Applications
CP 2024   Principles and Practice of Constraint Programming