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