(email)
A Metalanguage for Guarded Iteration 7/31/2018
By Sergey Goncharov, Friedrich-Alexander-Universität Erlangen-Nürnberg.
Formal design of embedded systemsBy Naijun Zhan, Distinguished Research Professor at the Chinese Academy of Sciences, China.Read more
Privacy-aware Databases
A talk on An Executable Formal Framework for Safety-Critical Human Multitasking
Using Coq and Recurrent Neural Network to Model and Verify Timed Connectors 2/7/2018
Resource-Aware Models in ABSBy Einar Broch Johnsen, HASLab, INESC TEC & Minho University.
Blockchain Technology Workshop
Read more
An Algebraic Approach to the Design of Block Ciphers 11/8/2017
By Óscar Pereira, HASLab, INESC TEC & Minho University.
Energy Efficiency Across Programming Languages
VOCAL — The Verified OCaml LibraryBy Mário Pereira, LRI — Université Paris-Saclay, France.