06/11/2019 – Talk: “A Visual Notation and Programming Environment for Dependent Types” by Holger Stadel Borum
Holger Stadel Borum will present his work on a visual notation and programming environment for depend types. Detailed information below. SPEAKER Holger Stadel Borum, PhD Fellow. TITLE A Visual Notation and[…]
16/10/2019 – Talk: “Connecting Reality and Code in Object-Oriented Programming by Visualizing Objects at Runtime” by Jakob Thorsen Staugaard
Jakob Thorsen Staugaard will present the work he is carrying out as part of his MSc thesis. Detailed information below. SPEAKER Jakob Thorsen Staugaard, MSc student. TITLE Connecting Reality and Code[…]
11/09/2019 – Talk: “Affiliated Participation In Open Source Communities” By Adam Alami
Adam Alami will present his work on affiliated participation in open source communities. Detailed information below. SPEAKER Adam Alami, PhD Fellow. TITLE Affiliated Participation in Open Source Communitie ABSTRACT Background: The adoption[…]
28/08/2019 – Talk: “Information-Flow Security: A Brief Introduction” By Willard Rafnsson
Willard Rafnsson will give an introduction to information-flow security. Detailed information below. SPEAKER Willard Rafnsson, Assistant Professor, ITU TITLE Information-Flow Security: A Brief Introduction ABSTRACT This talk is a brief introduction[…]