(1 - 10 von 11
)
Seminar Aktuelle Themen der Theoretischen Informatik im SoSe 2018
www2.informatik.hu-berlin.de
Literatur: Martin Grohe, Christof Löding, Martin Ritzert: "Learning MSO-definable hypotheses on strings". In Proc. ALT 2017, pp LINK. Eine etwas ausführlichere Vorabversion findet sich hier: LINK. 1 Vortrag zum Thema Überdeckungen von Anfrageergebnissen: Kompakte Repräsentationen von Anfrageergebnissen für Join-Anfragen.
CALL FOR PAPERS - GandALF 2015
eatcs.org
Christof Löding, Aachen Germany Richard Mayr, University of Edinburgh, UK Igor Melatti, Sapienza University of Rome Italy Henryk Michalewski, Warsaw, Poland › index.php › home › 1-news › c...
CIAA : 20th International Conference on Implementation ...
www.wikicfp.com
Christof Löding (Aachen, Germany) Program Commitee: Parosh Aziz Abdulla (Uppsala University, Sweden), Marie-Pierre Beal (Universite Paris-Est ... Christof Löding (Aachen) Andrew McGregor (Amherst) Stefan Mengel (Lens) Rolf Niedermeier (Berlin, co-chair) Dirk Nowotka (Kiel) Daniel Panario (Carleton) › cfp › servlet › event.showcfp
Games, Automata, Logics, and Formal Verification
resources.illc.uva.nl
Sep 23, — ... Chennai Mathematical Institute India Orna Kupferman, Hebrew Unversity Israel Christof Löding, Aachen Germany Richard Mayr, University of Valentin Goranko (Copenhagen) Erich Graedel (Aachen) Ranko Lazic (Warwick) Christof Loeding (Aachen) Damian Niwinski (Warsaw) Wieslaw Zielonka (Paris) › LogicList › newsitem
Programme - MIMUW
www.mimuw.edu.pl
16:30 Christof Löding (Aachen) The Non-Deterministic Mostowski Hierarchy and Distance-Parity Automata. 17:00 Christopher Broadbent (Oxford) Higher Order ... › ~games08 › programme
Workshop on "Automata and Algorithmic Logic", June 2009,...
resources.illc.uva.nl
... by Bakh Khoussainov (Auckland) on Proving non-automaticity, and - by Christof Loeding (Aachen) on Definability questions for MSO as well ...
LICS Newsletter 121
lics.siglog.org
... München, Germany Carroll Morgan University of New South Wales * Local Organizing Committee Zarina Shukur, Universiti Kebangsaan Malaysia (Chairperson) Nazlia Omar ...
ETAPS 2006
www.complang.tuwien.ac.at
Paolo Baldan (Univ. Ca Foscari di Venezia, I), Andrea Corradini (Univ. di Pisa, I), Tobias Heindel, Barbara König (Univ. Stuttgart, D), and Paweł Sobociński (Univ. of Cambridge ...
sortiert nach Relevanz / Datum