BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen - ECPv5.7.0//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen
X-ORIGINAL-URL:https://www.greyc.fr
X-WR-CALDESC:évènements pour GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20250330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20251026T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251007T104500
DTEND;TZID=Europe/Paris:20251007T114500
DTSTAMP:20260419T024430
CREATED:20250901T144053Z
LAST-MODIFIED:20250924T083853Z
UID:11941-1759833900-1759837500@www.greyc.fr
SUMMARY:Séminaire Algorithmique : Sarah Riva (LIFL\, Univ. Lille) « Control and synthesis of minimal trap spaces in Boolean Network »
DESCRIPTION:Since recent years\, we observe a surge of successful applications of Boolean networks (BNs) in biology and medicine for the modeling and prediction of cellular dynamics in the case of cancer and cellular reprogramming. Such applications face two main challenges: being able to design a qualitative Boolean model which is faithful to the behavior of the biological system and being able to compute predictions to control its (long-term) dynamics. From a computational point of view\, the latter problem mostly depends on the complexity of the dynamical property to enforce\, while the former additionally suffers from the combinatorics of candidate models. \nMinimal trap spaces (MTSs) capture subspaces in which the Boolean dynamics is trapped\, whatever the update mode. They correspond to the attractors of the most permissive mode. Due to their versatility\, the computation of MTSs has recently gained traction\, essentially by focusing on their enumeration. We address the logical reasoning on universal properties of MTSs in the scope of two problems: the reprogramming of Boolean networks for identifying the permanent freeze of Boolean variables that enforce a given property on all the MTSs\, and the synthesis of Boolean networks from universal properties on their MTSs. Both problems reduce to solving the satisfiability of quantified propositional logic formula with 3 levels of quantifiers.
URL:https://www.greyc.fr/event/seminaire-algorithmique-sarah-riva-lifl-univ-lille/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,General,News,Séminaire Algo
END:VEVENT
END:VCALENDAR