News & Events

Nov 20-22 2019, Mads Dam is giving an invited talk “First-Order mu-calculus as a Language Independent Program Verification Framework” at the conference on Circularity in Syntax and Semantics in Gothenburg, URL: http://www.cse.chalmers.se/~bahafs/CiSS2019/
October 14-16 CASTOR Software Days
2019-07-01: Martin Monperrus, Talk at UC Davis, “SequenceR: Sequence-to-Sequence Learning for End-to-End Program Repair“
2019-04-18: Talk about Zimin Chen’s PhD work at University College London
2019-04-17: Talk about Zimin Chen’s PhD work at Microsoft Research Cambridge
2019-01-23 Radio: AI och samhällsutvecklingen
2018-06-26 Tillförlitliga fullstack programvarusystem vid KTH