MIKES 2007: First International Workshop on MicroKernels for Embedded Systems
Contents
Workshop Location
The workshop will be held on Tuesday, 16 January 2007 in the seminar room on level 1 at:
National ICT Australia
Neville Roach Lab
223 Anzac Parade
Kensington NSW 2052
Note: This is on the west side of Anzac Parade (across the street from the UNSW campus), halfway between Barker Street and Day Avenue. Take the south entrance (south of the big stairs) and the lift to level 1.
Here is a map showing the location.
Practical Workshop Information
The following is information regarding what you need to do to come to Australia (Visa) and what you can do out and about in Australia.
- Travel Tips
- Accommodation in Sydney
- A visa is required for most visitors to Australia. The easiest way to get a visa is to apply for an ETA. You can find out whether your are eligible for an ETA on this page. If you need help to obtain a visa to come to the workshop, please contact Stefan M. Petters.
- Contact Us
Call for Papers: MIKES 2007
First International Workshop on MicroKernels for Embedded Systems
To be held on 16th of January 2007 Sydney, Australia, co-located with LinuxConf Australia
Microkernels are experiencing an increased popularity in the field of embedded systems, be it small devices with severe restrictions in memory and CPU or powerful embedded systems making use of their virtualisation capabilities. Despite a period of low popularity a decade ago, there is a new realisation, in academia and industry, of the usefulness of microkernels. 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 2007 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
- functional verification
- portability
- API proposals
- security and safety
Papers describing new ideas, promising approaches, experiences with practical systems are considered particularly appropriate. Submissions should be 6 pages in IEEE conference paper format.
Pre-submission of abstracts is requested. The (soft) deadline for submission of abstracts is October 14th.
The material must be unpublished and not under submission elsewhere. Proceedings will be published as a technical report (with ISSN) by National ICT Australia (NICTA).
Important Dates:
Submission of abstracts (soft) deadline: October 14th
Submission of papers deadline: October 21st
Notification of acceptance: November 13th
Camera ready papers: December 15th
Organisers:
Gernot Heiser, NICTA/UNSW, Australia
Stefan M. Petters, NICTA/UNSW, Australia
Ihor Kuz, NICTA/UNSW, Australia
Program Commitee:
Kevin Elphinstone, NICTA/UNSW, Australia (Chair)
Andrew Tanenbaum, 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 Schönberg, Intel, Hillsboro, USA
Volkmar Uhlig, IBM Watson, USA