[ecoop-info] NWPT'17 First Call For Papers

Marina Waldén mwalden at abo.fi
Wed Jun 21 16:07:23 CEST 2017

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

                     FIRST 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 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. 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.

Johannes Borgström, Uppsala Univ., Sweden
John Gallagher, RUC, Denmark
Dilian Gurov, KTH Stockholm, Sweden
Michael R. Hansen, DTU, Denmark
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
Yngve Lamo, Bergen Univ. Col., Norway
Kim G. Larsen, Aalborg Univ., Denmark
Alberto Lluch Lafuente, DTU, Denmark
Fabrizio Montesi, Univ. of Southern Denmark, Denmark
Mohammad Mousavi, Halmstad Univ., Sweden
Olaf Owe, Univ. of Oslo, Norway
Gerardo Schneider, University of Gothenburg, Sweden
Cristina Seceleanu, Mälardalen Univ., Sweden
Jiri Srba, Aalborg Univ., Denmark
Tarmo Uustalu, Inst. of Cybernetics, Estonia
Jüri Vain, Tallinn Univ. of Tech., Estonia
Antti Valmari, Tampere Univ. of Techn., Finland
Marina Waldén, Åbo Akademi Univ., Finland (chair)
Uwe Wolter, Univ. of Bergen, Norway
Wang Yi, Uppsala Univ., Sweden

 Marina Waldén
 Jonatan Wiik
Both 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 Alvarium 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