Department of Informatics

Warning message

There has not been added a translated version of this content. You can either try searching or go to the "area" home page to see if you can find the information there
Department seminar

Speed Talks

Main content

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"

Wrya Kadir

"Code-based cryptography"

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