Workshops

Workshops

• Milestones and Motifs in the Theory of Proofs, Algebraic Computation, and Lower Bounds. Dates: December 14-15, 2024.
• Research Highlights in Programming Languages. Dates: December 16-18, 2024 (in parallel with FSTTCS).
• Automata and Games for Synthesis. Dates: December 19, 2024.
• Workshop on Algorithmic Mechanism Design. Dates: December 19-20, 2024.