FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Valentin Montmirail
Organization: Centre de Recherche en Informatique de Lens
Web page: http://cril.univ-artois.fr/~montmirail/
Pages in this Program
All Proceedings Papers
IJCAR on Saturday, July 14th
IJCAR Proceedings 9th IJCAR, 2018
IJCAR Proceedings 9th IJCAR, 2018: Papers with Abstracts
IJCAR Program
Paper: An Assumption-Based Approach for Solving The Minimal S5-Satisfiability Problem
Program
Program for Saturday, July 14th
Bio

Valentin is doing his Ph.D. in Artificial Intelligence on the topic of modal logic and modal satisfiability problems.
Supervised by Daniel Le Berre and co-supervised by Jean-Marie Lagniez and Tiago de Lima.

On the research part, Valentin is an active member of the Association of Automated Reasoning
He is, for this reason, one of the administrators of the IJCARCADE and AAR websites. 
He is one of the developer of the Modal Logic K Checker MDK-Verifier and the Modal Logic S5-Satisfiability Solver S52SAT

Finally, with his supervisor and co-supervisors, he is one the inventor of the RECAR framework.