Workshop on quantitative logic and reasoning

30th April to 4th May 2023

Quantitative equational logic was introduced by Mardare, Panangaden and Plotkin in 2016. Since then it has led to new ideas about quantitative algebras, variety theorems and categorical aspects of quantitative logics. This workshop aims to bring together researchers in these areas to discuss and compare these different approaches and to work together to share ideas and approaches.

The workshop organizer is Prakash Panangaden. Attendance is by invitation only. The confirmed attendees are: Prakash Panangaden (organizer), Jiri Adamek, Giorgio Bacci, Gilles Barthes, Matteo Cappucci, Rafaelle Crubille, Bart Jacobs, Benjamin Kaminski, Marie Kerjean, Stefan Milius, Matteo Mio, Radu Mardare, Ralph Sarkis, Todd Schmid, Ana Sokolova, Henning Urbat, Glynn Winskel and Fabio Zanasi.

The practice at these workshops has been to allow the speaker ample time to get to technical details. There should be lots of opportunities for extensive small group discussions; we will not cram the schedule with lots of short talks. The talks are given on primitive chalkboards. Please do not prepare slides for a data projector or plastic transparencies.

The tentative schedule is here.

Joel Ouaknine is organizing a parallel workshop on Algorithmic Aspects of Dynamical Systems.

The workshop runs from 30th April 2023 to 4th May 2023 and will take place at the Bellairs Research Institute in Barbados. Directions and things to know: The airport is on the east-south point of the island and Bellairs is on the west side in the Parish of St. James (about a 40 minute taxi drive).

Here is a map of Barbados. Tell the taxi drivers to take you to Bellairs Research Centre in Holetown. Holetown is small and Bellairs is on the main street - it is just north of Folkstone Park. When filling in the Immigration form at the airport give the address as Bellairs Research Institute, Holetown, Parish of St. James. The taxi ride should cost about $35- $45 U.S. Barbados is safe and one shouldn't worry about travelling alone during the day. US currency is freely accepted at 2 Barbadian dollars per US dollar. Other currencies (Pound sterling, Canadian dollars) are not accepted; you will have to change them at banks or at the airport.  Some people had trouble using their bank cards from Europe, but Canadian and US cards seem to work fine. At the airport if you go around to the departures side just after you arrive you will find cash machines there; strangely there are no ATMs at the arrivals area.

Good things to bring are suntan lotion or dark skin, mosquito repellent, swimwear, papers/books/stationary and light clothing (it will be pleasantly warm or unbearably hot depending on what you are used to). There is wireless hookup for laptops so you can bring your own laptop.

Rooms booking will be made by Alexandra Silva, please do not contact Bellairs staff directly. Please email Prakash Panangaden or Alexandra Silva to find out details of room bookings and rates.

Payment can be made by credit card. The room allocations are made by the organizers, please do not contact the Bellairs staff to make room bookings.

Here is a picture of the workshop organizers. Very unfortunately, Alexandra will not be able to come this year but she continues to play a key role in organizing the workshop. Here is a picture of the workshop participants from a few years ago.