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.
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 |
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)