Les séminaires ont normalement lieu le jeudi, au CNAM Paris ou à l'ENSIIE Évry.

Plan du CNAM

Séminaires passés (2006--2009)

• Vendredi 13 mars 2009, 10h00, salle 101, ENSIIE Évry.
  Zaynah Dargaye. Un compilateur formellement vérifié pour un langage fonctionnel.
• Mercredi 21 janvier 2009, 10h30, salle 31.1.05 (accès rue Conté), CNAM Paris.
  Raúl Gutiérrez. Context-Sensitive Dependency Pairs Framework.
• Jeudi 18 décembre 2008, CPR/ProVal 10h30, salle 107 INRIA Saclay Île-de-France (Parc Orsay Université).
  Carsten Fuhs Beyond Integer Polynomial Interpretations.
• Jeudi 16 octobre 2008, 14h30, salle 31.2.89 (accès rue Conté), CNAM Paris.
  François Chastrette Développement logiciel dans l'industrie automobile.
• Vendredi 3 octobre 2008, 13h30, en association avec ProVal, salle P104 Parc-Club, Orsay.
  Andrei Paskevich Formalisation et vérification de textes mathématiques (in a SAD way).
• Jeudi 5 juin 2008, 11h, salle 31.1.05 (accès rue Conté), CNAM Paris.
  Luigi Nardi YAO, logiciel de modélisation et de génération de codes pour l'assimilation de données variationnelle.
• Jeudi 29 mai 2008, 10h. Amphi 101, ENSIIE Évry. CPR s'associe au séminaire IBISC de
  Pietro Abate The Tableau WorkBench.
• Mardi 6 mai 2008, 11h. Salle 31.1.05 (accès rue Conté), CNAM Paris.
  Claude Kaiser & Jean-François Pradat-Peyre. QUASAR un outil pour le génie logiciel.
  
• Vendredi 28 mars 2008, 14h30. Salle 31.1.01 (accès rue Conté), CNAM Paris.
  Nicolas Trèves. Réseaux de Petri : présentation de la norme et état des travaux.
  
• Jeudi 7 février 2008, 11h00. salle 31.2.05 (accès rue Conté), CNAM Paris.
  Ralf Treinen. Symbolic Protocol Analysis for Monoidal Equational Theories (or: How Algebra Helps to Solve Intruder Constraints).
  
• Jeudi 31 janvier 2008, 14h30, salle 31.3.01 (accès rue Conté), CNAM Paris.
  François Barthélemy. Les charmes des transducteurs multibandes clos sous intersection.
  
• Lundi 21 janvier 2008, 14h30, salle 9.B0.15 (accès Saint-Martin), CNAM Paris.
  Silvio Ranise et Christophe Ringeissen. Combination of Proof-Producing Decision Procedures.
  
• Jeudi 22 novembre 2007, 14h30, salle 31-1-05, CNAM Paris, (accès rue Conté).
  Alexander Krauss. Automating termination proofs in Isabelle/HOL.
• Mercredi 2 mai 2007, 14h30, salle 266, ENSIIE Évry.
  Florian Kammüller. Exploring Object-Orientation with Interactive Theorem Proving.
• Lundi 30 avril 2007, 13h15, ENSIIE Évry.
  Julien Signoles. Vérification de propriétés de sécurité sur des programmes C.
  
• Lundi 30 avril 2007, 11h, ENSIIE Évry.
  Julien Forest. Certification de preuves automatiques de terminaison.
• Lundi 30 avril 2007, 9h45, ENSIIE Évry.
  Jean-Marc Mota. Méthodes formelles fondées sur la preuve et le raffinement : application aux modeleurs géométriques, aux IHM et aux composants.
• Vendredi 27 avril 2007, 15h30, salle 266, ENSIIE Évry.
  Renaud Rioboo. Invariants de représentations pour FoCaL.
• Mardi 27 mars 2007, 14h, salle 31.2.85 (accès rue Conté).
  Jean-Paul Étienne. Conception d'applications temps réel à base de composants.
• Jeudi 8 mars 2007, 16h30, salle 31.2.02 (accès rue Conté).
  Philippe Audebaud. Vérification formelle d'algorithmes probabilistes dans Coq.
• Jeudi 1er février 2007, 14h30, salle 31.1.03 (accès rue Conté).
  Alan Schmitt. DreamTypes : vers un typage avancé d'un assemblage de composants.
• Mardi 19 décembre 2006, 10h30, lieu : INRIA-Futurs.
  Séminaire A3PAT, commun CPR/Proval
  René Thiemann. Proving Termination of Higher-Order Functions Automatically.
• Jeudi 7 décembre 2006, 14h30, salle 31.2.01 (accès rue Conté).
  Assia Mahboubi. Automatisation de preuves de contraintes polynomiales dans le système Coq.
• Jeudi 30 novembre 2006, 14h30, salle 33.2.11 (accès rue Conté).
  Raúl Gutiérrez. Context-Sensitive Dependency Pairs.
• Mercredi 12 juillet 2006, 11h, salle 31.1.05 (accès rue Conté).
  Samuel Colin. Compositionnalités en B classique et étendu : tour d'horizon.
• Jeudi 22 juin 2006, 14h30, salle 33.2.11 (accès rue Conté).
  David Teller. Vers une gestion sûre des ressources avec Erlang.
• Jeudi 08 juin 2006, 14h30, salle 31.1.01. Annulé
  Frédéric Gava. Approches fonctionnelles de la programmation parallèle et des méta-ordinateurs ; sémantiques, implantations et certification.
• Mardi 02 mai 2006, 14h30, salle 30.-1.03.
  Julien Forest. Certification de plates-formes mobiles.
• Jeudi 27 avril 2006, 10h30, salle 31.2.03.
  Marc Frappier. EB3, une méthode de spécification formelle pour les systèmes d'information.
• Jeudi 6 avril 2006, 14h30, salle 30.-1.01.
  Pierre Corbineau. Réflexion de preuves en logique du premier ordre avec égalité.
• Jeudi 30 mars 2006, 14h30, salle 30.-1.05.
  Pierre Letouzey. Structures de données à la Caml pour Coq : l'exemple des ensembles finis et des tables d'association.
• Mardi 14 mars 2006, 16h, amphi A.
  César Muñoz. Real Number Calculations and Interval Analysis in PVS.
• Jeudi 2 mars 2006, 14h, salle 11.A2.32.
  Lionel Seinturier. Modèles de composants pour les intergiciels.
• Jeudi 9 février 2006, 10h15, salle 11.A3.34.
  Julien Signoles. Extension de ML avec raffinement.