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.