…ntation of case analysis in Coq and MetaCoq Remote WITS Matthieu Sozeau Inria , Meven Lennon-Bertrand Inria – LS2N, Université de Nantes , Yannick Forster Inria 11:20 40m Other Elaborator reflection APIs (discussion) Remote WITS Jesper Cockx TU Delft 11:20 40m Other Invisible arg…
…archlinux org mutlaqja ikarustech com akselmo akselmo dev georgefb899 gmail com meven kde org bart mogwai be christoph cullmann dev justin kde org caulier gilles gmail com mark klomp org metzpinguin gmail com Top 20 people who most quickly fixed a report in the last 7 days: User …
… + -ouriezh (ar ouiziegezh pe ar studi). Implijet eo bet gant Frañsez Vallée ha Meven Mordiern en o levrioù war istor ar Gelted kozh pe istor ar bed. Adtapet diwar « https://br.wikipedia.org/w/index.php?title=Arkeologiezh&oldid=2171911 » Rummadoù : Arkeologiezh Skiantoù Arkeologi…
…ion 4 WITS at Salle 13 16:00 60m Keynote Verifying Dependent Type-checkers WITS Meven Lennon-Bertrand Inria – Université Paris Cité 17:00 22m Talk Type Narrowing the Hard Way WITS Ben Greenman University of Utah , Hanwen Guo University of Utah 17:23 2m Other Closing WITS Niki Vaz…
…vel Jakez Kerrien , Yann Sohier , Jakez Riou , Emil Ernod , Frañsez Debauvais , Meven Mordiern , Tangi Malmanche , Abeozen , Jarl Priel , Youenn Drezen pe Langleiz etre an daou vrezel-bed. Dindan an anv "Roparz Loeiz Hemon" e sinas e bennad kentañ evit Breiz Atao e 1923 , “An dio…
…ea Edmonds and Lawrence Paulson. CPP 2024: Martin-Löf à la Coq . Arthur Adjedj, Meven Lennon-Bertrand, Kenji Maillard, Pierre-Marie Pédrot, and Loïc Pujet. CPP 2024: Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic . Qiyuan Zhao, George Pîr…
…m Talk Gradualizing the Calculus of Inductive Constructions CPP Lightning Talks Meven Lennon-Bertrand Inria – LS2N, Université de Nantes Kenji Maillard Inria Nantes & University of Chile Nicolas Tabareau Inria Éric Tanter University of Chile Pre-print 20:15 5m Talk Formally Verif…
…e Breizh evel Jakez Kerrien Yann Sohier Jakez Riou Emil Ernod Frañsez Debauvais Meven Mordiern Tangi Malmanche Abeozen Jarl Priel Youenn Drezen pe Langleiz etre an daou vrezel-bed. Dindan an anv "Roparz Loeiz Hemon" e sinas e bennad kentañ evit Breiz Atao 1923 , “An diouganer”. K…
…st-Graduate Training Workshop (Windsor, UK, 2-5 December 2024) 20 December 2024 Meven Philippe The workshop attendees and tutors (photo from the report of Magdalena Koschmieder) Ayse Nur Karayel and Magdalena Koschmieder were awarded grants of 300€ each to attend the Post-Graduat…
…st-Graduate Training Workshop (Windsor, UK, 4-7 December 2023) 20 December 2023 Meven Philippe The workshop attendees and tutors (photo from the report of Letizia Pace) Maria Kotowska and Letizia Pace were awarded grants of 300€ each to attend the Post-Graduate Training Workshop …
…t-Graduate Training Workshop (Windsor, UK, 5-8th December 2022) 12 January 2023 Meven Philippe The workshop attendees with Prof. John Wainwright (photo from the report of Maƚgorzata Szczypińska). Maƚgorzata Szczypińska and Alessia Sorrentino were awarded grants of 300€ each to at…