YURIFEST 2020 is being held in honor of Yuri Gurevich's
80th 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 symposium is a special issue of JAF, the annual conference on Weak Arithmetics.
YURIFEST 2020 will be held from Monday, May 18, to Wednesday, May 20, 2020, at Université Paris XII - IUT de Sénart-Fontainebleau - Campus de Fontainebleau.
The lectures is in the amphitheater, accessible by some steps in the hall.
Scientific committee: Andreas Blass University of Michigan, Parick Cégielski Université Paris XII, Nachum Dershowitz Tel Aviv University, Manfred Droste (chair) University of Leipzig, and Bernd Finkbeiner Universität des Saarlandes.
Organization committee (University Paris XII): Alexis Bès, Patrick Cégielski (chair), Julien Cervelle, and Pierre Valarcher.