This focussed attention on recent developments in the semantics of functional languages, in particular, exploring in depth such topics as: game semantics and intensional full abstraction, new work on sequentiality, in particular, strong stability, the use of logical relations in reasoning and refining models, as well as related problems to do with local state.
The workshop succeeded in attracting most of the experts in the area, participants including: Abramsky, Bucciarelli, Curien, Coquand, Ehrhard, Gandy, Geva, Jagadeesan, Jung, Malacaria, Nickau, O'Hearn, Ong, Pani, Pitts, Riecke, Sazonov, Sieber, Stoughton. Based on the workshop, a collection of open problems is being assembled, along with the following collection of relevant literature. Please see the list of references and list of references with abstracts.
![[BRICS symbol]](../GIF/BRICS/msymbol8mm.GIF)
BRICS home page