This blog is for a past version of the course. You can also consult the current MLCSB course web pages.
Lectures are on Mondays and Thursdays at 4.10pm during Semester 2, in room 4.18 of the David Hume Tower.
The following are links to all available slides from the course lectures. Please note that these an accompaniment to accompany the lectures, not comprehensive notes. Many lectures also include considerable material presented on the blackboard. You should supplement the slides with notes taken in lectures, and from your own reading. References and reading recommendations will be given in slides and on the blog, with further guidance in lectures themselves.
- Introductory Talk from MSc Freshers’ Week
- Lecture 1: Systems and Models
- Lecture 2: Petri Nets
- Lecture 3: Net Invariants
- Lecture 4: Labelled Transition Systems
- Lecture 5: Linear Temporal Logic
- Lecture 6: Branching Time and CTL
- Lecture 7: LTL and CTL to CTL*
- Lecture 8: Mix, match and use temporal logics
- Lecture 9: Continuous time
- Lecture 10: Stochastic Petri Nets and Markov Chains
- Lecture 11: Markov Chains and Stochastic Logics
- Lecture 12: Larger Systems and Stochastic Kinetics
- Lecture 13: Stochastic Chemical Kinetics — Paper by Gillespie
- Lecture 14: Continuous Petri Nets and Differential Equations
- Lecture 15: Process Algebras for Systems Biology
- Lecture 16: Modelling tools for Bio-PEPA — Guest lecture by Stephen Gilmore
- Lecture 17: Modelling Biological Compartments in Bio-PEPA — Paper by Ciocchetta and Guerriero