InfoBlender

48th InfoBlender

Date: 
Tuesday, July 31, 2018, 2:00pm - 2:30pm

A Metalanguage for Guarded Iteration 7/31/2018

By Sergey Goncharov, Friedrich-Alexander-Universität Erlangen-Nürnberg.

46TH INFOBLENDER

Date: 
Monday, April 16, 2018, 1:45pm - 3:00pm

Formal design of embedded systems
By Naijun Zhan, Distinguished Research Professor at the Chinese Academy of Sciences, China.
Read more

45th InfoBlender Seminar

Date: 
Wednesday, March 21, 2018, 2:00pm - 2:30pm

Privacy-aware Databases

By Rogério Pontes, HASLab, INESC TEC & UMinho.

44th InfoBlender Seminar

Date: 
Wednesday, February 21, 2018, 1:30pm - 2:30pm

A talk on An Executable Formal Framework for Safety-Critical Human Multitasking 

By Giovanna Broccia, University of Pisa, Italy.

42nd InfoBlender Seminar

Date: 
Thursday, December 14, 2017, 4:00am - 5:00pm

Resource-Aware Models in ABS
By Einar Broch Johnsen, HASLab, INESC TEC & Minho University.

Blockchain Technology Workshop—InfoBlender

Date: 
Thursday, December 7, 2017, 6:00pm - 8:00pm

Blockchain Technology Workshop

Read more

40th InfoBlender Seminar

Date: 
Wednesday, November 8, 2017, 1:30pm - 3:00pm

An Algebraic Approach to the Design of Block Ciphers 11/8/2017

By Óscar Pereira, HASLab, INESC TEC & Minho University.

39th InfoBlender Seminar

Date: 
Wednesday, October 18, 2017, 1:30pm - 3:00pm

Energy Efficiency Across Programming Languages

37th InfoBlender Seminar

Date: 
Monday, July 24, 2017, 10:30am - 12:00pm

VOCAL — The Verified OCaml Library
By Mário Pereira, LRI — Université Paris-Saclay, France.