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.

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.




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

Venue

Accomodation


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

Lectures

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)