CAALM 2025 (Complexity, Algorithms, Automata and Logic Meet)

9:30 - 10:20 (50min)

Estimating the Electoral Consequences of Legislative Redistricting in France

Claire Mathieu

10:30 - 11:00 (30min)

Coffee break

11:00 - 11:25 (25min)

Trading Determinism for NonCommutativity in Singularity Testing

Partha Mukhopadhyay

11:30 - 11:55 (25min)

Resolving Nondeterminism with Randomness

K.S. Thejaswini

12:00 - 13:30 (1h30)

Lunch

Program