Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol.

I have added the paper to the handouts folder. (This is only for PhD students taking ...

Nov. 29, 2021 9:09 AM

The lecture tomorrow is cancelled as I am sick and coughing a lot. Really sorry! Please remember to prepare questions for the repetition lecture and send me by email.

Nov. 16, 2021 4:02 PM

Eksamensform: Det blir muntlig eksamen i år.

Dato: 8-10. desember (dere får et presist eksamenstidspunkt når vi vet nøyaktig hvor mange som melder seg opp til eksamen)

Oct. 13, 2021 2:24 PM