A COQ FORMALIZATION OF THE RELATIONAL DATA MODEL 7 April 2014 V. Benzaken, E. Contejean, S. Dumbrava
A first Coq certified course in relational databases Keyword   ° Formalisation of (Specification and Programming) Languages in Proof Assistants   ° Data-Centric Languages and Systems Group   ° Verification of Algorithms, Languages and Systems Contact   ° CONTEJEAN Evelyne

HOW FAST CAN YOU CONVERGE TOWARDS A CONSENSUS VALUE?
28 October 2021
In their recent work, Matthias Fuegger (LMF), Thomas Nowak (LISN), and Manfred Schwarz (TU Wien) stu

MODEL TRANSFORMATION AS CONSERVATIVE THEORY-TRANSFORMATION
30 October 2020
We present a new technique to construct tool support for domain-specific languages (DSLs) inside the

BEST STUDENT PAPER AWARD (ML) AT ECML 2019
20 September 2019
Guillaume Doquet (A&O) received the Best Student Paper Award (category Machine Learning) at ECML 201

BEST PAPER AWARD - HPCS 2019 - ON SERVER-SIDE FILE ACCESS PATTERN MATCHING
17 July 2019
Francieli Zanon Boito¹ , Ramon Nou², Laércio Lima Pilla³, Jean Luca Bez⁴, Jean-François Méhaut¹, T

BEST FULL PAPER AWARD EDM 2019 - EDUCATIONAL DATA MINING
5 July 2019
DAS3H: Modeling Student Learning and Forgetting for Optimally Scheduling Distributed Practice of Ski