First annual meeting of
ESPRIT WG APPSEM
The 1st annual meeting of the ESPRIT WG APPlied
SEMantics is held in Pisa in conjunction with the SAS/PLILP/ALP'98
(14-18 September 1998) and several other satellite events.
14-16 September 1998, Pisa, Italy
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.
- Scientific organization:
- Topic Sessions (topic leaders)
A: Semantics for object-oriented programming
B: Program structuring
C: Integration of functional languages and proof assistants
D: Verification methods
E: Automatic program transformation
F: Games, sequentiality, and abstract machines
G: Types and type inference in programming
H: Semantics-based optimisation
I: Domain theory and real number computation
- Special Sessions (persons in charge)
Monday 14 September: panel discussion with industrial sites
Tuesday 15th September: brain-storming session
Wednesday 16th September: business meeting
Last Updated: 10 November 1998
by Eugenio Moggi