Activites

Événement CAVIAR lors des JFPC 2024 :

Dates : du 24 au 26 juin 2024

Lieu : Bâtiment B de l’UFR des Sciences Jean Perrin, à Lens -

 

 

Programme :

• 25/06 - 9h-10h : Apport des formalismes déclaratifs pour un clustering explicable (Christel Vrain).

• 25/06 - 14h-15h : Comment utiliser l'optimisation de contraintes pour expliquer n'importe quel classifieur ? (Frédéric Koriche).

• 26/06 - 9h-10h : Learning constraints, objectives and entire models (Tias Guns).

• 26/06 - 14h-16h : Session Présentations Doctorants CAVIAR / Réunions de Travail.

7ème Journée CAVIAR (co-organisé avec le GT-BIOSS) :

Date : Le 25 et 26 Mai 2023

Lieu : Campus Pierre-et-Marie-Curie (Jussieu), Paris 5e

 

 

Programme :

 

Jeudi 25 mai 9h30-12h30 - Salle de séminaire SCAI, bâtiment Esclangon, 1er étage - (CAVIAR) :

• 9h30-10h10 : Equation discovery and chemical reaction model learning from data time series (François Fages).

• 10h10-10h50 : Evolutionary Computation for hybrid Gene Regulatory Networks parametrization (Denis Pallez).

• 10h50-11h10 : Pause café.

• 11h10-11h50 : A declarative framework for maximal k-plex enumeration problems (Said Jabbour).

• 11h50-12h30 : Acquisition de cartes de bornes et de modèles discrets d’ordonnancements dans un contexte d’optimisation combinatoire (Ramiz Gindullin).

Déjeuner

Jeudi 25 mai 14h-17h45 - Salle 24-25/405, LIP6 - (BIOSS) :

• 14h-14h40 : Une approche déclarative pour le clustering sous contraintes (Thi-Bich-Hanh Dao).

• 14h40-15h20 : An approach based on ASP and Petri nets for the calculation of attractors in Boolean networks (Van-Giang Trinh).

• 15h20-16h : CEGAR pour le contrôle et la synthèse des trap spaces minimaux des réseaux booléen (Sara Riva).

• 16h-16h20 : Pause café.

• 16h20-17h : Représentation de dynamiques booléennes en logique modale non-monotone (Pierre Siegel).

• 17h-17h40 : Sequential Reprogramming of Biological Network Fate (Sergiu Ivanov).

19h30 Dîner au Perraudin, 157 rue Saint Jacques, 75005 Paris

Vendredi 26 mai 9h30-11h30 - Salle de séminaire SCAI, bâtiment Esclangon, 1er étage - (Discussions au tableau):

• Modélisation de la dynamique des réseaux booléens (attracteurs, trap spaces) et de la reprogrammation

• sujets qui auront émergé des exposés du jeudi

6ème Journée CAVIAR :

Date : Mardi 11 Octobre 2022

Lieu : Université d'Artois, Arras - Salle 04 – Maison de la recherche (bâtiment I) -

 

 

Programme :

• 15h-15h45 : Vers un dialogue entre les SHS et l'Intelligence Artificielle, pour interroger les politiques publiques des Suds (Nelly Robin, Lakhdar Sais).

• 15h45-16h15 :Knowledge Integration in Deep Clustering (Thi-Bich-Hanh Dao).

• 16h15-16h45 :Pause café.

• 16h45-17h15 :Best Heuristic Identification for Constraint Satisfaction (Hugues Wattez) [slides].

• 17h15-17h45 : Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition (Grégoire Menguy) [slides].

• 17h45-18h15 :GH-CNN: A new CNN for coherent hierarchical classification (Mayouf Mouna Sabrine).

• 16h15-16h45 :Clôture de la journée.

5ème Journée CAVIAR :

Date : Mardi 30 Novembre 2021

Lieu : LIRMM - Bat5-01.124, Montpellier  - [ZOOM session]

 

 

Programme :

• 9h30-9h50 : Café. 

• 9h50-10h : Ouverture de la journée. (N. Lazaar) 

• 10h-11h :  Programmation linéaire pour l'extraction d'ensembles de motifs et leur application. (Abdelkader Ouali) [slides]

• 11h-12h : Human-in-the-loop or Human-in-the-way. (A. Zimmermann) [slides]

• 12h-14h : Repas.

• 14h-15h : Approches déclaratives pour le clustering sous contraintes. (Thi-Bich-Hanh Dao) [slides]

• 15h-15h30 : Constraint Programming for Itemset Mining with Multiple Minimum Supports (Bachir-Mohamed Belaid) [slides]

• 15h30-16h : Pause café.

• 16h-17h20 : Discussions et mini-groupes de travail.

• 17h20-17h30 : Clôture de la journée.