MPRI BioProg Biochemical programming

This course takes place on Wednesday, room 1002 (Sophie Germain building), from 16:15 and 19:15.

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 (Wednesday, the 10th of December)
    2. slides
  2. Syntax, semantics, and simulation (Wednesday, the 10th of December)
  3. Static analysis (Wednesday, the 17th of December)
  4. Causal analysis (Wednesday, the 7th of January)
  5. Exact model reduction (Wednesday, the 14th 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