Le blog de Kevin.Martin

Séminaire CLAP - 16/12/21 - recherche par types et Coq SydPaCC

Vous êtes cordialement invités à participer au séminaire CLAP le 16 décembre 2021 de 10h15 à 11h40. Le séminaire se fera en visio sur zoom (info de connexion ci-dessous). Vous êtes également conviés à un café CLAP de 10h à 10h15 sur gather.town (https://gather.town/app/7giEyr3CTKAwe3Or/cafeCLAP)

Au programme :
- 10h20-11h00 : Fast Indexing for Research by Types par Gabriel Radanne
- 11h00-11h40 : Automated and Verified Algorithmic Skeleton-based Parallelization of Functional Programs par Frederic Loulergue

Séminaire CLAP - 18/11/21 - Machine learning compiler and MLIR

Vous êtes cordialement invités à participer au séminaire CLAP le 18 novembre 2021 de 10h15 à 11h40. Le séminaire se fera en visio sur zoom (info de connexion ci-dessous). Vous êtes également conviés à un café CLAP de 10h à 10h15 sur gather.town (https://gather.town/app/7giEyr3CTKAwe3Or/cafeCLAP).  Les talks se feront en anglais.

Le programme :

Séminaire CLAP - 21/10

Séminaire CLAP - 23/09/21

Le séminaire CLAP du 23 septembre de 10h15 à 12h15 portera sur le thème "compilation et verification". Le séminaire se fera en visio sur zoom (cf ci-dessous pour les info de connexion). Vous êtes également conviés à un café CLAP de 10h à 10h15 sur gather.town (https://gather.town/app/7giEyr3CTKAwe3Or/cafeCLAP).  Les talks se feront en français.

Quatorzième rencontre de la communauté française de compilation

Lieu et Dates Importantes

  • Lieu : Village Vacances “La Vieille Perrotine” , 140 Route des Allards 17310 St Pierre d’Oléron
  • Dates : 18 au 20 mai 2020
  • La date limite pour les inscriptions: TBD

Organisatrices

Programme

à venir..

13ièmes journées de Compilation - du 30 janvier au 1 février 2019, Dammarie Les Lys

Les treizièmes rencontres de la communauté française de compilation auront lieu au Bois du Lys  du mercredi 30 janvier 2019 au vendredi 1er février 2019.

Les organisateurs locaux de cette édition sont Corinne Ancourt et Claire Medrala.

S'abonner à RSS - Le blog de Kevin.Martin