YURIFEST 2025
from 20 June to 22 June 2025
Ludwig-Maximilians-Universität München & Zoom (hybrid)
YURIFEST 2025 is being held in honor of Yuri Gurevich's 85th 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, privacy and security, quantum computing, and much more. Many of these areas will be reflected in the topics of the symposium. The conference will take place from 20 June to 22 June 2025, in Munich, Germany, locally organised by Guillermo Badia (University of Queensland, Australia) and Martin Wirsing (LMU, Germany).
Proceedings
Invited contributions by friends and collaborators of Gurevich will appear in the following festschrift volume:
Guillermo BADIA, Andreas BLASS, Nachum DERSHOWITZ, and Manfred DROSTE (eds.). Fields of Logic and Computation IV Essays Dedicated to Yuri Gurevich on the Occasion of His 85th Birthday, Springer, Lecture Notes in Computer Science, under contract.
Organization and Scientific Committees
Organization committee: Guillermo Badia (University of Queensland, Australia) and Martin Wirsing (LMU, Germany).
Scientific Committee: Guillermo Badia (University of Queensland, Australia), Andreas Blass (University of Michigan, USA), Nachum Dershowitz (Tel Aviv University, Israel), Manfred Droste (University of Leipzig, Germany) and Martin Wirsing (LMU, Germany).
Conference Venue
Geschwister-Scholl-Platz 1, D-80539 München, Germany
The historic Main Building of LMU, an urban landmark since 1840, now predominantly houses the humanities, economics, and social science departments, such as the Faculties of Catholic and Protestant Theology, Law, and Economics or the Munich School of Management. Probably the best known of the lecture halls are the Great Aula where the Bavarian State Parliament was reconvened in 1946, and the Audimax, which seats 800.
