2011: Computer science workshop

March 24–25, 2011, a Workshop on Logic and Computer Science takes place at the KGRC, organized by Laura Kovacs (TU Wien) and Sy Friedman (KGRC).

Program

Thursday, March 24
09:20 – 10:10Tetsuo Ida (Tsukuba)Theory of Handcrafted and Computational Fold
10:20 – 11:10Masahiko Sato (Kyoto)Formalization of Mathematics
11:30 – 12:00Temur Kutsia (Linz)Anti-Unification for Unranked Terms and Hedges
14:00 – 14:50Fairouz Kamareddine (Edinburgh)MathLang, a system for the computerisation of mathematics
15:00 – 15:50 Florian Zuleger (Vienna)Termination proofs for imperative programs
16:30 – 17:20Yike Guo (London)Wikianalytics
17:30 – 18:00Sy Friedman (Vienna)Strong isomorphism reductions in complexity theory
19:00Workshop Dinner: Wiener Kochsalon (everyone invited)
Friday, March 25
09:20 – 10:10Angelina Vidali (Vienna)Designing Truthful Mechanisms
10:20 – 11:10Tudor Jebelean (Linz)Induction as Termination Principle
11:30 – 12:00Laura Kovacs (Vienna)Experiments with Invariant Generation Using a Saturation Theorem Prover
14:00 – 14:50Agata Ciabattoni (Vienna)Systematic (and algebraic) proof theory for substructural logics
15:00 – 15:50Thomas Eiter (Vienna)Paracoherent Answer Set Programming
Sekt and Sandwiches


Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2011-03-21, 15:23.