This Department seminar is composed by 3 speed talks given by our own in-house researchers.
Crystal Chang Din
"Formal verification for the concurrent modelling language ABS"
Pål Grønås Drange
"What competitive programming can teach you about non-competitive programming"
The goal is to make us a bit better informed on what our department colleagues are focusing on in their research.
There will be served muffins at 13:45