AccueilActualités informatiqueProgrammation fonctionnelle : la conférence BOB 2022 est ouverte aux soumissions

Programmation fonctionnelle : la conférence BOB 2022 est ouverte aux soumissions

La prochaine édition de la conférence BOB aura lieu le 11 mars 2022 – après la dernière édition virtuelle à GatherTown, cette fois-ci probablement à nouveau sur place à Berlin, compte tenu des mesures d’hygiène qui s’appliqueront alors. Les organisateurs fourniront des informations sur le lieu et le format dès que possible. L’appel à propositions est désormais ouvert : toute personne souhaitant participer activement par une présentation (ou un tutoriel) peut poser sa candidature jusqu’au 6 décembre 2021.

Sommaire

Les nouveaux thèmes principaux pour 2022 sont les biais dans les systèmes d’apprentissage automatique, la question d’une numérisation réussie, une accessibilité plus cohérente et le développement de logiciels écologiquement durables. Les systèmes présentant des exigences critiques en matière de fiabilité seront également à l’honneur cette fois-ci, et les rapports d’expérience sur les techniques non conventionnelles suscitent un intérêt particulier. Les langues de cours sont l’allemand et l’anglais. Les organisateurs prévoient actuellement deux pistes de conférences parallèles et une piste de tutorat.

L’orateur principal a déjà été confirmé : Derek Dreyer, de l’Institut Max Planck pour les systèmes logiciels (MPI-SWS), qui travaille notamment à la programmation de systèmes sécurisés en Rust et au perfectionnement du langage de programmation C (RefinedC). M. Dreyer effectue également des recherches sur une nouvelle base modulaire pour la logique de partitionnement concurrentiel d’ordre supérieur. Il décrit l’objectif de ses recherches comme étant de travailler à une « théorie réaliste de la modularité ».

Les esprits imaginatifs qui souhaitent contribuer à un exposé ou à un tutoriel peuvent s’adresser à l’équipe du BOB en tant qu’orateurs jusqu’à la Saint-Nicolas. Si vous souhaitez rencontrer au BOB des personnes qui s’attaquent également à des problèmes difficiles à l’aide de logiciels et d’impulsions hors du commun, vous pouvez vous tenir au courant via le site web du BOB.

Pour les orateurs, la participation à la conférence est gratuite et les orateurs bénéficient de ce que l’on appelle un encadrement : l’équipe de BOB donne des recommandations pour la structure de la présentation, prévisualise les diapositives et aide à l’enregistrement (si nécessaire). Les groupes sous-représentés et les personnes qui, pour des raisons financières, ne pourraient pas assister au BOB, peuvent recevoir des subventions pour les frais de voyage et d’hébergement (subventions aux orateurs). Une garderie gratuite sera à nouveau disponible sur place.

Le BOB se concentre sur les techniques et les technologies qui représentent le meilleur dans leurs domaines respectifs pour les développeurs. Les organisateurs s’attachent à sortir de leur torpeur des outils souvent puissants et hors du commun en les faisant mieux connaître. Le spectre est varié et comprend la programmation fonctionnelle, les structures de données persistantes et les bases de données, la modélisation et l’architecture basées sur les événements, les types ainsi que les méthodes formelles pour des logiciels corrects et robustes. Mais la métaprogrammation, la concurrence et le parallélisme ainsi que d’autres sujets en mathématiques, les effets secondaires contrôlés et les abstractions efficaces pour l’analyse des données font également partie du programme.

Plus d'articles