École Jeunes Chercheuses et Jeunes Chercheurs en Informatique Mathématiques (EJCIM 2023)
Analyse statique et réduction de modèles de voies de signalisation intracellulaire
Ce cours aura lieu le vendredi 23 juin sur le
site du campus du Futuroscope (en salle immersive IFMI H6 de 08:15 à 12:30 puis dans la salle BE0.2 du bâtiment BE H4 de 14:00 à 16:00 )
Transparents
Logiciel
La plupart des ressources qui seront utiles pour le cours et ses activités sonr accessible en ligne sur le site suivant :
https://kappalanguage.org.
En particulier, l'interface utilisateur en ligne peut être utilisée à l'adresse suivante :
https://tools.kappalanguage.org/try/
Les outils peuvent également être installés en tant que paquets :
https://tools.kappalanguage.org/nightly-builds/
Enfin, les plus courageux peuvent installer les outils à partir des sources :
https://github.com/Kappa-Dev/KappaTools
Travaux pratiques
Analyse statique (14:00-15:00)
Analyse causale (15:00-16:00)