MIKES 2006 - Call for Papers

Ihor Kuz ihor.kuz at nicta.com.au
Wed May 3 10:49:20 CEST 2006

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).


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


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


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


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,

More information about the l4-hackers mailing list