[TYPES] UPDATE: NWPT05 Annoucenment

Jesper Andersen jespera at diku.dk
Tue Aug 30 07:01:18 EDT 2005


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


More information about the Types-list mailing list