Doctoral Program Logical Methods in Computer Science
Funded Doctoral positions
Massimiliano Giacomin
An input/output characterization of abstract argumentation frameworks and semantics – June 4, 10:00
Jakob Lechner
Mitigation of Transient Faults and Timing Variations in GALS Circuits – May 8, 5pm