Content-Type: text/html; charset= »utf-8″
Rappel : le lancement des s=C3=A9minai=
res mensuels du GDR IA, c=E2=80=99est demain !
ssage r=C3=A9exp=C3=A9di=C3=A9 :
Destercke <=
sebastien.destercke@hds.utc.fr>
res mensuels du GDR IA: premier expos=C3=A9 de L. Paulev=C3=A9 (7/4 =C3=A0 =
11h) + annonce des suivants.
5 UTC+2
fuser largement cette annonce ***
Chers coll=
=C3=A8gues,
Nous sommes heureux de vous annonc=
er le lancement des s=C3=A9minaires
mensuels du GDR IA, qui v=
erront intervenir chaque mois un orateur sur
un sujet diff=C3=
=A9rent, propos=C3=A9s par les groupes de travail du GDR ou les
membres du comit=C3=A9 scientifique.
Le but=
de ces expos=C3=A9s est de mettre en lumi=C3=A8re, au sein d’un expos=C3=
=A9
accessible =C3=A0 la plus grande partie de la communaut=
=C3=A9, les domaines
vari=C3=A9s couverts par le GDR et ses a=
ctivit=C3=A9s. Si la langue des slides
et du discours sont la=
iss=C3=A9s au choix de l’orateur, notre pr=C3=A9conisation
pa=
r d=C3=A9faut sont des slides en anglais avec le libre choix de la langueutilis=C3=A9e.
Le lien pour le pr=
emier expos=C3=A9 est le suivant:
https://utc-fr.zoom.us/j/87812622420
Les informations sur les s=C3=A9minaires se tro=
uvent sur la page du GDR IA:
https://www.gdria.fr/seminaire
Le premier s=C3=A9minaire sera donn=C3=A9 par Lo=
=C3=AFc Paulev=C3=A9, le 7/4 =C3=A0 11h:
Titre=
: Symbolic learning of ensembles of Boolean networks predictive for cellfate decision
R=C3=A9sum=C3=A9: In=
this talk, I’ll give a global overview of challenges related to the
learning of dynamical models of cellular differentiation processes.=
I’ll present on-going work mixing formal methods for modelli=
ng dynamical
systems and model synthesis from constraints on =
expected emerging
behaviors. This will be illustrated in the =
scope of the synthesis and
analysis of ensembles of Boolean a=
utomata networks using Answer-Set
Programming from data relat=
ing to the structure of the network and
observations of the s=
ystem.
Prochains s=C3=A9minaires:
* Joao Marques-Silva, 28 Avril: Formal Reasoning Methods i=
n Explainable AI
* Anne Siegel, 26 mai: Modell=
ing unconventional biological systems:
dynamical systems and/=
or reasoning?
Nous tenons =C3=A0 remercier tou=
s les GT qui nous ont fait remonter des
propositions de s=C3=
=A9minaires, et tous les GT qui le feront.
Au =
plaisir de vous "voir" bient=C3=B4t.
Nicolas et S=C3=A9bastien (D.)
=