posted by user: walkmanyi || 1970 views || tracked by 4 users: [display]

Pervasive @ FM 2011 : Formal Methods for Pervasive Systems


When Jun 20, 2011 - Jun 20, 2011
Where Limerick, Ireland
Submission Deadline Mar 20, 2011
Notification Due May 1, 2011
Final Version Due May 20, 2011
Categories    pervasive systems   logics   formal methods   artificial intelligence

Call For Papers


"Formal Methods for Pervasive Systems [Pervasive@FM2011]"

A Workshop held as part of FORMAL METHODS 2011 --

DEADLINE: 20th March 2011

[ See{pdf,html,txt} ]

Logics, Process calculi, Automata, Specification languages,
Probabilistic analysis, Model checking, Theorem-proving, Tools,
Automated deduction


privacy, behaviour, security, reliability, interoperability,
context-aware, mobility, resource requirements, temporal


pervasive healthcare systems, sensor networks, e-commerce, cloud
computing, MANETs/VANETs, telephony, device swarms, electronic tags,
human-device interaction, etc.

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

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.

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

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

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

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)

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)

Related Resources

QEST 2019   16th International Conference on Quantitative Evaluation of SysTems
IJCAI 2019   International Joint Conference on Artificial Intelligence
PMC Blockchain 2019   Pervasive and Mobile Computing: Special issue on Blockchain Technology and Applications
ICDMML 2019   【ACM ICPS EI SCOPUS】2019 International Conference on Data Mining and Machine Learning
PerFoT 2019   2019 International Workshop on Pervasive Flow of Things (Co-located with IEEE PerCom 2019)
ISCSAI 2018   2018 International Symposium on Computer Science and Artificial Intelligence
PerCrowd 2019   2nd International Workshop on Context-Awareness for Multi-Device Pervasive and Mobile Computing (co-located with IEEE PerCom 2019)
ICML 2019   36th International Conference on Machine Learning
PerIoT 2019   Thrid International Workshop on Mobile and Pervasive Internet of Things (co-located with IEEE PerCom 2019)
CAIP 2019   Computer Analysis of Images and Patterns