We are looking for papers on the application of formal methods to pervasive computing, for a workshop at FM‘11. (Full disclosure: I’m the keynote speaker.)

Formal Methods for Pervasive Systems [Pervasive@FM2011]

A workshop held as part of FORMAL METHODS 2011 DEADLINE: 20th March 2011

WORKSHOP TOPICS

Logics, Process calculi, Automata, Specification languages, Probabilistic analysis, Model checking, Theorem-proving, Tools, Automated deduction FOR THE privacy, behaviour, security, reliability, interoperability, context-aware, mobility, resource requirements, temporal ASPECTS OF pervasive healthcare systems, sensor networks, e-commerce, cloud computing, MANETs/VANETs, telephony, device swarms, electronic tags, human-device interaction, etc.

SUBMISSIONS

Our aim is to have productive discussions and a true workshop “feel”. Thus, we invite two kinds of submission:
  1. Original research papers concerning any of the above topics; or
  2. Survey papers providing an overview of some of the above topics.
Submissions should be written in English, formatted according Springer LNCS style, and not exceed 20 pages in length. Submissions must be made via Easychair. Our aim is for an informal proceedings based on these submissions to be available during the workshop. Depending upon the success of the workshop, we intend to produce an edited book based (at least in part) upon the contributions or develop a special issue of a journal.

IMPORTANT DATES

Submission deadline:          20th March 2011 Notification of acceptance:    1st May 2011 Pre-proceedings version due:  20th May 2011 Workshop:                     20th or 21st June, 2011

INVITED SPEAKER

Simon Dobson (School of Computer Science, University of St. Andrews)

WORKSHOP CO-CHAIRS

Michael Fisher    (University of Liverpool, UK) Brian Logan       (University of Nottingham, UK)

PROGRAMME COMMITTEE

Natasha Alechina    (Nottingham, UK) Myrto Arapinis      (Birmingham, UK) Mohamed Bakhouya    (Belfort, FR) Doina Bucur         (INCAS3, NL) Michael Butler      (Southampton, UK) Muffy Calder        (Glasgow, UK) Antonio Coronato    (CNR, IT) Soren Debois        (Copenhagen, DK) Giuseppe De Pietro  (CNR, IT) Marina De Vos       (Bath, UK) Simon Dobson        (St Andrews, UK) Michael Fisher      (Liverpool, UK) Michael Harrison    (Newcastle, UK) Savas Konur         (Liverpool, UK) Brian Logan         (Nottingham, UK) Alessio Lomuscio    (Imperial, UK) Ka Lok Man          (XJTLU, CN) Julian Padget       (Bath, UK) Anand Ranganathan   (IBM, USA) Alessandro Russo    (Imperial, UK) Mark Ryan           (Birmingham, UK) Chris Unsworth      (Glasgow, UK) Kaiyu Wan           (XJTLU, CN)

STEERING COMMITTEE

Natasha Alechina    (University of Nottingham, UK) Muffy Calder        (University of Glasgow, UK) Michael Fisher      (University of Liverpool, UK) Brian Logan         (University of Nottingham, UK) Mark Ryan           (University of Birmingham, UK)