[bull-ia] Journées BIOSS-IA 22-23 juin à Gif : Modèles logiques pour la représentation formelle des systèmes…

https://www.lri.fr/~pauleve/bioss-ia-0617/

Modèles logiques pour la représentation formelle des systèmes vivants

22-23 juin 2017, campus CNRS de Gif-sur-Yvette

Programme

Ces journées ont pour but de donner un aperçu des recherches actuelles en France sur la représentation formelle et le raisonnement automatique appliqués à l’étude des systèmes vivants, en particulier menées par les participants au GT BIOSS et au pré-GDR IA, et de décider la création éventuelle d’un GT commun sur ce thème.

Avec le soutien du GdR BiM, GT BIOSS, et preGDR IA.

Inscription

Attention, le nombre de places étant limité, l’inscription est obligatoire: formulaire d’inscription.

Programme

Attention ! Ce programme est préliminaire et est suceptible d’être modifié, hormis l’heure de début du jeudi et l’heure de fin du vendredi.

Jeudi 22 Juin, 13h30 – 18h30

Salle 2, bâtiment 31

13h30 – 14h00 Accueil et mot d’introduction
14h00 – 15h00 Keynote François Fages (Inria)
En quête du logiciel du vivant : succès et difficultés du paradigme de la vérification de programmes en biologie cellulaire
15h00 – 15h20 Exposé Laurent Trilling (Univ Grenoble)
Modélisation déclarative de réseaux de régulation génique. Apport de la programmation logique non-monotone 
15h20 – 15h50

15h50 – 16h10		 Pause café
Exposé Morgan Magnin (École Centrale Nantes)
Enjeux de l’apprentissage de modèles dynamiques des réseaux biologiques par la programmation logique 
16h10 – 16h30 Exposé Anne Siegel (CNRS)
Raisonner sur des abstractions et invariants de systèmes dynamiques en biologie avec ASP
16h30 – 16h50 Exposé Céline Rouveirol (Univ Paris-Nord)
Découverte dans les réseaux biologiques hétérogènes : l’expérience Adalab
16h50 – 17h10 Pause café
17h10 – 17h30 Exposé Béatrice Duval (Univ Angers)
Analyse différentielle de réseaux
17h30 – 17h50 Exposé Philippe Dague (Univ Paris-Sud)
Analyse de réseaux métaboliques en présence de contraintes biologiques : approches géométriques, combinatoires et logiques 
17h50 – 18h10 Exposé Jacques Nicolas (Inria)
Premiers pas dans la recherche d’attracteurs  de réseaux booléens synchrones en ASP
18h10 – 18h30 Discussions

Vendredi 23 Juin, 9h30 – 15h30

Salle 2, bâtiment 31

9h30 – 9h50  Exposé Andrei Doncescu (Univ Paul Sabatier Toulouse)
Quel type de modélisation pour des interactions entre composants biologiques ?
9h50 – 10h50 Keynote Pierre Siegel (Univ Aix-Marseille)
Logiques non-monotones pour les réseaux de gènes et les systèmes dynamiques booléens
10h50 – 11h20 Pause café
11h20 – 11h40 Exposé Joëlle Despeyroux (Inria)
A logical framework for systems biology
11h40 – 12h00 Exposé Loïc Paulevé (CNRS)
Approximations de problèmes PSPACE en SAT pour la reprogrammation cellulaire
12h00 – 12h20 Exposé Franck Delaplace (Univ Evry)
Abduction based drug target discovery using boolean control network
12h30 – 14h00 Déjeuner
14h00 – 15h30 Discussions : liens entre le GT BIOSS et le préGDR IA, pérennisation institutionnelle de ce GT, actions futures