Je suis maître de conférences à l’Université de Lille. J’effectue mes enseignements au sein de l’UFR des LEA (Langues Étrangères Appliquées) et mes recherches au sein de l’équipe Inria LINKS. Je m’intéresse particulièrement aux problèmes d’agrégations dans les bases de données ainsi qu’à la compilation de connaissances.
Responsabilités administratives
- Je suis coresponsable du GT IMIA avec George Katsirelos, Emmanuel Hebrard et Stefan Mengel.
- Je suis responsable de la remédiation des L1 à l’UFR des LEA.
Contact
- Mail : florent.capelli (at) univ-lille (dot) fr (GPG key)
- Parc Scientifique de la Haute Borne, Park Plaza - INRIA Bât B - avenue Halley 59650 Villeneuve d’Ascq
- Bureau B214
Journals
- Enumerating models of DNF faster: breaking the dependency on the formula size, with Yann Strozecki, Discrete Applied Mathematics (DAM), 2020.
- Connecting Knowledge Compilation Classes and Width Parameters, with Antoine Amarilli, Mikaël Monet, Pierre Senellart, Theory of Computing Systems, 2020.
- Counting Minimal Transversals of β-Acyclic Hypergraphs, with Benjamin Bergougnoux, Mamadou Kanté, Journal of Computer and System Sciences (JCSS), 2019.
- Incremental delay enumeration: Space and time, with Yann Strozecki, Discrete Applied Mathematics (DAM), 2018.
- The Complexity of Tensor Contraction, with Arnaud Durand, Stefan Mengel, Theory of Computing Systems, 2015.
Conferences
- Tractable QBF by Knowledge Compilation, with Stefan Mengel, 36th Symposium on Theoretical Aspects of Computer Science (STACS), 2019.
- Knowledge compilation languages as proof systems, Theory and Applications of Satisfiability Testing (SAT), 2019.
- Understanding the complexity of #SAT using knowledge compilation, Symposium on Logic in Computer Science (LICS), 2017.
- Knowledge Compilation Meets Communication Complexity, with Simone Bova, Stefan Mengel, Friedrich Slivovsky, International Joint Conference on Artificial Intelligence (IJCAI), 2016.
- Understanding model counting for β-acyclic CNF-formulas, with Johann Brault-Baron, Stefan Mengel, 32th Symposium on Theoretical Aspects of Computer Science (STACS), 2015.
- On Compiling CNFs into Structured Deterministic DNNF, with Simone Bova, Stefan Mengel, Friedrich Slivovsky, Theory and Applications of Satisfiability Testing (SAT), 2015.
- Hypergraph Acyclicity and Propositional Model Counting, with Arnaud Durand, Stefan Mengel, Theory and Applications of Satisfiability Testing (SAT), 2014.
- The Complexity of Tensor Contraction, with Arnaud Durand, Stefan Mengel, 30th Symposium on Theoretical Aspects of Computer Science (STACS), 2013.
Preprint
- Dependency Weighted Aggregation on Factorized Databases, with Nicolas Crosetti, Joachim Niehren, Jan Ramon, Submitted to PODS 19, 2018.
- Non-FPT lower bounds for structural restrictions of decision DNNF, with Andrea Calì, Igor Razgon, 2017.
Manuscripts
- Structural restriction of CNF-formulas: application to model counting and knowledge compilation, Thèse de Doctorat, 2016.
Posters
- Compilation des formules CNF, Journées Nationales du GDR IM 2016, 2016.
[+] Communications
- Séminaire ALGO du GREYC, Bornes inférieures pour les branching programs, Caen, 21/03/2017
- Séminaire de l’équipe ACRO, Lower bounds for branching programs, Marseille, 12/12/2016
- Séminaire de l’équipe LIRICA, Structural restrictions of CNF-formulas: applications and limitations, Marseille, 12/12/2016
- Séminaire de l’équipe LINKS, Structural restrictions of CNF-formulas: applications and limitations, Lille, 18/11/2016
- Séminaire Dagstuhl, SAT and Interaction, Compilation of CNF-formulas: upper and lower bounds, Dagstuhl, 18/09/2016
- Journées de l’ANR AGGREG, Some results on complexity classes for enumeration, Marseille, 11/07/2016
- International Workshop on Graph Structure and Satisfiability Testing, Structure-based knowledge compilation: the singular case of beta-acyclic formulas, Bordeaux, 04/07/2016
- Groupe de travail LAAG, Une présentation du théorème de Lyndon, Paris, 16/06/2016
- Journées du GT ALGA, Knowledge Compilation and Communication Complexity, Marseille, 12/04/2016
- Theory reading group, KTH, Structural restrictions of CNF-formulas: applications and limitations., Stockholm, 16/03/2016
- Séminaire Automate, LIAFA, Structural restrictions of CNF-formulas: applications and limitations., Paris, 11/03/2016
- JGA 2015, Borne inférieure de circuits : une application des expanders, Orléans, 06/11/2015
- Journée de l’ANR AGGREG, #SAT and hypergraph acyclicity, Paris, 06/07/2015
- STACS 2015, Understanding model counting for beta-acyclic formulas, München, 06/03/2015
- Séminaire du GREYC, #SAT et acyclicté d’hypergraphe, Caen, 20/01/2015
- Journée de l’ANR CompA, Compilation de CNF vers les circuits booléens : une borne inférieure, Paris, 15/01/2015
- Séminaire de l’équipe MAGMAT, #SAT et acyclicité d’hypergraphe, Versailles, 17/10/2014
- Séminaire du CRIL, Complexité paramétrée de #SAT, Lens, 16/10/2014
- Bourbakettes, Complexité paramétrée, Paris, 23/09/2014
- Highlights 2014, Hypergraph Acyclicities and Propositional Model Counting, 05/09/2014
- SAT 2014, Hypergraph Acyclicity and Propositional Model Counting, Vienne, 17/07/2014
- EJCIM 2014, Acyclicité d’hypergraphe et #SAT, Caen, 03/04/2014
- Journées CompA, The arithmetic complexity of tensor contractions, Lyon, 04/03/2014
- STACS 2013, The arithmetic complexity of tensor contractions, Kiel, 02/2013
- Groupe de travail MC2, The arithmetic complexity of tensor contractions, Lyon, 10/10/2012
Enseignements
2017/2018
J’enseigne depuis septembre 2017 au sein de l’UFR des LEA de l’Université de Lille.
- Parcoursup: vous pouvez trouver ici un compte-rendu de la commission Parcoursup de l’UFR des LEA dont j’étais vice-président. Mes collègues et moi y présentons tout le déroulement de la commission et nous y expliquons comment nous avons établi le classement. Nous en profitons pour commenter notre travail et parler des points que nous avons trouvés dérangeants.
- École de recherche: An overview of Knowledge Compilation à l’ENS Lyon avec Jean-Marie Lagniez et Pierre Marquis
- Pour mes cours à en LEA, voir le Moodle :
- Création de site web en Wordpress
- Bases de données Access
- HTML/CSS
2015/2016
[+] Bases de données, L3 MIASHS
- la page du cours de Stéphane Boucheron
- le schéma World
- le schéma Sakila
- le schéma ATP
- le schéma du TD6
- TP/TD
- TD n°0, introduction à SQL et instructions pour se connecter au serveur.
- TD n°1, jointures, WITH, correction.
- TD n°2, jointures externes, requêtes imbriquées, correction.
- TD n°3, agrégation, correction.
- TD n°4, ANY/ALL, Vues et Dates correction.
- TD n°5, Ajout, suppression et modification des données correction.
- TD n°6, Modélisation et définition de données.
- TD n°7, Contraintes.
- Partiel, corrigé.
- TD n°8, Dépendances fonctionnelles et formes normales.
- TD n°9/10, Dépendances fonctionnelles II, triggers.
[+] Algorithmique et projet de programmation M1
- la page du cours de Roberto Amadio
- TP
- TP n°0 : Découverte de l’environnement (hello.c, variable.c, for.c, if.c)
- TP n°1 : Les bases, correction, premier.c
- TP n°2 : Les fonctions, correction.c
- TP n°3 : Les tableaux, tab.c, correction.c, Pierre Feuille Ciseau
- TP n°4 : Encore des tableaux, correction.c
- TP n°5 : La fonction sort, sort.c
- TP n°6 : Pointeurs, allocation dynamique
- Projet : Gerrymandering
- TP n°7 : Arbres binaires de recherche, abr.c
- TP n°8 : Lemme de Schwarz-Zippel, poly.c
- TP n°9 : Tables de hachage, hash.c
- TP n°10 : Des jeux pour réviser
- TP n°11 : Rien ne sert de courir
2014/2015
[+] Bases de données, L3 MIASHS
- la page du cours de Stéphane Boucheron
- Une fiche explicative sur l’utilisation des différents outils
- Le schéma de la base de données ATP
- TP/TD
- TD n°1, avec rappel des opérateurs d’algèbre relationnelle
- TD n°2, découverte de la base de données ATP
- TD n°3, avec rappel des opérateurs SQL
- TD n°4, division en algèbre relationnelle. Correction
- TD n°5, fonction d’agrégation. Correction
- TD n°6, cohérence de la base de données.
- TD n°7, premiers pas vers la conception de base de données : le modèle Entité-Associations. Correction.
- Partiel. Correction.
- TD n°8, où l’on corrige les erreurs des chargés de TD. Correction.
- TD n°9, Fonctions, formes normales et triggers
- TD n°10, Révisions, schéma de la base sakila.
- TD n°11, Révisions fonctions et triggers.
[+] Algorithmique et projet de programmation M1
- la page du cours de Roberto Amadio
- TP
- TP n°0 : Découverte de l’environnement, correction.
- TP n°1 : Les fonctions, correction.
- TP n°2 : Les tableaux, correction
- TP n°3 : La décomposition LUP.
- TP n°4 : La fonction sort d’UNIX (et de supers exercices pour les vacances :)).
- TP n°5 : Sudoku et SAT solver, correction
- Projet : Création d’emploi du temps
- TP n°6 : Les listes chaînées, correction
- TP n°7 : DPLL
- TP n°8 : Tables de hachages et révisions