Agents Lab

News: registration information and a provisional programme are now available.

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.

Invited speakers

A provisional programme is now available.

Important Dates

Registration

Registration is £40.00 (includes lunch and tea/coffee on the 14th and 15th). Limited bursaries are available for UK PhD students with an accepted abstract.

Please complete the registration form below (if you are paying by credit/debit card, then please also complete the card payment details section; if you are eligible for a bursary, please do not complete the Payment section):

• plain text format
• rich text format
• pdf format

Please post, fax or email the form to:

Liz Clunie
Finance Officer
School of Computer Science
University of Nottingham
Jubilee Campus
Wollaton Road
Nottingham NG8 1BB, UK

Fax: +44 (0) 115 9514254
Email: liz.clunie (at) nottingham.ac.uk

If paying by cheque, please make the cheque payable to The University of Nottingham and post it, together with your registration form, to the address above.

If paying by bank transfer, the details are:

Bank Name: NatWest
Bank Address: University Park, Nottingham NG7 2AG, UK
Branch Sort Code: 60-15-49
Branch Swift: NWBKGB2L
IBAN Number: GB42NWBK6015 4988 9700 00
Bank Account Number: 88970000
Bank Account Name: University of Nottingham
VAT Number: 690 3912 25
Reference: FAUS 2009 workshop

Workshop Location

The workshop will be held in Room 120, Sir Alexander Fleming Building, Imperial College London. This is on the South Kensington Campus. A map and travel directions can be found here. The Sir Alexander Fleming Building is number 33 on the map, and the entrance is on Imperial College Road.

Worksop Organisers