CFP: Workshop on Formal Approaches to Ubiquitous Systems

[Natasha Alechina]

Call for contributed talks/abstracts

Workshop on Formal Approaches to Ubiquitous Systems (FAUSt 2009)
London, 14-15 September 2009

A key challenge in ubiquitous computing is identifying and developing 
appropriate formal approaches for understanding, designing and 
implementing ubiquitous systems. However applications which must 
interact with heterogeneous devices in multiple contexts and/or whose 
implementation may span multiple devices with widely differing resource 
constraints pose significant difficulties for current analysis, design 
and verification methodologies. While some of these issues have been 
addressed in previous work, their combination and interaction presents 
significant new challenges.

The workshop aims to bring together researchers from the ubiquitous 
computing and formal methods communities to determine how the current 
state of the art in formal methods can be applied to ubiquitous 
computing, and to map out key research questions and future directions 
for formal approaches to ubiquitous systems.

Topics of interest include (but are not limited to):

  * what sorts of (formal) system properties are of interest to the 
ubicomp community;
  * what sorts of formal models and techniques are appropriate for 
modelling context, mobility and resource constraints;
  * which verification techniques are appropriate for ubiquitous systems

The two day workshop would feature a mixture of invited talks and 
submitted contributions describing current work or work in progress in 
ubiquitous computing; applications of formal analysis to some aspect of 
ubiquitous computing or similar systems (e.g. verification of sensor 
networks); and other formal approaches which are likely to be relevant 
(e.g., logics of resource bounds, context logics, verification of mobile 
or real time systems). In addition, there would be a panel session to 
identify possible synergies (and collaborations) in current work and to 
map out key questions for future research.

We have preliminary confirmation from the following invited speakers:

Muffy Calder (Glasgow)
Michael Fisher (Liverpool)
Marta Kwiatkowska (Oxford)
Derek McAulay (Nottingham/Cambridge)
Robin Milner (Edinburgh/Cambridge)
Alessandra Russo (Imperial)


We invite the submission of two-page extended abstracts about recent 
work or work  in  progress.  The abstract  can  describe work  that  has 
  already  been    published elsewhere. Limited bursaries are available 
to support the attendance of PhD students.

Important Dates:

Abstract submission:                    27 July 2009
Notification of acceptance/rejection:   10 August 2009
Version for informal proceedings:       31 August 2009
Workshop:                               14-15 September 2009




This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.