Mini-Workshop TCS at TuDo and RUB
hour talk) R. Ramanujam, IMSC Chennai Verifiying that an e-election is "Free and Fair" abstract MW 9, April 9th, 2008, Chair 1: Speaker Subject Ingo Battenfeld Computational effects in topoligical domain theory [...] examples from current research where the concept of WSTSs helps to get decidability results. MW 18, August 9th, 2011, Chair 1 Gabriele Kern-Isberner: A Default Logical Semantics for Defeasible Argumentation (joint [...] Patrick Krümpelmann, LS 6 Towards a general framework for updates in logic programming. MW 11, July 9th, 2008, Chair 1: Speaker Subject Lena Wiese, LS6 preCQE: preprocessing for controlled query evaluation …
