Subject: Libre Software Meeting // Operating Systems
To: None <tech-kern@NetBSD.org>
From: Thomas Petazzoni <thomas.petazzoni@enix.org>
List: tech-kern
Date: 06/10/2005 14:49:39
The Libre Software Meeting (LSM) is a yearly event that has been
organized since the year 2000 by the French Free Software Community. LSM
will take place this year in Dijon, from July 5th to July 9th.  It
gathers people from various regions of the world, and comprises both
technical conferences where Free Software developers meet and discuss,
and societal talks about ethical and legal issues relevant to the Free
Software Movement.  Access to the conference is free (as in "free
speech") and free (as in "free beer").  More information is available
from the LSM website:

   http://libresoftwaremeeting.org/

The "Operating System Design and Implementation" topic this year will
gather a wide range of developers and researchers in this area.  A full
program is available online:

   http://libresoftwaremeeting.org/sections/conference/noyau_et_systeme/
   http://thomas.enix.org/pub/rmll2005/rmll2005-os-program-en.pdf

The topics that will be discussed include:

   o the design of flexible OSes, namely the GNU Hurd (by Gaël le
     Mignot), Plan 9 (by Charles Forsyth) and the THINK framework (by
     Juraj Polakovic);

   o improving OS security by design, in EROS (by Jonathan Shapiro, Johns
     Hopkins University) and in the port of the GNU Hurd to the L4
     microkernel (by Marcus Brinkmann);

   o dependability, using open proofs in Coyotos (by Jonathan Shapiro) or
     through device driver isolation (by Joshua LeVasseur, Universität
     Karlsruhe);

   o resource management, in particular a novel approach for the GNU Hurd
     on L4 (by Neal Walfield), an evaluation of the Linux memory
     management subsystem (by Mel Gorman), and the "scheduler activation"
     abstraction as a foundation for user-level parallelism (by Vincent
     Danjean);

   o virtualization with User-Mode-Linux (by Jeff Dike);

   o distributed OSes, namely Kerrighed (by Christine Morin, Renaud
     Lottiaux and Pascal Gallard) and openMosix (by Moshe Bar);

   o the use of high-level and special-purpose programming languages in
     OSes (by Julia Lawall, Ewout Prangsma, Frode Vatvedt Fjeld, Jérémy
     Bobbio and Xavier Grave);

   o the implementation of an OS step-by-step (by David Decotigny and
     Thomas Petazzoni).


Proceedings will be available online after the conference.  For more
information, please email us at <thomas.petazzoni@enix.org> and
<ludovic.courtes@laas.fr>.
-- 
Thomas Petazzoni
thomas.petazzoni@enix.org