[Kos-dev] RMLL // Systèmes d'exploitation

[Thomas Petazzoni]

Salut,

Vous trouverez ci-dessous un petit aperçu du programme du thème « 
Conception et développement des systèmes d'exploitation » des Rencontres 
Mondiales du Logiciel Libre. David Decotigny et moi-même y serons pour 
parler de SOS, et plein d'autres conférences sur les OS et sur d'autres 
sujets y auront lieu.

Je ne peux que vous encourager à participer à un tel évènement. Des 
chambres de Cité U sont disponibles au prix de 17 Euros la nuit, avec 
une réduction pour les étudiants.

Bonne journée !

Thomas

==

Les Rencontres Mondiales pour le Logiciel Libre (RMLL) sont organisées
tous les ans depuis l'an 2000 par la communauté du Logiciel Libre
française.  Cette année, les RMLL auront lieu à Dijon, du 5 au 9
juillet.  Aussi bien des conférences techniques ont lieu, où se
retrouvent des développeurs de logiciels libres, que des conférences
portant sur les questions éthiques et légales liées au mouvement du
Logiciel Libre.  L'accès à la conférence est libre et gratuit.  Plus
d'informations sont disponibles sur :

   http://rencontresmondiales.org/

Le thème "Conception et développement de systèmes d'exploitation"
accueillera cette année des développeurs et chercheurs du domaine
provenant de divers horizons.  Un programme complet est disponible en
ligne sur :

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

La liste des thèmes qui seront abordés inclut :

   o la conception d'OS flexibles, en particulier le GNU Hurd (par Gaël
     le Mignot), Plan 9 (par Charles Forsyth) et le canevas architectural
     THINK (par Juraj Polakovic);

   o l'amélioration de la sécurité des OS par la conception, dans EROS
     (par Jonathan Shapiro, Johns Hopkins University) et le port du GNU
     Hurd sur le micro-noyau L4 (par Marcus Brinkmann);

   o la sûreté de fonctionnement, au moyen de preuves ouvertes dans
     Coyotos (par Jonathan Shapiro, Johns Hopkins University) ou par
     l'isolation de pilotes de périphérique (par Joshua LeVasseur,
     Universität Karlsruhe);

   o la gestion des ressources, en particulier avec une approche
     novatrice pour le GNU Hurd sur L4 (par Neal Walfield), une
     évaluation du sous-système de gestion de la mémoire de Linux (par
     Mel Gorman), et l'abstraction des "scheduler activation" comme base
     pour le parallélisme au niveau utilisateur (par Vicent Danjean);

   o la virtualisation avec User-Mode-Linux (par Jeff Dike);

   o les OS répartis, particulièrement Kerrighed (par Christine Morin,
     Renaud Lottiaux et Pascal Gallard) et openMosix (par Moshe Bar);

   o l'utilisation de langages de programmation dédiés ou de haut niveau
     (par Julia Lawall, Ewout Prangsma, Frode Vatvedt Fjeld, Jérémy
     Bobbio et Xavier Grave);

   o l'implémentation d'un OS pas à pas (par David Decotigny et Thomas
     Petazzoni).

Les actes seront disponibles en ligne après la conférence.  Pour plus
d'informations, contactez-nous à <thomas.petazzoni at enix.org> et
<ludovic.courtes at laas.fr>.