Aarhus University logo
Department of Computer Science
Reading papers is part of any academic daily routine. And it sounds simple enough? Start at the beginning, finish at the end, hope that everything in…
The chart doctor is in: Bring your ailing visuals to the Chart Clinique for some advice on how to make them better! Whether you've got a paper…
QUBITS Seminar where Jens Palsberg (UCLA) will present a scalable approach to testing quantum error correction, combining stratified fault injection…
Abstract:
This talk is a gentle introduction to higher-order bialgebraicdenotational semantics in three parts. In the first act, I will arguefor…
Title
Type theory, in and around computer science
Abstract
This talk concerns my work on type theory, a family of statically typed functional…
Joint work with Mouloud Amara, Giovanni Bernardi and Adrian Francalanza.
In runtime verification (RV), a logical formula φ,…
φ
Department of Computer Science, Aarhus University is hosting a summer school in Programming Languages, Logic and Software Security.
Page 1 of 5
