Last updated on 12th April 2004

Participants; Programme; Location; Facilities; Getting Here; Getting Around; Accommodation; Banquet; Tourist Information.

First APPSEM-II Workshop

26th to 28th March 2003

Nottingham, United Kingdom

Robin Hood Statue

The first annual workshop of the IST working group APPSEM-II (Applied Semantics II) will be held in Nottingham from 26th to 28th March 2003. All members of the working group are invited to attend, but participation of non-members from both academia and industry with interests in application-oriented programming language semantics is actively encouraged. The purpose of the workshop is to present new results and plan future work in each of the nine themes of the group:

A - Program structuring: object-oriented programming, modules (Didier Remy, Gavin Bierman);
B - Proof assistants, functional programming, and dependent types (Thierry Coquand);
C - Program analysis, generation, and configuration (Neil Jones);
D - Specification and verification methods (Uday Reddy);
E - Types and type inference in programming (Fritz Henglein);
F - Games, sequentiality, and abstract machines (Pierre-Louis Curien);
G - Semantic methods for distributed computing (Glynn Winskel);
H - Resource models and web data (Peter O'Hearn, Philippa Gardner);
I - Continuous phenomena in Computer Science (Achim Jung).

For each theme there will be a session of presentations, organised by the theme leaders (in parentheses above). There will also be invited presentations by Didier Galmiche and Simon Peyton Jones, a discussion session, a meeting of the steering committee, and a banquet. Following on from the workshop an informal proceedings will be published on the web.

The registration deadline is 26TH FEBRUARY 2003, and the registration cost is 165 pounds (approx 250 euros).

APPSEM-II is coordinated by Martin Hofmann, and the workshop is organised by Graham Hutton.

There will also be a spatial logics workshop and APPSEM reception at the University of Nottingham on the afternoon of 25th March 2003.


The following 115 people have registered for the workshop:

Michael Abbott, Andreas Abel, Mads Sig Ager, Natasha Alechina, Thorsten Altenkirch, Simon Ambler, Davide Ancona, David Aspinall, Robert Atkey, Roland Backhouse, Luis Barbosa, Gilles Barthe, Hubert Baumeister, Jules Bean, Marcin Benke, Nick Benton, Stefano Berardi, Gavin Bierman, Malgorzata Biernacka, Dariusz Biernacki, Lars Birkedal, Dennis Bjorklund, Richard Bornat, Luis Caires, Cristiano Calcagno, Marco Carbone, James Cheney, Antonio Cisternino, Allan Clark, Roy Crole, Olivier Danvy, Ugo de' Liguoro, Oege de Moor, Louise Dennis, Peter Dybjer, Abbas Edalat, Sonia Fagorzi, Jose Fiadeiro, Didier Galmiche, Philippa Gardner, Neil Ghani, Giorgio Ghelli, Dan Ghica, Jonathan Grattage, Martin Hofmann, Catherine Hope, John Hughes, Yorck Hunke, Graham Hutton, Pierre Hyvernat, Patrik Jansson, Neil Jones, Steffen Jost, Achim Jung, Clemens Kupke, Alexander Kurz, David Lacey, Giovanni Lagorio, Dominique Larchey, Alan Lawrence, Didier Le Botlan, Paul Blain Levy, Cedric Lhoussaine, Andres Loeh, Tobias Loew, Kenneth MacKenzie, Henning Makholm, Conor McBride, Richard McKinley, Jan Midtgaard, Ivana Mijajlovic, Eugenio Moggi, Peter Mosses Andrzej Murawski, Francesco Nardelli, Henning Niss, Pablo Nogueira, Ulf Norell, Mikkel Nygaard, Peter O'Hearn, Matthew Parkinson, Dirk Pattinson, Simon Peyton Jones, Randy Pollack, Jorge Sousa Pinto, Luis Pinto, Chris Reade, Uday Reddy, Bernhard Reus, Eike Ritter, Anne Rogers, Henning Korsholm Rohde, Mike Samuels, Joao Saraiva, Vijay Saraswat, Ulrich Schoepp, Peter Sewell, Vincent Simonet, Ganesh Sittampalam, Ian Stark, Samuel Staton, Gareth Stoyle, Doaitse Swierstra, Paul Taylor, Hayo Thielecke, Noah Torp-Smith, Tarmo Uustalu, Vasco Vasconcelos, Nigel Walker, Yanling Wang, Keith Wansbrough, Herbert Wiklicky, Glynn Winskel, Martin Wirsing, Elena Zucca.


Wednesday 26th March

08.30 - 09.00:


09.00 - 10.30: chaired by Graham Hutton

THEME E - Types and type inference in programming

Wearing the Hair Shirt: A Retrospective on Haskell (slides)
Simon Peyton Jones (invited talk, 45 minutes)

First Class Aspects, Exploiting the Haskell Type System (slides)
Doaitse Swierstra

A Type System for Generic Haskell with Explicit Recursion (slides)
Andres Loeh

10.30 - 11.00:


11.00 - 12.30: chaired by Martin Hofmann

THEME E - Types and type inference in programming

MLF, Raising ML to the Power of System F (paper, slides)
Didier Le Botlan

Type Correctness for XML Queries
Giorgio Ghelli

Static Support for Capability-based Programming in Java (paper, slides)
Vijay Saraswat

Region-Based Memory Management Preserves Semantics (slides)
Henning Makholm

From Control Effects to Typed Continuation Passing (slides)
Hayo Thielecke

12.30 - 14.00:


14.00 - 15.15: chaired by Achim Jung

THEME I - Continuous phenomena in Computer Science

Domain-theoretic Solutions of Differential Equations (paper)
Abbas Edalat

Coiteration is Complete on Sequence Spaces
Dirk Pattinson

Operator Algebraic Methods in Semantics
Herbert Wiklicky

Locally Compact Locales (paper)
Paul Taylor

15.15 - 15.45:


15.45 - 17.15: chaired by Uday Reddy

THEME D - Specification and verification methods

Embedded Interpreters (slides)
Nick Benton

Games-Based Compositional Software Model Checking (slides)
Dan Ghica

Definitive Semantic Descriptions (paper, slides)
Peter Mosses

Architectural Primitives for Distribution and Mobility (paper, slides)
Jose Fiadeiro

A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems (slides)
Martin Wirsing

19.00 -:


Thursday 27th March

09.00 - 10.30: chaired by Peter O'Hearn

THEME H - Resource models and web data

Resource Models and Proofs in BI
Didier Galmiche (invited talk, 45 minutes)

A Low Complexity Fragment of Separation Logic
Cristiano Calcagno

A Language for Updating Trees with Pointers
Philippa Gardner

Ribbon Proofs
Jules Bean

10.30 - 11.00:


11.00 - 12.30: chaired by Philippa Gardner

THEME H - Resource models and web data

Data Representation Semantics for Heap Data Structures
Uday Reddy

Mobile Resource Guarantees (MRG): An Infrastructure for Proof-carrying Code for Resource-related Properties (slides)
Ian Stark

Garbage Collection and Separation Logics (slides)
Noah Torp-Smith

THEME G - Semantic methods for distributed computing

Full Abstraction for HOLPA, a Higher-Order Process Language
Glynn Winskel

An Intuitionistic Model of Delta^0_2-maps using Parallel Computations (paper)
Stefano Berardi

12.30 - 14.00:


14.00 - 15.45: chaired by Glynn Winskel

THEME B - Proof assistants, functional programming, and dependent types

Tool-Assisted Specification and Verification of the JavaCard Platform (slides)
Gilles Barthe

Combining HOAS and Theorem Proving Principles (slides)
Roy Crole

A Semantics for Reductive Logic and Proof-search (slides)
Eike Ritter

Reference Counting for Linear Counter-Model Generation (slides)
Dominique Larchey

Martin-Loef Clashes With Griffin (paper)
Paul B Levy

Permutative Conversions in Generalised Multiary Lambda-calculus (slides)
Luis Pinto

Container Types (paper, slides)
Michael Abbott

15.45 - 16.15:


16.15 - 17.15: chaired by Martin Hofmann

Discussion Session

Friday 28th March

09.00 - 10.30: chaired by Gavin Bierman

THEME A - Program structuring: object-oriented programming, modules

Dynamic Rebinding and Destruct-time lambda for Flexible Marshalling and Update (paper, slides)
Peter Sewell

True Separate Compilation of Java Classes (paper, slides)
Giovanni Lagorio

Reasoning about Higher Order Store Denotationally
Bernhard Reus

Generic Components (paper)
Luis Barbosa

Mixin Modules and Computational Effects (paper, slides)
Sonia Fagorzi

10.30 - 11.00:


11.00 - 12.30: chaired by Neil Jones

THEME C - Program analysis, generation, and configuration

Runtime Code Generation in Strongly Typed Execution Environments (slides)
Antonio Cisternino

From Interpreter to Compiler and Virtual Machine (paper, slides)
Mads Sig Ager

Flow Caml in a Nutshell (paper, slides)
Vincent Simonet

A Monadic Multi-stage Metalanguage (paper, slides)
Eugenio Moggi

THEME F - Games, sequentiality, and abstract machines

Win, Lose and Stalemate in Impartial Games (paper)
Roland Backhouse

A Functional Correspondence between Evaluators and Abstract Machines (paper, slides)
Olivier Danvy

12.30 - 14.00:


14.00 - 15.45: chaired by Thorsten Altenkirch

THEME B - Proof assistants, functional programming, and dependent types

Analyzing Generalized Iteration (paper)
Tarmo Uustalu

A Staged Higher-order Polymorphic Lambda-calculus (slides)
Andreas Abel

A Category of Games for (Basic) Topology (slides)
Pierre Hyvernat

Dependent Type Checking with Proved Equations
Yorck Hunke

Universes for Generic Programming and Universal Algebra (slides)
Marcin Benke

A Logical Framework with Dependently Typed Records (paper, slides)
Randy Pollack

Sense and Sensibility (A Pragmatic Approach to Dependently Typed Programming) (slides)
Conor McBride

15.45 - 16.15:


16.15 - 17.15: chaired by Martin Hofmann

Steering Committee Meeting


The workshop will be at the following venue:

Rutland Square Hotel
St James's Street
Nottingham NG1 6FJ
United Kingdom
Phone: 0115 941 1114

The Rutland Square Hotel is located the historic heart of Nottingham city centre, near the entrance to Nottingham Castle. A detailed map of the city centre is available here, in which the castle is located in the bottom left corner.

The workshop sessions will be held in the Rutland Suite in the hotel conference centre, which is located directly across the road from the hotel entrance. Coffee breaks will be taken down the stairs in the Terrace Bar of the conference centre, and lunch will be taken across the road in Woods Restaurant of the hotel.

NOTE: The workshop was originally to be held at the University of Nottingham, but was moved to the larger venue above as a result of the high demand for participation. If any participants had already booked a hotel near to the University, there are direct buses to the city centre every 5-10 minutes, and the journey takes 10 minutes.


In terms of presentation facilities, there will be an overhead projector, screen, flipchart and pens, and a colour data projector that can be connected to your own laptop. Unfortunately, we are not able to provide a default laptop for presentations. Participants planning to use the data projector are requested to have acetate copies of their slides as a backup in case of technical problems or equipment failure.

No computing facilities or internet access is available at the workshop itself, but there is an internet cafe a few minutes walk from the workshop venue that is open daily from 07.30 until at least 20.30 and often later:

Alphanet Cafe
4 Queen Street
Nottingham NG1 2BL
Phone: 0115 956 6988

The cost is two pounds for half an hour, and it is also possible to connect your own laptop to the internet here, for which there is a setup cost of one pound. If asking for directions, the cafe is located opposite the Post Office near the Market Square.

Getting Here

By air: Nottingham is around 30 minutes by taxi or bus from East Midlands airport, which has direct scheduled flights to many European destinations, including Aberdeen, Alicante, Amsterdam, Barcelona, Belfast, Brussels, Cork, Dublin, Edinburgh, Faro, Geneva, Glasgow, Isle of Man, Jersey, Malaga, Munich, Milan, Murcia, Nice, Palma, Paris, Paphos, Prague, Salzburg, Toulouse and Venice. Those without a direct flight should be able to make the journey with a single change, or may prefer to fly to Birmingham, Manchester, or Heathrow airports and then take the train to Nottingham. If you will be flying to East Midlands airport please book your ticket as soon as possible, as most of the carriers are budget airlines whose cheap flights are very popular. Online timetables and booking and available for most flights, via the above links.

By train or bus: The workshop venue is just a few minutes by taxi or a 10 minute walk from the train and bus stations in Nottingham city centre. Online timetables and booking are available for both trains and buses.

By car: The workshop venue is most easily reached from junctions 24, 25 or 26 of the M1. Upon leaving the motorway, follow the signs to Nottingham city centre, and once in the city follow the brown tourist information signs to Nottingham Castle. Upon arrival at the entrance to the castle, follow the road around to the right and you will see the entrance to the Rutland Square Hotel. There is a secure car park with around 500 spaces right next to the hotel. There is a charge for using the car park, but workshop participants will receive 8 hours of free parking per day if they notify the hotel reception upon arrival and before parking.

Getting Around

Once in Nottingham city centre, walking should suffice for the duration of the workshop. But in case you require a taxi during the workshop, here are some local numbers:

Central Taxi: 0115 975 2222
DG Taxi: 0115 960 7607
County Taxi: 0115 942 5425

Taxi's are normally just phoned on demand and usually arrive within 10-15 minutes, but during the morning and evening rush hours, as well as Friday and Saturday evenings, it is a good idea to make an advanced booking.


If you will require accomodation, please make your own arrangements directly with a hotel. Here are some suggestions, all of which are located in the city centre at most a few minutes walk from the workshop venue:

Hotel: Rutland Square Hotel, St James's Street, Nottingham NG1 6FJ
Cost: From 65 pounds per night (special negotiated rate)
Phone: +44 (0)115 941 1114

Hotel: Citilodge, Wollaton Street, Nottingham NG1 5FW
Cost: From 64 pounds per night
Phone: +44 (0)115 912 8000

Hotel: The Strathdon Hotel, 44 Derby Road, Nottingham NG1 5FT
Cost: From 62 pounds per night (special negotiated rate)
Phone: +44 (0)115 941 8501

Hotel: Travel Inn Metro, Goldsmith Street, Nottingham NG1 5LT
Cost: From 58 pounds per night
Phone: +44 (0)870 238 3314

Hotel: Comfort Hotel Nottingham, George Street, Nottingham NG1 3BP
Cost: From 55 pounds per night (special negotiated rate)
Phone: +44 (0)115 947 5641

Approximate locations can be obtained by entering a postcode here.


The workshop banquet will be at 7.00pm on the evening of Wednesday 26th March at the following venue:

4550 Miles From Delhi
Maid Marion Way / Mount Street
Nottingham NG1 6HE
Phone: 0115 947 5111

The restaurant is located just around the corner from the workshop venue. The evening will comprise a gourmet banquet of Indian savouries, starters, and main courses, including vegetarian options. Additional drinks beyond those provided with the meal can be purchased from the restaurant bar at your own expense. Extra places at the banquet can be booked for partners or otherwise at a cost of 25 pounds per place, and must be paid for in advance as part of the registration process.

Tourist Information

For those wishing to explore the local area or extend their stay, here is a detailed map of Nottingham city centre, here is a guide to the city, and here is a guide to the wider area of Nottinghamshire.

In terms of restaurants, there is a huge variety of choice in Nottingham city centre. Either just take your pick, or ask at the reception of the workshop venue if you have specific requests. However, if you are looking for somewhere special, here are a few recommendations, all of which are within five minutes walk of the workshop venue; ask at the reception for directions:

Restaurant: Hart's
Address: Standard Court, Park Row, Nottingham NG1 6GN
Phone: 0115 911 0666
Style: Modern British and French
Price: Around 25 pounds per person, excluding drinks
Note: Best restaurant in the city centre; booking essential

Restaurant: Sonny's
Address: 3 Carlton Street, Nottingham NG1 1NL
Phone: 0115 947 3041
Style: Modern British and French
Price: Around 25 pounds per person, excluding drinks
Note: Comparable to Hart's, but perhaps more informal; booking advisable

Restaurant: Merchant's
Address: 29/31 High Pavement, Nottingham NG1 1HE
Phone: 0115 958 9898
Style: Brasserie
Price: Around 20 pounds per person, excluding drinks
Note: Located in the historic lace market area; booking advisable

Restaurant: Pretty Orchid
Address: 12 Pepper Street, Bridlesmith's Gate, Nottingham NG1 2GH
Phone: 0115 958 8344
Style: Thai
Price: Around 20 pounds per person, excluding drinks
Note: Best Thai in the city centre, informal atmosphere