Invited Talk at the Upcoming Conference on Circularity in Syntax and Semantics

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, Nov 20-22 2019. More info:

Distinguished Artifact Award

Elias Castegren (post-doc researcher in David Broman's group) and his colleague Kiko Fernandez-Reyes from Uppsala received a distinguished artifact award at the ACM SIGPLAN International Conference on Software Language Engineering (SLE) two weeks ago for their paper...

New VR Grant for a CASTOR Researcher

Cyrille Artho has received a new VR grant for his project TEMOS (Temporal monitoring of smart contracts). Smart contracts are computer programs which execute on top of blockchains to manage the flow of funds, exchange of assets, and transfer of digital rights between...

Our CI Art Hackathon Mentioned on the KTH Facebook page

With a short video presenting excerpts on what the participants have been demonstrating at R1, follow this link.    

Art Makes Hidden Software Visible – Article on the KTH Blog

Read the full article (in Swedish):  

Our CASTOR Software Days Promoted on the KTH Research Blog

An article has been published on the KTH research blog from promoting our CASTOR Software Days and our hackathon! Read the article in English or in Swedish.