by CASTOR | Nov 20, 2019 | Uncategorized
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: http://www.cse.chalmers.se/~bahafs/CiSS2019/...
by CASTOR | Sep 16, 2019 | Uncategorized
Roberto Castañeda Lozano won an Honorable Mention for this year’s Doctoral Research Award of the Association of Constraint Programming: Detailed information: https://www.a4cp.org/node/1265 This year’s competition was particular fierce both in number of nominations and...
by CASTOR | May 28, 2019 | Uncategorized
Benoit Baudry and his co-authors received the “Data Showcase Award” at the MSR’19 conference (Mining Software Repositories 2019) for the dataset described in the following paper and publicly available on Zenodo:...
by CASTOR | Feb 6, 2019 | Uncategorized
Stefan Hagdahl, product manager at Saab and adjunct in the CASTOR’s board gave an interview on the KTH’s blog (in Swedish). Link: https://www.kth.se/samverkan/samverkansprojekt/oppenhet-ger-battre-produkter-1.875270
by CASTOR | Jan 14, 2019 | Uncategorized
The KTH Security Seminar aims at bringing together security and privacy researchers at KTH and the outside world to communicate about computer security. With the goal of boosting interaction and collaboration between different actors from academia and industry, we...