LATEST SEMINARS
Ian Hayes (University of Queensland) – Synchronous Concurrent Refinement Algebra and Fairness
In order to support reasoning about concurrent programs in a rely/guarantee style, we have developed a synchronous refinement algebra similar to Milner's SCCS. [...]
Alan Mishchenko (UC Berkeley) – Enhancing PDR/IC3 with Localization Abstraction
Property Directed Reachability (aka PDR/IC3) is the strongest engine presently used in formal verification tools. [...]
Duy Tin Vo – Sentiment Analysis for Short Texts
Sentiment analysis has significantly attracted research attention both in academia and industry due to the exponential growth of sentimentally big data on the Internet, especially for short text such as product reviews and micro-blogging sites. [...]
LATEST NEWS & EVENTS
Champion in Hood Disrupt Proptech Hackathon 2017
Congratulations for being the champion in the Hood Disrupt Proptech Hackathon 2017 [...]
Finalist and Security by Design Prize in IMDA code::XtremeApps:2017
Congratulations for being the finalist and winning the Security by Design Prize in IMDA code::XtremeApps:2017 [...]
Raffles Girls School – Sphero the Hero Workshop
Raffles Girls School - Sphero the Hero Workshop [...]