ANNOUNCEMENT AND CALL FOR PAPERS FOR NWPT05 =========================================== The 17th Nordic Workshop on Programming Theory http://www.diku.dk/NWPT05/ The NWPT series of annual workshops is a forum bringing together programming theorists from the Nordic and Baltic countries (but also elsewhere). This year the workshop will be held in COPENHAGEN. SCOPE Typical topics of the workshop include (but are not limited to) o Semantics of programs o Programming logics o Program verification o Formal specification of programs o Program synthesis o Program transformation and program refinement o Real-Time and hybrid systems o Modeling of concurrency o Programming methods o Tools for program construction and verification INVITED SPEAKERS o Patricia Johann, Rutgers University, USA o Carsten Schuermann, (Yale, now: IT University of Copenhagen) o Stephen Alstrup, Octoshape o Peter Sestoft, KVL, IT University of Copenhagen o Olivier Danvy, BRICS, DIKU SUBMISSIONS Authors wishing to give a talk at the workshop are requested to submit an abstract of 1-3 pages (ps or pdf, printable on A4 paper) to nwpt05(at)diku.dk by 19th September 2005. Submission of work submitted for formal publication elsewhere and work in progress is permitted. The abstracts of the accepted contributions will be available at the workshop. After the workshop, selected papers will be published in a special issue of "Nordic Journal of Computing". IMPORTANT DATES (TENTATIVE) 19 September: Submission of abstracts 5 October: Notification of acceptance 12 October: Registration (see below) 19-21 October: WORKSHOP REGISTRATION To register for the workshop, complete the registration form on the webpage of the workshop (www.diku.dk/NWPT05/). The workshop fee includes registration, participants proceedings, coffee, lunches, reception, and a banquet. PROGRAMME COMMITTEE o Neil D. Jones (chair), Univ. of Copenhagen, Denmark o Michael R. Hansen, Techn. U. of Denmark, Denmark o Magne Haveraaen, Univ. of Bergen, Norway o Hannu-Matti Jarvinen, Tampere Univ. of Tech., Finland o Kim G. Larsen, Aalborg Univ., Denmark o Bengt Nordstrom, Univ. of Gothen, Chalmers Univ. of Tech., Sweden o Olaf Owe, University of Oslo, Norway o Kaisa Sere, Abo Akademi University, Finland o Tarmo Uustalu, Inst. of Cubernetics, Estonia o Juri Vain, Tallinn Technical University, Estonia o Wang Yi, Uppsala Univ., Sw ORGANIZING COMMITTEE o Karin Outzen (secretary) o Jesper Andersen (graduate student) o Andrzej Filinski o Jakob Grue Simonsen o Neil Jones More (and current) information can be found at the workshop homepage: http://www.diku.dk/NWPT05