Descriptional Complexity of Formal Systems - (from 22/01/2019 to 08/02/2019)
Practical Approaches to Cloud Assurance and Security - (from 20/11/2018 to 23/11/2018)