posted by user: hossein_haeri || 2369 views || tracked by 3 users: [display]

NWPT 2013 : 25th Nordic Workshop on Programming Theory

FacebookTwitterLinkedInGoogle

Link: http://cs.ioc.ee/nwpt13/
 
When Nov 20, 2013 - Nov 22, 2013
Where Tallinn, Estonia
Submission Deadline Oct 6, 2013
Notification Due Oct 20, 2013
Final Version Due Nov 3, 2013
Categories    programming languages   nordic
 

Call For Papers

25th Nordic Workshop on Programming Theory, NWPT '13
Tallinn, Estonia, 20-22 November 2013

http://cs.ioc.ee/nwpt13/

Call for Contributions

Background

The NWPT series of annual workshops is a forum bringing together
programming theorists from the Nordic and Baltic countries (but also
elsewhere). The previous editions were held in

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

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( br /) real-time and hybrid systems
models of concurrency and distributed computing
language-based security.

NWPT 2013 will take place in Tallinn, organized by the Department
of Computer Science and Institute of Cybernetics at Tallinn
University of Technology.

Invited Speakers

Keijo Heljanko (Aalto University)
Shin-ya Katsumata (Kyoto University)
TBA

Important Dates

Submission of abstracts: 6 October 2013
Notification: 20 October 2013
Registration: 3 November 2013

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. Work in
progress as well as abstracts of manuscripts submitted for formal
publication e lsewhere are permitted.

Publication

The abstracts of the accepted contributions will be available at the
workshop.

Like in earlier years we plan to publish selected papers from the
workshop in an international journal, most probably in the Journal of
Logic and Algebraic Programming.

Programme Committee

Luca Aceto, Reykjavík University, Iceland
Lars Birkedal, University of Aarhus, 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
Mohammad Reza Mousavi, Halmstad University, Sweden
Bengt Nordström, Chalmers | University of Gothenburg, Sweden
Olaf Owe, University of Oslo, Norway
Paul Pettersson, Mälardalen University, Sweden
Andrei Sabelfeld, Chalmers | University of Gothenburg, Sweden
Gerardo Schneider, Chalmers | University of Gothenburg, Sweden
Tarmo Uustalu, Institute of Cybernetics, Estonia (co-chair)
Jüri Vain, Tallinn University of Technology, Estonia (co-chair)
Marina Waldén, Åbo Akademi University, Finland
Uwe Wolter, University of Bergen, Norway
Wang Yi, Uppsala University, Sweden

Organising Committee

Juhan-Peep Ernits, Tallinn University of Technology, Estonia
Tarmo Uustalu, Institute of Cybernetics, Estonia
Jüri Vain, Tallinn University of Technology, Estonia

Sponsors

The workshop is supported by ERDF through EXCS, the Estonian centre of
exce llence in computer science.

Further information

For further information please contact one of the co-chairs Jüri Vain
(juri.vain(at)ttu.ee) or Tarmo Uustalu (tarmo(at)cs.ioc.ee).

Related Resources

CPAIOR 2024   International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research
NYC-2024-SE 2024   New York Annual Conference on Software Engineering 2024
ASPLOS 2025   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
ECOOP (R2) 2024   European Conference on Object-Oriented Programming
APL 2024   Advances in Programming Languages (APL) Thematic Track at the 19th Conference on Computer Science and Intelligence Systems (FedCSIS 2024)
ICDT 2025   International Conference on Database Theory
OOPSLA 2024   The Object-Oriented Programming, Systems, Languages, and Applications 2024 (R2)
APLAS 2024   The 22nd Asian Symposium on Programming Languages and Systems
ICoCTA 2024   2024 4th International Conference on Control Theory and Applications
PPDP 2024   The 26th International Symposium on Principles and Practice of Declarative Programming