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.

Friday, October 16, 2009

Computation and Semantics
Session Chair - Bengt Nordström
9:00 - 9:25 L. Birkedal, K. Støvring and J. Thamsborg.
Predicates for higher-order store
9:25 - 9:50 J. Schönborn and M. Kyas
Ready Semantics for UML State Machines
9:50 - 10:15 L. Birkedal, K. Støvring and J. Thamsborg
One-sided Top-top-closed Relations: The What and Why
10:15 - 10:40 T. Altenkirch, J. Chapman and T. Uustalu
Machine assisted proofs in the theory of monads

Coffee Break

Invited talk
Chair - Michael R. Hansen
11:00 - 12:00 Dines Bjørner
Role of Domain Engineering in Software Development - Why Current Requirements Engineering are Flawed?

Lunch in the glass room of the main canteen

Model-Driven Engineering
Session Chair - Paul Pettersson
13:00 - 13:25 A. Rossini, A. Rutle, F. Mancini, D. Hovland, K. A. Mughal, Y. Lamo and U. Wolter
A Formal Approach to the Specification of Data Validation Constraints in MDE
13:25 - 13:50: A. Rutle, A. Rossini, Y. Lamo and U. Wolter
Constraint-Aware Model Transformations
13:50 - 14:15 A. Brekling, M. R. Hansen and J. Madsen
Analysis of Quantitative Properties of Hardware Specifications

Coffee Break

Semantics
Session Chair - Michael R. Hansen
14:35 - 15:00 J. Okika, O. Owe and C. Prisacariu
Operational Semantics for BPEL Complex Features in Rewriting Logic
15:00 - 15:25 A. Causevic, C. Seceleanu and P. Pettersson
Behavioral Modeling and Refinement of Services
15:25 - 15:50 L. Hartmann, N. D. Jones and J. G. Simonsen
Programming in Biomolecular Computation

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