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
Last updated on 12th April 2004
Participants; Programme; Location; Facilities; Getting Here; Getting Around; Accommodation; Banquet; Tourist Information.
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.
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.
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
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
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
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
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
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
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
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
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
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
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.
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.
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.
| 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.
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 |
