place on Monday 4 July 2022 in Paris, France (in person):
http://www.cs.ox.ac.uk/people/christoph.haase/home/trends-in-arithmetic-theories/
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).
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
