YURIFEST 2020 (cancelled)

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.

Due to Covid-19, the Scientific Committee of YuriFest 2020 has decided 27 March 2020 to postpone it.
The new date and location will be fixed later.
Yuri Gurevich has been notified about the decision of the Scientific Committee. He thinks that the decision is correct. He wishes that all participants and their families stay safe.
JAF39 is totally cancelled due to the announcement (13 April 2020) of the President of the French Republic of an extension of confinement until Monday 11 May and closure of the universities until September.


Andreas BLASS, Patrick CÉGIELSKI, Nachum DERSHOWITZ, Manfred DROSTE, and Bernd FINKBEINER, Fields of Logic and Computation III Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday, Springer, Lecture Notes in Computer Science 12 180, 2020, IX + 343 p.


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 route forestière Hurtault - F-77300 Fontainebleau.



Fontainebleau is 65 km south of Paris in the area the most visited in the world. Don't forget to book your hotel early by yourself.

Registration closed

Due to Covid-19 we can no longer accept new registrations. Of course the participants already registered remain registered.

List of participants here


The lectures take place in the amphitheater, accessible by some steps in the hall.

Coffee breaks and lunches will be in room 140 a floor above the amphitheater.

The list of talks is here

Scientific Committee

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: Patrick Cégielski (chair, University Paris XII), Julien Cervelle (University Paris XII), Irène Guessarian (University Paris VII), and Pierre Valarcher (University Paris XII).

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