4 July 2022, ICALP Workshop "Trends in Arithmetic Theories", Paris, France

Logical theories of arithmetic such as Presburger arithmetic play an important role in a variety of different areas of computer science and have been studied since the early days of the field. The recent years have seen a lot of progress on all aspects of such theories, ranging from new foundational results, algorithmic advances, more performant decision procedures to novel application domains. This progress has largely been obtained independently without much interaction between researchers working on different aspects of this field. The goal of this workshop is to bring together researchers working in the field to exchange latest trends, understand currently existing challenges and to initiate new collaborations.

Speakers: Émilie Charlier (Université de Liège, Belgium), Philipp Hieronymi (University of Bonn, Germany), Roberto Sebastiani (Università di Trento, Italy), Thomas Sturm (Loria Nancy, France & MPI for Informatics, Germany) and Sven Verdoolaege (Cerebras Systems, Belgium). In addition to invited talks, we plan to include an introductions-type session in the programme to give all attendees an opportunity to get to know each other.