First APPSEM-II Workshop


		       First APPSEM-II Workshop
			   26-28 March 2003
		      Nottingham, United Kingdom

	       Registration deadline: 26 FEBRUARY 2003

The first annual workshop of  the IST working group APPSEM-II (Applied
Semantics II) will  be held in Nottingham from  26-28 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 leader (in parentheses  above).  There will also be a number
of invited presentations, an industrial panel session, a brainstorming
session, a  business meeting,  and a banquet.   Following on  from the
workshop an informal proceedings will be published on the web.

Further details are available from  the workshop web page (see below).
The registration deadline is  26 FEBRUARY 2003.  Early registration is
advisable, as the  number of places is limited.  Note  that the fun of
programming symposium  in honour of Richard Bird's  60th birthday will
be  held  in  Oxford during  the  two  days  before the  workshop,  so
participants may like to combine both events.

Useful links:

   First APPSEM-II workshop:

   APPSEM-II working group:

   Fun of programming symposium:

Graham Hutton
Workshop Organiser

| Dr Graham Hutton                     Email : gmh@cs.nott.ac.uk      |
| School of Computer Science and IT    Web   : www.cs.nott.ac.uk/~gmh | 
| University of Nottingham                                            |
| Jubilee Campus, Wollaton Road                                       |
| Nottingham NG8 1BB                   Phone : +44 (0)115 951 4220    |
| United Kingdom                       Fax   : +44 (0)115 951 4254    |