(sigemb-info 231) ForVUS2008 CFP

[Shuichi Oikawa <shui@xxxxxxxxxxxxxxxx>]

The 1st International Workshop on Formal Verification and
Validation of Ubiquitous Systems (CFP)
April 24 - 26, 2008Hanwha Resort Haeundae, Busan, Korea.
http://home.hio.no/~demissie/ForVUS2008/

Overview
Ubiquitous computing system (UCS) is a post-desktop model of
human-computer interaction in which information processing has been
thoroughly integrated into everyday objects and activities. The
environment consists of autonomous and context-aware agents embedded in
to small, inexpensive, robust and networked processing devices
distributed at all scales throughout our everyday life. As opposed to
the desktop paradigm, in which a user engages a single device for a
specialized purpose, a user of UCS engages various computational devices
and systems simultaneously, in the course of ordinary activities,
without even being aware of that. With such a heterogeneous
infrastructure of large number of autonomous devices, programming each
device individually and verifying the programs will be a tedious, costly
and error prone task.

?	Verifying UCS programs is even more important for security reasons
since such systems are deployed to control the human environments;
?	Issues related to post-deployment maintainability, new versions of
software for old devices, code mobility, dynamic upgrading etc;
?	A need for a common and standard architectural model for UCS environments;
?	Formal semantics for the major elements and the infrastructure of UCS
is missing, consequently V&V are performed in an ad-hoc fashion; and
?	Communication infrastructures like WAN and the Internet protocol
could be used in the development of UCS.

Verification and validation (V&V) of UCS in a dynamic environment -
changing
device configuration, mobile code, and often changing requirements - is
more challenging. Formal V&V has a significant contribution in
addressing the major challenges. Yet, conventional V&V techniques may
not be applied to UCS, at least without a significant adaptation.
Hence, it is necessary and timely to pull together research efforts of the
Formal Methods and the UCS communities towards establishing an
integrated platform for a precise development of UCS. The workshop will
be a forum for discussing latest results and open issues in the area of
UCS and will publish high quality papers in the area. Anticipated
outcome of the workshop are, among others:
?	A common (standard) framework, platform and language for semantic
definitions of UCS as a foundation for formal specification and
verification of such systems;
?	Ontology for UCS environment that enhances knowledge representation
and transfer among the autonomous agents; and
?	A platform that is based on Web Services and Internet protocol for
the development of UCS using infrastructures underlying these
technologies.

Topics (included, but not limited to):
?	Ontology for ubiquitous computing environments
?	Specification and verification of ubiquitous systems
?	Protocols and business models for ubiquitous services
?	Context-awareness, knowledge representation and transfer
?	Ontology for ubiquitous computing
?	Code mobility, dynamic upgrading and associated security issues
?	Autonomic computing and ubiquitous computing
?	Emerging standards and technologies
?	The SOA for the development of UCS
?	Use of Web Services and Internet protocols as infrastructures
for the development of UCS
?	Efficient protocols for UCS environments
?	Impacts of using the Internet protocol, or a newly developed
communication infrastructures and protocols
?	Knowledge representation and transfer technologies to enhance
QoS of ubiquitous computing

General Co-chairs
- Mieso Denko, University of Guelph, Canada
- Frode E. Sandnes, Oslo University College, Norway

Workshop Co-chairs
- Demissie B. Aredo, Oslo University College, Norway
- Isabelle Simplot-Ryl, CNRS/INRIA/University of Lille1, France

Publicity Co-chairs
   - Jong Sou Park, Korea Aerospace University, Korea
   - Tatsuo Nakajima, Waseda University, Japan

Program Committee
- Ana Pont Sanjuan, Polytechnic University of Valencia, Spain
- Antoine B. Bagula, University of Cape Town, South Africa
- Charlie Obimbo, University of Guelph, Canada
- Chunming Rong, University of Stavanger, Norway
- Dong S. Kim, University of Maryland College Park, USA
- Eduard Babulak, Fairleigh Dickinson University, Canada
- Einar B. Johnsen, University of Oslo, Norway
- Evi Syukur, Monash University, Australia,
- Issa Traore, University of Victoria, Canada
- Jean-Marc Talbot, University of Provence, France
- Jeremy Bryans, University of Newcastle, UK
- Jianhua Ma, Hosei University, Japan
- Jong Sou Park, Korea Aerospace University, Korea
- Luigi Logrippo, Universite du Quebec en Outaouais, Canada
- Marcello M. Bonsangue, Leiden University, Netherlands
- Mark Burgess, Oslo University College, Norway
- Paola Flocchini, University of Ottawa, Canada

Important dates
- Paper Submission deadline: December 5, 2007
- Acceptance notification: January 10, 2008
- Camera-ready due: January 31, 2008.

Authors’ Instruction
Authors are invited to submit original papers: they must not substantially
duplicate work that any of the authors have published elsewhere or have
submitted in parallel to any other conferences that have proceedings.
The submission of contributions to ForVus’08 occurs via MUE2008 Website.
Paper must be prepared with PDF. Please use IEEE CS paper format
(download templates: MS-WORD, LaTeX). Submissions must not exceed 6
pages, including tables and figures. Submission of a paper implies that,
should the paper be accepted, at least one of the authors will register
and present the paper at the conference.

Proceedings
Accepted papers will be included in the conference proceeding published by
IEEE CS. The proceedings will be available at the conference. At least
one author of an accepted paper must register at the conference site and
present the paper at the workshop.

Further Information
For further information regarding the workshop and paper submission, please
contact ForVUS’08 Publicity Co-chairs
Jong Sou Park jspark@xxxxxxxxx, and
Tatsuo Nakajima tatsuo@xxxxxxxxxxxxxxxxxxxxx
-- 
追川修一 <shui@xxxxxxxxxxxxxxxx>
筑波大学大学院　システム情報工学研究科
コンピュータサイエンス専攻