~~NOCACHE~~
/* DO NOT EDIT THIS FILE             */

[[en:seminaires:hdr:index|Habilitation defences]]\\
Thursday January 9, 2025, 2PM, Amphi Turing\\
**Jean Krivine** (IRIF) //Models and Languages For Concurrent Systems//
<button type="link" size="xs" collapse="b22-3729">{{icon>info-circle?lg&color=#777}}</button>\\
<collapse id="b22-3729" collapsed="true">
<well size="sm">
My HDR manuscript survey research on models for concurrent systems. It essentially covers two topics: (1) reversible computations and (2) graph rewriting for Systems biology. 

We show that (1) and (2) can actually be modelled using traditional causal semantics for concurrency, which are based on event structures, a theory developed by Winskel in the late 80s.
</well>
</collapse>