[agents] CfP: Workshop on Formal Approaches to Ubiquitous Systems ...

[Brian Logan]

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 will 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 will  
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 (University of Glasgow)
Michael Fisher (University of Liverpool)
Marta Kwiatkowska (University of Oxford)
Derek McAulay (University of Nottingham / University of Cambridge)
Robin Milner (University of Edinburgh / University of Cambridge)
Alessandra Russo (Imperial College)

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 (UK) PhD students. Please email  
submissions (preferably in pdf or plain text format) to faust09 at cs.nott.ac.uk

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

Workshop Organisers:

Natasha Alechina (University of Nottingham)
Brian Logan (University of Nottingham)




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.