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 to postpone it.
The new date and location will be fixed later.
JAF39 remains scheduled at present.
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.
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.
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: 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).