+---------------------------------------------------------------------+ FIRST ANNOUNCEMENT AND CALL FOR PARTICIPATION First APPSEM-II Workshop 26th - 28th March 2003 Nottingham, United Kingdom The first annual workshop of the IST working group APPSEM-II (Applied Semantics II) will be held at the University of 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: OO programming, modules (Didier Remy); 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, and a business meeting. Following on from the workshop an informal proceedings will be published on the web. Further details regarding registration, accommodation, travel, etc will be available shortly. In the meantime, if you would like to attend the workshop, please email [log in to unmask] by FRIDAY 31ST JANUARY. If you would like to give a talk, please also include a title, short abstract (and paper if available), and a list of the themes to which it is relevant in order from most to least. 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 attend both events. Useful links: APPSEM-II working group: http://www.tcs.informatik.uni-muenchen.de/~mhofmann/appsem2/ First APPSEM-II workshop: http://www.cs.nott.ac.uk/~gmh/appsem03.html Fun of programming symposium: http://web.comlab.ox.ac.uk/oucl/research/areas/ap/fop/ Graham Hutton Workshop Organiser +---------------------------------------------------------------------+ | Dr Graham Hutton Email : [log in to unmask] | | 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 | +---------------------------------------------------------------------+