Tutorial Speaker
Albert Atserias (UPC Barcelona)
Tutorial on "Proof complexity and its relations to SAT solving"
Invited Speakers
Daniel Dadush (CWI Amsterdam)
Anupam Das (University of Birmingham)
Susanna F. de Rezende (Lund University)
42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)
Jena, March 04-07, 2025