In Memoriam - Eelco Visser (1966 - 2022)
Date: Tue, April 05, 2022
Time: 12:00
Room: TBA
Previous:
Jeff Smits | Practice presentation of the paper: Incremental compilation for Stratego
Next:
| Universe Management in UniMath