Suite à la synthèse de près de 9000 réponses aux enquêtes portées par une vingtaine de sociétés savantes françaises, dont la SIF, ce collectif a effectué un travail de formulation de recommandations pour la loi de programmation pluriannuelle pour la recherche, que nous avons présentées aux trois groupes de travail ministériels. Vous  trouverez ci-dessous le […]

Depuis mi-2018, SPECIF-Campus et le conseil des associations de la SIF ont uni leurs forces afin de mieux comprendre les pratiques de publications scientifiques en informatique et de partager cette information. Pour ce faire, un questionnaire a été réalisé par le conseil des associations de la SIF, puis il a ensuite été diffusé au sein des […]

Le prix de thèse Gilles Kahn 2018, décerné par la SiF et patronné par l’Académie des Sciences, est attribué à: Théo Mary, pour sa thèse intitulée “Solveurs multifrontaux exploitant des blocs de rang faible: complexité, performance et parallélisme” (préparée à l’IRIT) Les accessits, dans l’ordre alphabétique sont pour : Pierre Laperdrix, pour sa thèse intitulée […]

Le prix de thèse Gilles Kahn 2017 est attribué à   Amina Doumane, pour sa thèse intitulée « On the infinitary proof theory of logics with fixed points » soutenue à l’Université Paris-Diderot et préparée à l’Institut de Recherche en Informatique Fondamentale (IRIF) et au Laboratoire Spécification et Vérification (LSV) sous la direction de David Baelde, Alexis Saurin et […]