An ICALP 2022 satellite workshop "Trends in Arithmetic Theories" will take place on Monday 4 July 2022 in Paris, France (in person):

http://www.cs.ox.ac.uk/people/christoph.haase/home/trends-in-arithmetic-theo...

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.

Everyone interested in arithmetic theories is invited to attend. This will be an in-person workshop, but we hope to livestream talks and plan to make them available online after the event has taken place.

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) Sven Verdoolaege (Cerebras Systems, Belgium)

Programme and registration:

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.

Please register for the workshop through the main ICALP registration:

https://icalp2022.irif.fr/?page_id=50

We're also thinking about a workshop dinner, on Sunday evening before the event.

Workshop organisers:

Dmitry Chistikov (U. Warwick) Christoph Haase (U. Oxford) Alessio Mansutti (U. Oxford) Jonathan Tanner (U. Oxford)

Acknowledgements:

This workshop receives support through the ERC project ARiAT.

ICALP is the International Colloquium on Automata, Languages and Programming, the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS).