The full version of this announcement is available.
The Xmas Workshop of the Formal Aspects Special Interest Group of the British Computer Society is a well-established event, which has traditionally served to the FACS community a varied and interesting diet of topics related to formal aspects of computing.
The aim of this workshop is to cover a wide range of current work in Semantics, including reviews, tutorials, amd reports of work in progress. The two principal foci are Semantics of Computation, and Semantics as Meaning. Understanding computation could be seen as the longest or largest endeavour in real-world semantics in computing, and this provides a strong connection between the two aspects of the programme.
Semantics and Logic of Computation is of course currently very active and fruitful, especially with the input from CLiCS and other European funded projects. Keynote presentations will convey to the FACS audience substantial aspects of current work, and this will be complemented by shorter presentations on more specialized areas and work in progress. We invite abstracts of presentations which are reviews, tutorials, or reports of work in progress, and hope to have all these kinds in the programme.
To complement this focus, we invite contributions from a wide range of semantic enterprises concerned in some way with meaning in real world or system development terms. Examples include work concerned with data, interaction, real-time, application domain concepts etc.
Abstracts should be submitted the organizer to arrive not later than end of July. Selected speakers will be informed early September.
Schedule: End July: Closing date for submitted abstracts; Early September: Invite selected abstractors to prepare paper for workshop. 20 November: Closing date for CRC for proceedings; 18/19 December: Workshop, at Imperial College.
Kevin Lano; Department of Computing; Imperial College of Science
Technology and Medicine; 180 Queen's Gate; London; SW7 2BZ; UK
Tel: 0171 594 8246; Fax: 0171 581 8024; Email: kcl@doc.ic.ac.uk