Portfolio

---

Highlights

---

• NEWS:

First VIVA European Summer School on Artificial Intelligence and Software Verification and Validation, June 2021, Montpellier (CANCELED - COVID-19)

 

14-04-2021: Invited talk at GT-GLIA kickoff meeting.

19-06-2019: Invited talk at GT-Verif days, Nantes.

11-06-2019: LIRMM AI day (talk on Declarative Data Mining) [program].

27-05-2019: 3rd CAVIAR working day at LIFO, Orléans.

21-05-2019: Invited talk at NordConsNet 2019, Oslo: "Constraint Acquisition".

07-04-2019: Best Paper Award AI Test 2019 (award)

05 to 10-04-2019: Participation at AI Test'19, San Francisco

10 to 13-12-2018:  Visiting SIMULA lab. Oslo (VIVA PHC AURORA Project)

08 to 12-10-2018:  Visiting SIMULA lab. Oslo (VIVA PHC AURORA Project)

11-10-2018: Invited talk at Certus 13th User Partner Workshop, SIMULA, Oslo. ""Specialised vs Declarative Data Mining : Software Testing Applications"[slides].

• CAVIAR Group CO-Leader

• CPMINER Project

• Projects:

• TAILOR H2020 European project

• UM 2020/2021 projet, CAR: Constraint Acquisition and Learning Robots.

• PHC AURORA 2018 project France/Norway. V&V via IA

• Associate Participant to RCN T-LARGO Project (Testing of Learning Robots, Sep. 2018-Feb. 2022)

• PEPS I3A 2018 INSMI and IN2SI project. Taxonomy of Query Types for Constraint Acquisition

• UM 2017 project. PRECONSY: Preferences and constraints for recommender systems.

• European project FP7-FET -- ICON (2012 -  2015)

• ANR project BR4CP (2012 -  2015)

• APROSOP IN2SI PEPS-JCJC projet (2015)

 

• chair  of:

• 2021:CP (Test & Verification Track)

  2020: Workflow IJCAI-PRICAI 2020, CP (Test & Verification Track)

  2019: CP (Test & Verification Track), AiTest (Constraint Solvers In Software Testing, Verification And Analysis)

  2018: CP (Test & Verification Track)

  2017: CP (Test & Verification Track)

• SPC member  of:

• 2021: IJCAI

• 2018: CP

• 2017: CP

• PC member of:       

• 2021: AAAI, AAMAS, IJCAI Survey Track, AITest

• 2020: AAAI, AiTest, ECAI, CP, IJCAI-PRICAI Survey Track

  2019: IJCAI, CP, AAAI, AITest, JFPC, COSI

• 2018: IJCAI-ECAI, CP,  JFPC, COSI

• 2017: CP, JFPC

• 2016: CP, DP-CP, JFPC

• 2015: QSR

• 2014: JFPC, QSIC

• 2013: JFPC, QSIC, LML

 

• Reviewer for:

JOURNAL: Artificial Intelligence (AIJ), Journal of Artificial Intelligence Research (JAIR), 
Constraints, Aircraft Engineering and Aerospace Technology, Soft Computing.

INTERNATIONAL CONF: AAAI, IJCAI, IJCAI Survey Track, ECAI, CP, CPAIOR, QSR, ICSME, QSIC, TAP, ICST, AITEST.

NATIONAL and WORKSHOPS:  JFPC, DP-CP, LML, CSTVA.

 

• PhD Juries:

• Namrata Patel (reviewer): October 2016, University of Montpellier.

 

• invited TALKS:

• 04-07-2018: ISMP'18- Bordeaux. "Constraint Acquisition".

• 23-05-2017: Pôle SDD (Science des Données et de la Décision) - UMR LS2N. "Constraint Acquisition".

• 24-02-2017: ROADEF17 - gdrRO - working group RO&Constraints. "New Approaches to Constraint Acquisition".

  10-03-2014: Spring workshop on Mining and Learning. Ostende, Belgium. "QUACQ: Quick Acquisition".

 

Contact Me

---