Valentin Montmirail PostDoctoral Fellow in Artificial Intelligence ūüá™ūüáļ

Thesis : Practical resolution of satisfiability testing for modal logics.

Upcoming events

30 September - 4 October, 2019. Stamford, Connecticut, USA
CP'19 - International Conference on Principles and Practice of Constraint Programming 2019.
3-5 September, 2019. London, United Kingdom
TABLEAUX'19 - International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
25-30 August, 2019. Natal, Brazil
CADE'19 - International Conference on Automated Deduction 2019.
10-16 August, 2019. Macao, China
IJCAI'19 - International Joint Conference on Artificial Intelligence Conference 2019.
7-12 July, 2019. Lisbon, Portugal
SAT'19 - International Conference on Theory and Applications of Satisfiability Testing 2019.
1-5 July 2019. Toulouse, France
JIAF'19 - Journées d'Intelligence Artificielle Fondamentale 2019. french
12-14 June 2019. Albi, France
JFPC'19 - Journées Francophones de Programmation par Contraintes 2019. french
8-10 May 2019. Rende, Italy
JELIA'19 - European Conference on Logics in Artificial Intelligence 2019.
27 October - 2 November, 2018. Tempe, Arizona, USA
KR'18 - International Conference on Principles of Knowledge Representation and Reasoning 2018.
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.

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)

From 2015 to 2018, Valentin was 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.

From now on, Valentin is doing a post-doctoral research with the Pr. Jean-Charles Régin on the theme of Explainable Artificial Intelligence for SAT and Constraint Programming.
They are working in collaboration with Marie Pelleau by using Abstract Interpretation.

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 thesis supervisor and co-supervisors, he is one the inventor of the RECAR framework.

Affiliations



Logo du Laboratoire d'informatique, Signaux et Syst√®mes de Sophia Antipolis Centre National de la Recherche Scientifique Universit√© C√īte d'Azur Universit√© Nice Sophia-Antipolis