MPRI 2.19. Biochemical programming

This course takes place on Tuesday, 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
  2. Syntax, semantics, and simulation (Tuesday, the 7th of December)
  3. Static analysis (Tuesday, the 14th of December)
  4. Causal analysis (Tuesday, the 4th of January)
  5. Exact model reduction (Tuesday, the 11th of January)
  6. Approximated model reduction (Tuesday, the 11th of January)

    7. Past Exams