Yuri Gurevich

A Symposium on Logic in Computer Science
celebrating Yuri Gurevich's 75th birthday

September 11-12, 2015, Berlin, Germany

YURIFEST 2015 is being held in honor of Yuri Gurevich’s 75th birthday. Gurevich’s interests have spanned a broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer science, security, and much more. Many of these areas will be reflected in the topics of the symposium.

Friday, September 11, 2015

08:45 Opening
09:00 Nachum Dershowitz, Tel Aviv University
Rambling on about Abstract State Machines
09:45 Andreas Blass, University of Michigan
Mitigating Two Errors
10:30 Coffee break
11:00 Anuj Dawar, University of Cambridge
Elementary Equivalence in Finite Structures
11:45 Erich Grädel, RWTH Aachen
Is Polynomial-Time Choiceless?
12:30 Lunch break
14:00 Phokion G. Kolaitis, UC Santa Cruz
Reflections on Logic and Databases
14:45 Johann Makowsky, Technion
Logics of Finite Hankel Rank
15:30 Coffee break
16:00 Serge Grigorieff, Université Paris Diderot
Arithmetical Congruence Preserving Functions
16:45 Rohit Parikh, City University of New York
The Strategy of Campaigning
17:30 Victor Raskin, Purdue University
On the Logic of Natural Language
20:00 Dinner

Saturday, September 12, 2015

9:00 Alexander Rabinovich, Tel Aviv University
On Almost Future Temporal Logics
9:45 Nikolaj Bjorner, Microsoft Research
Horn Clause Solving for Program Verification
10:30 Coffee break
11:00 Wolfgang Reisig, Humboldt Universität Berlin
A Distributed Version of Abstract State Machines
11:45 Cristian S. Calude, The University of Auckland
On the Unpredictability of Individual Quantum Measurement Outcomes
12:30 Lunch break
14:00 Vitaly Perevoshchikov, Universität Leipzig
Logics for Weighted Timed Pushdown Automata
14:45 Alexei Miasnikov, Stevens Institute of Technology
Generic Theories and Zero-One Laws
15:30 Coffee break
16:00 Alexander Shen, LIRMM Montpellier
Game Approach To Randomness and K-triviality
16:45 Vladimir Vovk, University of London
The Fundamental Nature of the Log Loss Function
17:30 Concluding remarks


YURIFEST 2015 will be held on Friday, September 11, and Saturday, September 12, 2015, at Technische Universität Berlin. The symposium will be co-located with CSL 2015, the annual conference of the European Association for Computer Science Logic (EACSL), which will take place Monday through Thursday directly before YURIFEST.

Participation in the symposium is free of charge. Please register through the CSL website.

Registration and coffee breaks will be in room H 3005. The lectures will be in room H 2013 (the same room as CSL).

When you face the main entrance of the main university building ("Hauptgebäude"), room H 3005 is on the third floor in the far right corner of the building. When you enter the building, do not take any of the lifts close to the main entrance. They will lead to a different part of the building and it is difficult to get from there to the lecture halls and social room. The lecture hall H 2013 is on the second floor, right below the social room where coffee breaks and registration will be.

The symposium will be organized by Andreas Blass University of Michigan, Lev. D. Beklemishev Russian Academy of Sciences, Nachum Dershowitz Tel Aviv University, Bernd Finkbeiner Universität des Saarlandes, and Wolfram Schulte Microsoft Research.

Contact: Bernd Finkbeiner (finkbeiner at cs.uni-saarland.de)