Logic List Mailing Archive

CfP: CAALM 2025 – Complexity, Algorithms, Automata and Logic meet, 2–6 June 2025, Paris (France)

We have the pleasure of announcing the next edition of

                 CAALM, Complexity, Algorithms, Automata and Logic meet

at LIPN, Universit Sorbonne Paris Nord, Villetaneuse, France (this is in
 the immediate vicinity of Paris), June 2-6, 2025

https://caalm-2025.sciencesconf.org/

As the name indicates, the goal of CAALM is to bring together specialists o
f complexity, algorithms, automata and logic. These represent important str
eams of research in theoretical computer science, which do not always inter
act as much as they maybe should. The organizers' objective is to hold a wo
rkshop that will be of interest for both so-called Track A and Track B, hig
hlighting areas that draw from both these 'tracks'.

An earlier edition of CAALM was organized in 2019 in Chennai, India. This e
dition is supported by LIPN and by ReLaX, a CNRS Indo-French research lab.

The Scientific Committee is composed of
S. Akshay, IIT Bombay
Meena Mahajan, IMSc, Chennai
Tatiana Starikovskaya, ENS, Paris
Pascal Weil, CNRS, LIPN, Villetaneuse

Additional information, including the names of speakers as they confirm the
ir participation, will be added on the workshop's website.

https://caalm-2025.sciencesconf.org/

For now please mark the date!
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php