MPRI 2.19. Biochemical programming

This course takes place on TuesdayFriday, room 1002 (Sophie Germain building) , between 4:15 PM and 7:15 PM.

Software

Most of the ressources that are useful for the class is available on the following website: https://kappalanguage.org. In particular, the UI can be used online from the following url: https://tools.kappalanguage.org/try/ The tools can also be installed as a package: https://tools.kappalanguage.org/nightly-builds/

Lessons

  1. Introduction (Tuesday, the 7th of December on GTM)
  2. slides
  3. Syntax, semantics, and simulation (Tuesday, the 7th of December)
  4. Static analysis (Tuesday, the 14th of December)
  5. Causal analysis (Tuesday, the 4th of January on GTM https://www.gotomeet.me/DirectionETUDESDI/mpri219cours3causality )
  6. Exact model reduction (Tuesday, the 4th of January on GTM https://www.gotomeet.me/DirectionETUDESDI/mpri219cours4modelreduction)
  7. Approximated model reduction (Tuesday, the 4th of January on GTM https://www.gotomeet.me/DirectionETUDESDI/mpri219cours4modelreduction)