+---------------------------------------------------------------------+ CALL FOR PARTICIPATION 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: http://www.cs.nott.ac.uk/~gmh/appsem03.html APPSEM-II working group: http://www.tcs.informatik.uni-muenchen.de/~mhofmann/appsem2/ Fun of programming symposium: http://web.comlab.ox.ac.uk/oucl/research/areas/ap/fop/ 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 | +---------------------------------------------------------------------+