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. Bern, Switzerland
AiML'18 - Advances in Modal Logic 2018.
14-17 July, 2018. Oxford, United Kingdom
IJCAR'18 - International Joint Conference on Automated Reasoning 2018.
13-19 July, 2018. Stockholm, Sweden
ECAI'18 - European Conference on Artificial Intelligence 2018.
4-10 February, 2018. New Orleans, Lousiana, USA
AAAI'18 - Association for the Advancement of Artificial Intelligence Conference 2018.
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
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 IJCAI'17 New way to perform an abstraction reasoning: "RECAR is the new CEGAR".

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.
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.

Affiliations



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