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:20260329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20261025T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20260127T104500
DTEND;TZID=Europe/Paris:20260127T114500
DTSTAMP:20260418T201143
CREATED:20251219T085126Z
LAST-MODIFIED:20260130T101130Z
UID:12015-1769510700-1769514300@www.greyc.fr
SUMMARY:Séminaire Algorithmique : « Data-driven design of logic-based models of biological processes »\, Samuel Pastva (Masaryk Univ. Brno\, Tchéquie)
DESCRIPTION:Modern cell biology generates a treasure trove of experimental data\, allowing us to measure many biochemical processes in individual cells with single-molecule resolution. However\, applying this data to generate explainable predictions is often challenging due to the high number of entities\, interactions\, and environmental factors in question. Systems biology utilizes logic-based explainable models (e.g.\, Boolean networks) to address this challenge. Historically\, many such models were designed manually by domain experts; however\, this approach is not scalable for the modern era\, and new data-driven approaches are needed. \nIn this talk\, I will provide a state-of-the-art overview of methods for developing and analyzing logic-based models that integrate these large\, cutting-edge genomic datasets. First\, we will cover the formalization of biological observations into logical constraints. Specifically\, which formal assumptions can be extracted from biological data and what the limitations of our current measurement techniques are. Then\, I will present methods based on automated reasoning (SAT/SMT/ASP) and symbolic data structures (binary decision diagrams) that allow us to learn formally verified model candidates from these observations. Finally\, because complex systems rarely have a single “best” logic-based model\, we will conclude by discussing how to analyze and refine large ensembles of logic-based models (so-called partially specified Boolean models) that capture the plausible behaviors of a biological system.
URL:https://www.greyc.fr/event/seminaire-algorithmique-samuel-pastva-masaryk-univ-brno-tchequie/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,General,News,Séminaire Algo
END:VEVENT
END:VCALENDAR