Call for participation: ICFEM 2011: 13th International Conference on Formal Engineering Methods

[Jonathan Bowen]

************************************************************
ICFEM 2011:
13th International Conference on Formal Engineering Methods
CALL FOR PARTICIPATION
26-28 Oct 2011
Radisson BLU Hotel, Durham, UK
URL: http://www.scm.tees.ac.uk/icfem2011
************************************************************

Since 1997, ICFEM has provided a forum for those interested in
the application of formal engineering methods to computer
systems. Researchers and practitioners, from industry,
academia, and government, are encouraged to attend, and to help
advance the state of the art. We are interested in work that has
been incorporated into real production systems, and in
theoretical work thatpromises to bring practical, tangible
benefit.

ICFEM 2011 is organised by Teesside University and will be held
in the historic Durham City in the North East of England
(http://www.thisisdurham.com/).


AREA AND TOPICS

Submissions related to the following principal themes are
encouraged, but any topics relevant to the field of formal
methods and their support environments will also be considered:

* Abstraction and refinement
* Formal specification and modelling
* Software verification
* Program analysis
* Software model checking
* Formal approaches to software testing
* Formal methods for object and component systems
* Concurrency and software transaction memory
* Formal methods for cloud computing
* Software inspection
* Formal methods for cyber-physical systems
* Tool development and integration
* Software safety, security and reliability
* Experiments involving verified systems
* Applications of formal methods
* Formal model-based development and code generation


INVITED SPEAKERS

Jifeng He, East China Normal University
Peter O'Hearn, Queen Mary University of London
Shaz Qadeer, Microsoft Research

Titles and abstracts of invited talks are now available online at
http://www.scm.tees.ac.uk/icfem2011/keynotes.html


CONFERENCE PROGRAM

The conference program is now available online at

http://www.scm.tees.ac.uk/icfem2011/programme.html


CONFERENCE REGISTRATION AND ACCOMMODATION

The conference registration site is open:
http://www.scm.tees.ac.uk/icfem2011/registration.html

Please register before 26th September 2011 to enjoy the early
registration rate.

Information about accommodation is also available on the
registration page.


ORGANIZATION COMMITTEE

Honorary Chairs:

Marc Cavazza, Teesside University
Cliff Hardcastle, Teesside University

General Chairs:

Phil Brooke, Teesside University, UK
Cliff Jones, Newcastle University, UK

Program Chairs:

Shengchao Qin, Teesside University, UK
Zongyan Qiu, Peking University, UK

Program Committee:

Bernhard K. Aichernig (Graz University of Technology, Austria)
Keijiro Araki (Kyushu University, Japan)
Farhad Arbab (CWI and Leiden University, The Netherlands)
Richard Banach (University of Manchester, UK)
Nikolaj Bjorner (Microsoft Research Redmond, USA)
Jonathan P. Bowen (University of Westminster, UK)
Michael Butler (University of Southampton, UK)
Andrew Butterfield (Trinity College Dublin, Ireland)
Ana Cavalcanti (University of York, UK)
Aziem Chawdhary (University of Edinburgh, UK)
Wei-Ngan Chin (National University of Singapore, Singapore)
Florin Craciun (Soter Sys, Romania)
Thao Dang (French National Center for Scientific Research, France)
Jim Davies (Oxford University, UK)
Dino Distefano (Queen Mary College, University of London, UK)
Jin-Song Dong (National University of Singapore, Singapore)
Zhenhua Duan (Xidian University, China)
Colin Fidge (Queensland University of Technology, Australia)
J. S. Fitzgerald (Newcastle University, UK)
Leo Freitas (Newcastle University, UK)
Joaquim Gabarro (Universitat Politecnica de Catalunya, Spain)
Stefania Gnesi (ISTI-CNR, Italy) Anthony Hall (Consultant)
Ian J. Hayes (The University of Queensland, Australia)
Mike Hinchey (Lero, Ireland)
Zhenjiang Hu (National Institute of Informatics, Japan)
Michael Jackson (Consultant)
Thierry Jeron (INRIA , France)
Gerwin Klein (NICTA, Australia)
Laura Kovacs (Vienna University of Technology, Austria)
Kim G. Larsen (Aalborg University, Denmark)
Peter Gorm Larsen (Aarhus University, Denmark)
Michael Leuschel (Heinrich-Heine Universitat Dusseldorf, Germany)
Xuandong Li (Nanjing University, China)
Shaoying Liu (Hosei University, Japan)
Zhiming Liu (UNU/IIST, Macau)
Tiziana Margaria (University of Potsdam, Germany)
Dominique Mery (Nancy University and LORIA, France)
Stephan Merz (INRIA Nancy & LORIA, France)
Huaikou Miao (Shanghai University, China)
Peter Mueller (ETH Zurich, Switzerland)
Jun Pang (University of Luxembourg, Luxembourg)
Matthew Parkinson (Microsoft Research Cambridge, UK)
Geguang Pu (East China Normal University, China)
Shengchao Qin (Teesside University, UK)
Zongyan Qiu (Peking University, China)
Augusto Sampaio (Universidade Federal de Pernambuco, Brazil)
Thomas Santen (Microsoft Innovations Center Aachen, Germany)
Wuwei Shen (Western Michigan University, USA)
Marjan Sirjani (Reykjavik University, Iceland)
Bill Stoddart (Teesside University, UK)
Jing Sun (University of Auckland, New Zealand)
Jun Sun (Singapore University of Technology and Design, Singapore)
Meng Sun (Peking University, China)
Kenji Taguchi (AIST, Japan)
Tetsuo Tamai (University of Tokyo, Japan)
Yih-Kuen Tsay (National Taiwan University, Taiwan)
T.H. Tse (University of Hong Kong, Hong Kong)
Viktor Vafeiadis (MPI-SWS, Germany)
Miroslav Velev (Aries Design Automation, USA)
Laurent Voisin (Systerel, France)
Hai H. Wang (Aston University, UK)
Ji Wang (National University of Defense Technology, China)
Linzhang Wang (Nanjing University, China)
Heike Wehrheim (University of Paderborn, Germany)
Jim Woodcock (University of York, UK)
Wang Yi (Uppsala University, Sweden)
Hongli Yang (Beijing University of Technology, China)
Naijun Zhan (Chinese Academy of Sciences, China)
Jian Zhang (Chinese Academy of Sciences, China)
Hong Zhu (Oxford Brookes University, UK)
Huibiao Zhu (East China Normal University, China)


Steering Committee

Keijiro Araki, Japan
Jin Song Dong, Singapore
Chris George, Canada
Jifeng He, China
Mike Hinchey, Ireland
Shaoying Liu (Chair), Japan
John McDermid, UK
Tetsuo Tamai, Japan
Jim Woodcock, UK


--
Prof. Jonathan Bowen
Emeritus Professor, London South Bank University
Visiting Professor, University of Westminster
Chairman, Museophile Limited
http://www.jpbowen.com