YURIFEST 2020

Yuri Gurevich

JAF 39 (Journées sur les Arithmétiques Faibles)
celebrating Yuri Gurevich's 80th birthday

May 18-20, 2020, Fontainebleau, France

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.



Location


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.

Contact: Patrick Cégielski (cegielski at u-pec.fr) and Manfred Droste (yurifest at informatik.uni-leipzig.de)