Date : 24 novembre 2020
Lieu : virtuel
Organisateur : Philippe Dague
9h30-10h15 -- Thomas Schiex : AI for fun and serious puzzles:
bridging symbolic and numerical reasoning to learn how to solve the
Sudoku or design new protein (slides)
10h15-11h -- Emmanuel Bouilhol (travail avec Macha Nikolski) :
Deep Learning approaches for reliable quantification of multi-omics
cell imaging datasets to interrogate RNA and protein spatial and
temporal subcellular interactions(slides)
11h15-12h00 -- Maxime Folschette (travail avec Morgan Magnin et
Tony Ribeiro) : GULA: Learning (From Any) Semantics of a Biological
Regulatory Network (slides)
12h00-12h45 -- Anna Niarakis (travail avec John Bachman, Angela
Bauch, Benjamin Gyori, Dieter Maier, Marek Ostaszewski) : AI-assisted
human biocuration of molecular mechanisms in the COVID-19 Disease Map
project (slides)
13h45-14h30 -- Cédric Gaucherel : A formal language for
ecosystems (slides)
14h30-15h15 -- Jean Krivine (travail avec Adrien Husson) : Logics
as Knowledge assembly code for Molecular Biology
(slides)
15h15-16h -- Sergiu Ivanov (travail avec Nicolas Glade, Rémi
Segretain et Laurent Trilling) : A Methodology for Evaluating the
Extensibility of Boolean Networks’ Structure and Function
(slides)
16h15-17h -- Tarek Khaled (travail avec Belaid Benhamou) : Une
approche basée sur l'ASP pour la représentation des réseaux booléens et
la détection des attracteurs : application aux réseaux de gènes
(slides)
17h-17h45 -- Pierre Siegel (travail avec Andrei Doncescu, Vincent
Risch et Sylvan Sené) : Systèmes Dynamiques Booléens et algorithmes
basés sur SAT (slides)
17h45-18h00 -- Discussion - Perspectives
Dernière modification le 24/11/2020