Valentin Montmirail Ph.D Student in Artificial Intelligence ūüá™ūüáļ

Thesis subject : Practical resolution of the coherence of formulas in modal logic.

Upcoming events

27-31 August, 2018. Lille, France
CP'18 - International Conference on Principles and Practice of Constraint Programming 2018.
14-17 July, 2018. Oxford, United Kingdom
IJCAR'18 - International Joint Conference on Automated Reasoning 2018.
12-15 June, 2018. Amiens, France
JFPC'18 - Journées Francophones de Programmation par Contraintes 2018. french
30 October - 3 November, 2017. Lyon, France
IA¬≤ ‚Äď Institut d‚ÄôAutomne en Intelligence Artificielle 2017 french
18-22 September 2017. Porquerolles Island, France
ACPSS'17 - Joint ACP and GdR RO Summer School 2017
28 August - 1 September, 2017. Melbourne, Australia
SAT'17 - International Conference on Theory and Applications of Satisfiability Testing 2017.
19-25 August, 2017. Melbourne, Australia
IJCAI'17 - International Joint Conference on Artificial Intelligence Conference 2017.
3-7 July, 2017. Caen, France
JIAF'17 - Journées d'Intelligence Artificielle Fondamentale 2017. french
27-30 June, 2017. Arras, France
IEA/AIE'17 - International Conference on Industrial, Engineering, Other Applications of Applied Intelligent Systems 2017.
13-15 June, 2017. Montreuil sur Mer, France
JFPC'17 - Journées Francophones de Programmation par Contraintes 2017. french
4-9 February, 2017. San Francisco, California, USA
AAAI'17 - Association for the Advancement of Artificial Intelligence Conference 2017.
27 June - 2 July, 2016. Coimbra, Portugal
IJCAR'16 - International Joint Conference on Automated Reasoning 2016.
15-17 June, 2016. Montpellier, France
JIAF'16 - Journées de l'Intelligence Artificielle Fondamentale 2016. french
26-30 October, 2015. Lille, France
ACAI'15@CRIL - Advanced Course on AI.

International conference IJCAR'18 Incremental SAT-based approach to obtain the smallest S5-model possible !

Short Biography

In 2010, Valentin Montmirail got his Baccalauréat specialty Mathematics with honors.
Then, he continued with a DUT (a two-years undergraduate technical diploma) in Computer Sciences, held at IUT de Lens.

To obtain his DUT, Valentin studied 4 months in Université du Québec à Montreal (Canada) and made an internship 4 other months in Axa Assistance Canada.

During these two years in Lens, Valentin creates his first company in the web development, specialized in the Dev/Ops approach and the PhP/Zend developement. He worked with, among others, Axa Assistance Canada from France by telecommuting until 2013.

From 2012 to 2015, he made his studies in Ecole Polytechnique de l'Université de Tours, to get his engineering degree (Master's degree equivalent). During these years in Tours, Valentin joined the direction of the company Simply Créat' created by his friend Alain Krok, and was responsible of the customer relationships and the web development team.

To obtain his engineering degree, Valentin studied 4 months in Politechnika ŇĀ√≥dzka (Poland) and work 5 months in Atos WrocŇāaw (Poland)

And now, from 2015 to 2018, 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 web developer/administrator of the IJCAR, CADE and AAR websites.

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


Centre de Recherche en Informatique de Lens Centre National de la Recherche Scientifique Université d'Artois IUT de Lens