EATCS AWARD FOR BEST ETAPS PAPER 2011 30 mars 2011 S. Conchon, E. Contejean et M. Iguernelala obtiennent le EATCS Award pour le meilleur article en informatique théorique à ETAPS'11.
Sylvain Conchon, Evelyne Contejean et Mohamed Iguernelala ont obtenu le EATCS Award pour le meilleur article en informatique théorique à l'European Joint Conferences on Theory and Practice of Software 2011, ETAPS'11 pour leur article à TACAS "Canonized Rewriting and Ground AC-Completion Modulo Shostak Theories" Activités de recherche   ° Démonstration automatique, SMT et applications Equipe   ° Toccata Contact   [aucun]

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

MODEL TRANSFORMATION AS CONSERVATIVE THEORY-TRANSFORMATION
30 octobre 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 septembre 2019
Guillaume Doquet (A&O), Best Student Paper Award (category Machine Learning) at ECML 2019.

BEST PAPER AWARD - HPCS 2019 - ON SERVER-SIDE FILE ACCESS PATTERN MATCHING
17 juillet 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
05 juillet 2019
DAS3H: Modeling Student Learning and Forgetting for Optimally Scheduling Distributed Practice of Ski