É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)