Christoph Lenzen received a diploma degree in Mathematics from the University of Bonn, Germany, and subsequently performed his graduate studies in Distributed Computing in the group of Professor Roger Wattenhofer at ETH Zurich. In 2011, he was a postdoctoral Fellow at the Hebrew University of Jerusalem, with Danny Dolev. Currently, he is a postdoctoral fellow at the Weizmann Institue of Science, with Professor David Peleg. His research interests cover distributed computing in a wider sense, including topics such as randomized load balancing, graph algorithms, and clock synchronization. He published e.g. at PODC, SPAA, FOCS, and STOC, and in JACM. In 2009, he and his coauthors received the PODC best paper award for their work on gradient clock synchronization.

The program will consist of

    Invited talks
    Contributed talks
    Birthday Banquet

Provisional Schedule

You can view the directions to the seminar room Zemanek here.

Friday
 09:30-10:15   Matthias Baaz         CERES and other gods in logic
 10:15-10:45   Coffee break
 10:45-11:30   Georg Gottlob         From Subsumption to Hypertree Decompositions
 11:30-12:00   Uwe Egly                  Sequent and resolution calculi for quantified Boolean formulas
 12:00-12:30   Daniel Weller           Skolemization and the length of proofs
 12:30-14:15   Lunch break
 14:15-15:00   Daniele Mundici     Consequence and Bouligand-Severi tangents in Lukasiewicz logic
 15:00-15:45   Dov Gabbay            The Equational Approach to CF2 Semantics
 15:45-16:15   Coffee break
 16:15-17:00   Andrei Voronkov
 17:00-17:30  Peter Auer                Combinatorial properties of intersection-closed classes related to learning

 Saturday
   09:30-10:15  Hans De Nivelle   Geometric Resolution with Equality, Function Symbols and Lemmas
   10:15- 10:45  Stefan Hetzl          Herbrand’s Theorem and Focusing in the Sequent Calculus
   10:45-11:30  Coffee break
   11:30-12:00  Tanel Tammet       Logic and probabilities for recommender systems
   12:00-12:30  Georg Moser         KBOs, Ordinals, Subrecursive Hierarchies and All That
   12:30-13:00   Giselle Reis          An extended framework for specifying and reasoning about proof systems

Social dinner

Friday May 4th, 18:30

Eischer’s Kronenstüberl
Neustift am Walde 87
1190 Wien
Tel.: 0043 1 440 29 38

Sponsors

• VCLA
• KGS

Special issue

As part of his birthday celebration, and as a tribute to Professor Leitsch’s career, there will be a special Issue of Journal of Logic and Computation. The special issue is open for high-level research papers about Mathematical Logic and Theoretical Computer Science.
Submissions are not restricted to works presented at the workshop.
Submission Deadline: January 15, 2013.
The papers should be submitted at ta.cigolnull@mac

Scientific committee

Matthias Baaz, Agata Ciabattoni
Christian Fermueller
Gernot Salzer
Helmut Veith

Organizing committee

Matthias Baaz, Agata Ciabattoni
Christian Fermueller
Stefan Hetzl
Gernot Salzer
Helmut Veith
Daniel Weller

March 28 10:00-12:00
March 29  14:00-16:00
March 30  10:00-12:00
April 2   10:00-12:00
April 3   10:00-12:00

For a list of invited speakers, please see below.

Reasoning Web 2012 Summer School

From September 03-08, 2012, the 8th Reasoning Web Summer School will take place at the Vienna University of Technology, focusing on foundational issues concerning the development and the use of logic-based languages, reasoning on and querying of the Semantic Web. For more information, please visit http://reasoningweb.org/2012/.

6th International Conference on Web Reasoning and Rule Systems

This conference takes place from September 10-12, 2012 and covers a wide range of topics related to Web Reasoning. For more information, please visit http://www.rr-conference.org/RR2012/.

4th International Conference on Computational Models of Argument

COMMA 2012 will also take place from September 10-12, 2012, presenting the latest research results related to computational aspects of argumentation. For more information, please visit http://www.kr.tuwien.ac.at/events/comma2012/.

Datalog 2.0 2012 Workshop

The Datalog 2.0 Workshop will be held from September 11-13, 2012 and centers around foundational aspects of Datalog, as well as on its applications in other areas of computer science and in industry. For more information, please visit http://www.dbai.tuwien.ac.at/event/datalog-2.0/.

At a Glance

Invited Speakers

RR2012

Gerhard Brewka, University of Leipzig, Germany
Tommaso di Noia, Technical University of Bari, Italy

COMMA 2012

Trevor Bench-Capon, University of Liverpool, United Kingdom
Erik Krabbe, University of Groningen, The Netherlands
Keith Stenning, University of Edinburgh, United Kingdom

Datalog 2.0 2012

Thomas Eiter, Vienna University of Technology, Austria
Yuri Gurevich, Microsoft Research
Phokion Kolaitis, UC Santa Cruz, USA
Oege de Moor, Oxford University, United Kingdom
Marie-Laure Mugnier, University of Montpellier, France

Lecturers for the Reasoning Web 2012 Summer School

Marcelo Arenas, Pontificia Universidad Catolica de Chile
François Bry, University of Munich, Germany
Sergio Flesca, University of Calabria, Italy
Tim Furche, University of Oxford, UK
Georg Gottlob, University of Oxford, UK
Manfred Hauswirth, DERI, National University of Ireland, Galway
Manolis Koubarakis, National and Kapodistrian University of Athens, Greece
Markus Krötzsch, University of Oxford, UK
Danh Le Phuoc, DERI, National University of Ireland, Galway
Giorgio Orsi, University of Oxford, UK
Magdalena Ortiz, Vienna University of Technology, Austria
Josiane Xavier Parreira, DERI, National University of Ireland, Galway
Jorge Pérez, Universidad de Chile
Andreas Pieris, University of Oxford, UK
Guilin Qi, South Eastern University, China
Sebastian Schaffert, Salzburg Research, Austria
Mantas Šimkus, Vienna University of Technology, Austria
Francesca Toni, Imperial College London, UK
Denny Vrandecic, Karlsruhe Institute of Technology, Germany
Klara Weiand, University of Munich