[Prev][Next][Index][Thread]
2nd CFP: NWPT'02
[The topic of this regional workshop is general programming theory; types in
programming languages and type theory are directly within the scope and
submissions from these areas welcome.
Registration data added. Note esp the early registration deadline. - T.U.]
2nd Call for Abstracts & Call for Participation:
The 14th Nordic Workshop on Programming Theory, NWPT'02
Tallinn, Estonia
20-22 November 2002
http://www.cc.ioc.ee/nwpt02/
Important Dates
Submission of abstracts & early registration:
30 September 2002
Notification of acceptance/rejection: 21 October 2002
Late registration: 31 October 2002
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 workshops were held in Uppsala (1989 and
1999), Aalborg (1990), Göteborg (1991 and 1995), Bergen (1992 and
2000), Åbo (1993 and 1998), Aarhus (1994), Oslo (1996), Tallinn
(1997), Lyngby (2001). In 2002, the workshop will again be held in
Tallinn organized by Inst. of Cybernetics, Tallinn, and Dept. of
Computer Science, Tallinn Technical University.
Scope
Topics of the workshop 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 concurrent, distributed and mobile computing,
tools for program verification and construction.
Submission
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
nwpt02@cc.ioc.ee by 30 September 2002. 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, a few, selected papers will be published
in a special issue of an international journal (under negotiation).
Registration and cost
Registration is done online using a form available from the workshop
webpage www.cc.ioc.ee/nwpt02.
The participation fee is 180 EUR (2800 EEK) for registrations received
before 30 September 2002 (those submitting abstracts that are not
selected for presentation will be able to cancel their registration)
and 200 EUR (3100 EEK) for registrations after that date, space
permitting. Registrations will be accepted until 31 October 2002. The
fee includes conference material, 5 coffee breaks, 3 lunches, a
reception and a conference dinner. Students from the Baltic countries
may apply for a fee waiver.
Venue
Tallinn, Estonia's capital, is famous for its pictoresque mediaeval
Old Town, a UNESCO World Heritage site. There are direct flights to
Tallinn from London, Frankfurt, Hamburg, Vienna, Moscow, Warsaw,
Copenhagen, Stockholm, Helsinki, ferries from Stockholm and
Helsinki. From Vilnius, Riga, the Eurolines coach service is the
practical travel option.
Invited Speakers
Roland Backhouse (U. of Nottingham, UK)
- Applying Relation Algebra to Program Construction
Yuri Gurevich (Microsoft Research, Redmond, WA, USA)
- Executable Specifications at Microsoft
Bengt Jonsson (Uppsala U., SE)
- Verification of Infinite-State and Parameterized Systems:
Regular Model Checking and Beyond
Programme Committee
Michael R. Hansen (Techn. U. of Denmark, DK)
Magne Haveraaen (U. of Bergen, NO)
Hannu-Matti Järvinen (Tampere U. of Techn., FI)
Kim G. Larsen (Aalborg U., DK)
Bengt Nordström (Chalmers U. of Techn., SE)
Olaf Owe (U. of Oslo, NO)
Kaisa Sere (Åbo Akademi, FI)
Jüri Vain (Tallinn Techn. U., EE) - chair
Wang Yi (Uppsala U., SE)
Organizing Committee
Juhan Ernits (Inst. of Cybernetics, EE)
Marko Kääramees (Inst. of Cybernetics, EE)
Tarmo Uustalu (Inst. of Cybernetics, EE)
Jüri Vain (Tallinn Techn. U., EE) - chair
Further Information
Further information is obtainable from the workshop webpage
http://www.cc.ioc.ee/nwpt02/. Questions should be sent to
nwpt02@cc.ioc.ee.