MIKES 2006 - Call for Papers

[Ihor Kuz]

Call for Papers: MIKES 2006


First International Workshop on MicroKernels for Embedded Systems


To be held on August 15 2006, in Sydney, Australia, co-located with
the 12th IEEE RTCSA (http://www.rtcsa.org).


Microkernels and microkernel-based operating systems are experiencing
an increased popularity in the field of embedded systems. Despite a
period of low popularity a decade ago, there is a new realisation, in
academia and industry, of the usefulness of microkernels. This is
especially true in the embedded systems domain where the reduced size
and increased dependability of microkernel-based systems have made
them particularly attractive.  The MIKES workshop will bring together
researchers and developers from industry and academia to discuss:

* emerging novel concepts,
* analysis approaches, and
* case studies

in the area of microkernels.


MIKES 2006 seeks papers that describe original research in the area of
microkernels. This includes but is not limited to:

* case studies
* real-time behaviour
* temporal analysis
* formal/functional verification
* portability
* API proposals
* security and safety

Papers describing new ideas, promising approaches, experiences with
practical systems are considered particularly appropriate. Papers will
be 6 pages in IEEE conference paper format.


Papers should be submitted electronically at
http://www.easychair.org/MIKES2006/ in PDF or postscript format. The
material must be unpublished and not under submission
elsewhere. Proceedings will be published as a technical report by
National ICT Australia (NICTA).

IMPORTANT DATES

Please note the submission deadline has been pushed back to
disentangle it from concurrent deadlines.

Submissions deadlines: May 20th
Notification of acceptance: June 12th
Camera ready papers: July 7th

ORGANISERS

Gernot Heiser, NICTA/UNSW, Australia
Stefan M. Petters, NICTA/UNSW, Australia
Ihor Kuz, NICTA/UNSW, Australia

PROGRAM COMMITTEE

Kevin Elphinstone, UNSW, Australia (chair)
Andrew Tannenbaum, Vrije Universiteit, Amsterdam, Netherlands
Gerwin Klein, NICTA/UNSW, Australia
Hermann Haertig, TU Dresden, Germany
Jonathan S. Shapiro, The Johns Hopkins University, USA
Neil Audsley, University of York, UK
Sebastian Schoenberg, Intel, Hillsboro, USA
Volkmar Uhlig, IBM Watson, USA

RELATED EVENTS

Also of interest to some attendees of MIKES might be the International
Workshop on System Verification
(http://www.cse.unsw.edu.au/~formalmethods/events/svws-06/) being held
in Sydney (just before MIKES and RTCSA) on August 7 and 8,
2006.