Voici les dates et les horaire des cours « Structures de données et algorithmes pour la vérification formelle » de Gérard Berry au Collège de France. le mercredi 9 mars, 16h00-18h30 : Cours BDDs (Binary Decision Diagrams) par Gérard Berry, puis séminaire de JC Madre (Mentor Graphics) et P. Vuillod (Synopsys) sur l’utilisation des BDDs en CAO électronique. le […]
Lire la suiteCategory Archives: Actualités
Serge Abiteboul invité de la Tête au carré – Jeudi 03 mars à 14h00
Serge Abiteboul est l’invité de la Tête au carré animée par Mathieu Vidard, Jeudi 03 mars à 14h00, pour une émission consacrée aux « coulisses d’internet » avec Coline Tison, journaliste audiovisuelle. « Internet a quelque chose de magique. Rapidité, partage instantané, la possibilité de voir des milliards de vidéos, parler avec des personnes de l’autre bout du monde. Mais derrière ces […]
Lire la suiteVers de nouvelles interactions entre enseignement des mathématiques et de l’informatique
Vers de nouvelles interactions entre enseignement des mathématiques et de l’informatique Texte paru simultanément dans le bulletin de liaison de la CFEM, n°37, mars 2016 Quatre sociétés savantes de mathématique et d’informatique se penchent sur l’enseignement au lycée des mathématiques liées à l’informatique et de l’informatique liée aux mathématiques. Les différentes sciences que l’on enseigne […]
Lire la suiteCommuniqué : La SIF devient l’association représentante de la France à l’IFIP
L’informatique française se regroupe afin de faire face aux défis internationaux. La SIF devient le représentant de la France auprès de la société savante internationale IFIP L’informatique, au niveau mondial, est organisée autour de grandes structures qui regroupent entreprises, organismes de recherche, universités et sont régulièrement associées à des questions de normalisation, d’organisation du débat […]
Lire la suiteMotion du CA de la SIF pour soutenir l’ACONIT
En juillet 2015, le Conseil d’Administration de la SIF s’est engagé dans le projet de Musée de l’Informatique et du Numérique en France – #MINF. Ce projet est particulièrement important pour l’ensemble de la communauté informatique et au-delà pour la société dans son ensemble. Il contient bien sûr des aspects de conservation essentiels qui visent […]
Lire la suiteSciences | Média : Comment parler de sciences aux jeunes ?
Sciences | Média : Comment parler de sciences aux jeunes ? Lundi 1er février 2016, amphithéâtre de la Préfecture de Paris et d’Île de France 5 rue Leblanc – Paris 15e La journée sera transmise en direct sur le site web www.sciencesetmedia.org et les internautes pourront interagir avec les intervenants sur twitter : #scmedias. Journée organisée par six […]
Lire la suiteFrance Culture : Comment le numérique a révolutionné la connaissance
L’émission « La Grande Table » du 29 janvier à écouter (ou ré-écouter) sur France Culture : Comment le numérique a révolutionné la connaissance avec Serge Abiteboul : Directeur de Recherche à INRIA, l’institut de recherche en informatique et automatique, membre de l’académie des sciences Dominique Cardon : sociologue au Laboratoire des usages d’Orange Labs et chercheur associé au […]
Lire la suiteJournée SIF Défis informatiques de l’internet des objets
Le 23 mars 2016, à Paris, au Ministère de l’Economie (Bercy) Toutes les informations
Lire la suiteLe nouveau Conseil d’Administration de la SIF
À l’occasion de l’Assemblée générale de la SIF, le 26 janvier 2016, à Strasbourg, 3 nouveaux membres font leur entrée au Conseil d’administration de la SIF : Luc Bougé, professeur à l’ENS Rennes et membre de l’équipe KerData (IRISA, Inria Rennes) Damien Magoni, professeur à l’université de Bordeaux, responsable de l’équipe COMET (LABRI) Fabien Tarissan, […]
Lire la suiteSéminaire des doctorantes et doctorants en informatique
Séminaire des doctorantes et doctorants en informatique 29 avril 2016 — Paris Vous êtes doctorant(e) en informatique ? Ce séminaire est fait pour vous ! Le séminaire des doctorant(e)s a pour ambition de partager et de promouvoir les domaines variés de l’informatique. Venez rencontrer et présenter vos travaux autour d’un moment convivial entre jeunes chercheurs. […]
Lire la suite