[ecoop-info] NWPT'17 Final call for papers

Marina Waldén mwalden at abo.fi
Mon Sep 4 19:54:52 CEST 2017

*** Apologies if you receive multiple copies. ***

                        FINAL CALL FOR CONTRIBUTIONS - NWPT'17


                                         1-3 November 2017
                                             Turku - Finland

Hosted by Computer Science at Åbo Akademi University.
URL: https://research.it.abo.fi/nwpt17/ <https://research.it.abo.fi/nwpt17/>
Submission of abstracts: 17 September 2017
Notification:     4 October 2017
Final version: 16 October 2017
Registration:  16 October 2017
Workshop:    1-3 November 2017
The NWPT series of annual workshops is a forum bringing together programming theorists
from the Nordic and Baltic countries, but also from elsewhere. 

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,
program transformation and refinement,
real-time and hybrid systems,
models of concurrency and distributed computing,
tools for program verification and construction.

	Marjan Sirjani, Mälardalen University, Sweden
				and Reykjavik University, Iceland
	Marieke Huisman, University of Twente, The Netherlands
	John Hughes, Chalmers University of Technology, Sweden


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) through EasyChair <https://easychair.org/conferences/?conf=nwpt17> (https://easychair.org/conferences/?conf=nwpt17 <https://easychair.org/conferences/?conf=nwpt17>) by 17th September, 2017. 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 electronically before the 
workshop. By submitting to EasyChair you agree that your abstract will be publicly 
available. Moreover, you as an author are responsible for the content. 

We have arranged a special issue of the Journal of Logical and Algebraic Methods 
in Programming (JLAMP) devoted to the best contributions to the workshop. The 
contributions will be selected by the PC. They will be invited after the workshop 
and will undergo a rigorous, journal-strength review process according to the 
standards of JLAMP.

Lars Birkedal, Aarhus Univ., Denmark
John Gallagher, RUC, Denmark
Michael R. Hansen, DTU, Denmark
Magne Haveraaen, Univ. of Bergen, Norway
Keijo Heljanko, Aalto Univ., Finland
Fritz Henglein, Univ. of Copenhagen, Denmark
Thomas T. Hildebrandt, ITU, Denmark
Anna Ingolfsdottir, Reykjavík Univ., Iceland
Einar Broch Johnsen, Univ. of Oslo, Norway
Jaakko Järvi, Univ. of Bergen, Norway
Yngve Lamo, Bergen Univ. Col., Norway
Kim G. Larsen, Aalborg Univ., Denmark
Alberto Lluch Lafuente, DTU, Denmark
Fabrizio Montesi, Univ. of Southern Denmark, Denmark
Wojciech Mostowski, Halmstad Univ., Sweden
Olaf Owe, Univ. of Oslo, Norway
Philipp Rümmer, Uppsala Univ., Sweden
Gerardo Schneider, University of Gothenburg, Sweden
Cristina Seceleanu, Mälardalen Univ., Sweden
Jiri Srba, Aalborg Univ., Denmark
Tarmo Uustalu, Tallinn Univ. of Tech., Estonia
Jüri Vain, Tallinn Univ. of Tech., Estonia
Antti Valmari, Tampere Univ. of Tech., Finland
Marina Waldén, Åbo Akademi Univ., Finland (chair)

Marina Waldén (chair)
Mojgan Kamali
Jonatan Wiik
All from Åbo Akademi University. Email: nwpt17(at)abo.fi <http://abo.fi/>

The 29th Nordic Workshop on Programming Theory 2017 will take place at the restaurant Linnateatteri in the centre of Turku.


Further information will appear on https://research.it.abo.fi/nwpt17/ <https://research.it.abo.fi/nwpt17/>, or can be obtained by mailing to the organizers at nwpt17(at)abo.fi <http://abo.fi/>

More information about the ecoop-info mailing list