Navigation auf uzh.ch
Yvonne Mülle will give a talk on "Functions and Predicates on Ongoing Data Types".
The meeting takes place at 1400h in BIN 1.D.29. The talk is held in English.