21st Nordic Workshop on Programming Theory, NWPT '09
Lyngby, Denmark, 14-16 October 2009
NWPT '09 Home
Call for papers
Organisation
Important Dates

Programme
- Wednesday
- Thursday
- Friday

Background
Scope
Invited Talks
Submission
Publication
Venue
Registration
Accommodation
Travel info

Programme

All sessions take place in:

Building 101A, Meeting Room 1
Technical University of Denmark (DTU)
Anker Engelundsvej 1, 2800 Kgs. Lyngby

Building 101 is the main building at DTU, and Meeting Room 1 is upstairs, next to Faculty Club. See monitors at entrance 101A.

Thursday, October 15, 2009

Static Analysis
Session Chair - Bengt Nordström
9:00 - 9:25 M. Steffen and T. M. T. Tran
Safe Commits for Transactional Featherweight Java
9:25 - 9:50 A. Cortesi and R. Halder
Abstract Interpretation Framework for Structured Query Languages
9:50 - 10:15 I. Grabe, M. Steffen and F. de Boer
Static Deadlock Detection for Active Objects
10:15 - 10:40 P. Schneider-Kamp, J. Giesl, A. Serebrenik, T. Ströder and R. Thiemann
Proving Termination for Logic Programs with Cut

Coffee Break

Invited talk
Chair - Michael R. Hansen
11:00 - 12:00 Franz Wotawa
The current State of Automated Debugging

Lunch in the glass room of the main canteen

Testing and Verification
Session Chair - Uwe Wolter
13:00 - 13:25 M. Veanes, P. Grigorenko, J. de Halleux and N. Tillmann
Symbolic Query Exploration
13:25 - 13:50 M. Nica, I. Moraru and F. Wotawa
Representing Program Debugging as Constraint Satisfaction Problem
13:50 - 14:15 A. Torjusen, M. Steffen and O. Owe
Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting

Coffee Break

Logic and Semantics
Session Chair - Einar Broch Johnsen
14:35 - 15:00 L. Juhl
Introducing Modal Transition Systems with Weight Sets
15:00 - 15:25 A. Hernandez and F. Nielson
Enforcing Mandatory Access Control in Distributed Systems using Aspect-Orientation
15:25 - 15:50 C. Prisacariu
A Decidable Logic for Complex Contracts

Robot Swarms
Session Chair - Michael R. Hansen
16:00 - 16:25 S. Juurik and J. Vain
Model checking emerging behavior properties of robot swarms
16:25 - 16:50 S. L. T. Tarifa and E. B. Johnsen
The Cooperative Cleaners Case Study: Modelling and Analysis in Creol

Conference Dinner
19:00 Conference Dinner at Restaurant Fortunen
Ved Fortunen 33, 2800 Kgs. Lyngby

http://www.imm.dtu.dk/nwpt09 | email: nwpt09(at)imm.dtu.dk | © DTU Informatics, 2009