• Programme and List of Participants (and WG members)
• Virtual Proceedings
• Useful Links:
  • APPSEM local information
  • SAS/PLILP/ALP'98 main page
  • Map of Pisa with hotels and conference site
  Announcement: brain storming and business meeting

Programming languages are the material from which every software product is built. They therefore have a huge economic impact: better programming languages will lead to higher programming productivity, reduced maintenance, and increased software reuse. Europe has great strength in programming language research, with many world leaders both in semantic theory and in implementation. The purpose of the WG is to bring these researchers together, with the specific aim of improving the communication between theoreticians and practitioners, and between people with different expertise. In this way we wish to focus theoreticians' attention on important practical problems as well as to speed up the application of new theoretical ideas in practice.

The aim of the meeting is to plan the research and collaboration that should take place in each of the 9 WG topics (for each topic there will be a session organized by the topic leaders). Time will be allocated also for discussion.

• WG coordinator: Peter Dybjer; Local organization: Giorgio Ghelli
• Scientific organization: Eugenio Moggi, Pino Rosolini, Peter Dybjer, John Hughes

• Topic Sessions (topic leaders)
  A: Semantics for object-oriented programming (S. Abramsky, Peter O'Hearn)
  B: Program structuring (Eugenio Moggi, Mark Jones)
  C: Integration of functional languages and proof assistants (T.Coquand, Michel Mauny)
  D: Verification methods (Andy Pitts, Pino Rosolini)
  E: Automatic program transformation (Neil Jones, O. Danvy)
  F: Games, sequentiality, and abstract machines (P.-L. Curien, Thomas Streicher)
  G: Types and type inference in programming (E.Robinson, Mads Tofte)
  H: Semantics-based optimisation (S.Peyton-Jones, John Hughes)
  I: Domain theory and real number computation (Achim Jung, Abbas Edalat)

• Special Sessions (persons in charge)
  Monday 14 September: panel discussion with industrial sites (Nick Benton, Bent Thomsen)
  Tuesday 15th September: brain-storming session (Peter Dybjer)
  Wednesday 16th September: business meeting (Peter Dybjer)