MPRI 2.19. Biochemical programming

This course takes place on Monday, room 1004 (Sophie Germain building) , between 12:45 and 14:45.

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 (Monday, the 9th of December)
    2. slides
  2. Syntax, semantics, and simulation (Monday, the 9th of December)
  3. Static analysis (Monday, the 16th of December)
  4. Causal analysis (Monday, the 6th of January)
  5. Exact model reduction (Monday, the 13th of January)
    • Some notions of information flow (slides)
    • Exact model reduction (slides)
    • Groups of symetries (slides)
    • Approximated model reduction (models of polymers) (slides)

Past Exams