Dieses Dokuwiki verwendet ein von Anymorphic Webdesign erstelltes Thema.

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

industry [2014/04/24 13:59]
braibant [Program]
industry [2014/07/11 14:45] (current)
plateau [Program]
Line 12: Line 12:
   * 14h00 : Introduction   * 14h00 : Introduction
  
-  * 14h05 : Emmanuel Ledinot ([[http://​www.dassault-aviation.com/​ | Dassault Aviation]]) //Analyse de valeur ² : regard sur 25 ans de méthodes formelles dans le secteur aéronautique//​ +  * 14h05 : Emmanuel Ledinot ([[http://​www.dassault-aviation.com/​ | Dassault Aviation]]) //Analyse de valeur ² : regard sur 25 ans de méthodes formelles dans le secteur aéronautique// ​{{:​av2_regard25ans_fm_final_diffusion.pdf|(pdf)}} ​   
-  * 14h50 : Jean-Louis Colaço ([[http://​www.esterel-technologies.com/​ | Esterel-Technologies]]) //SCADE: un langage formel pour l'​embarqué critique//​ +  * 14h50 : Jean-Louis Colaço ([[http://​www.esterel-technologies.com/​ | Esterel-Technologies]]) //SCADE: un langage formel pour l'​embarqué critique// ​{{:​slides_estereltech_280414.pdf|(pdf)}} 
-  * 15h15 : Benjamin Monate ([[http://​trust-in-soft.com/​ | TrustInSoft]]) //​TrustInSoft : des méthodes formelles pour donner confiance dans les composants logiciels existants//+  * 15h15 : Benjamin Monate ([[http://​trust-in-soft.com/​ | TrustInSoft]]) //​TrustInSoft : des méthodes formelles pour donner confiance dans les composants logiciels existants// ​{{::​2014_04_26_trustinsoft_talk_1_.pdf|(pdf)}}
  
  
Line 20: Line 20:
    
  
-  * 16h00 : Dominique Bolignano ([[http://​www.provenrun.com/​ | Prove & Run]]) //Méthodes formelles et sécurité mobile// +  * 16h00 : Dominique Bolignano ([[http://​www.provenrun.com/​ | Prove & Run]]) //Méthodes formelles et sécurité mobile// ​{{::​ihp_2014_prove_run.pdf|(pdf)}} 
-  * 16h25 : Alain Frish ([[http://​www.lexifi.com/​ | LexiFi]]) //LexiFi: Approche "​langage"​ pour la description de contrats financiers//​ +  * 16h25 : Alain Frish ([[http://​www.lexifi.com/​ | LexiFi]]) //LexiFi: Approche "​langage"​ pour la description de contrats financiers// ​{{::​afrisch.pdf|(pdf)}} 
-  * 16h50 : Olivier Levillain ([[http://​www.ssi.gouv.fr/​ | ANSSI]]) //Langages de développement et sécurité --- Mind your language//+  * 16h50 : Olivier Levillain ([[http://​www.ssi.gouv.fr/​ | ANSSI]]) //Langages de développement et sécurité --- Mind your language// ​{{:​olivier_levillain.pdf|(pdf)}}
  
   * 17h15 : Pause   * 17h15 : Pause
  
-  * 17h25 : Philippe Bonnard et Georges Uzbelger ([[ http://​www-05.ibm.com/​fr/​clientcenter/​index.html | IBM ]]) //Des règles métier pour la gestion de l'​incertain//​ +  * 17h25 : Philippe Bonnard et Georges Uzbelger ([[ http://​www-05.ibm.com/​fr/​clientcenter/​index.html | IBM ]]) //Des règles métier pour la gestion de l'​incertain// ​{{::​ibm.pdf|(pdf)}} 
-  * 17h35 : Claire Dross ([[ http://​www.spark-2014.org/​ | Adacore]]) //SPARK 2014: Vérification de Programmes Ada// +  * 17h35 : Claire Dross ([[ http://​www.spark-2014.org/​ | Adacore]]) //SPARK 2014: Vérification de Programmes Ada// {{::​claire_dross.pdf|(pdf)}} 
-  * 17h40 : Etienne Prun ([[http://​clearsy.com/​ | Clearsy]]) //TBA// +  * 17h40 : Etienne Prun ([[http://​clearsy.com/​ | Clearsy]]) //Vérification formelle système : CBTC Flushing// {{::​clearsy.pdf|(pdf)}} 
-  * 17h45 : Romain Bardou ([[http://​www.cryptosense.com/​ | CryptoSense]])//​ Cryptosense Analyzer: découverte automatique de failles de sécurité//​  +  * 17h45 : Romain Bardou ([[http://​www.cryptosense.com/​ | CryptoSense]])//​ Cryptosense Analyzer: découverte automatique de failles de sécurité// ​{{::​romain_bardou.pdf|(pdf)}} 
-  * 17h50 : Fabrice Le Fessant / Mohamed Iguernelala ([[http://​www.ocamlpro.com/​ | OcamlPro]]) //OCamlPro: Promouvoir OCaml dans le monde industriel//​+  * 17h50 : Mohamed Iguernelala ([[http://​www.ocamlpro.com/​ | OcamlPro]]) //OCamlPro: Promouvoir OCaml dans le monde industriel// ​{{:​ocamlpro-iguernelala.pdf|(pdf)}}
  
   * 17h55 : Conclusion ​   * 17h55 : Conclusion ​
industry.txt · Last modified: 2014/07/11 14:45 by plateau
Dieses Dokuwiki verwendet ein von Anymorphic Webdesign erstelltes Thema.
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0