Milestones and Motifs in the Theory of Proofs, Algebraic Computation, and Lower Bounds

An FSTTCS pre-conference workshop.

December 14-15, 2024, IIT Gandhinagar
About

The goal of this workshop is to cover topics on circuit complexity, algebraic complexity, and proof complexity, with a focus on recent advances in these areas. We envisage this event to be relevant for both Track A (Algorithms and complexity) and Track B  (Logic and verification) audiences.

Registration

Registration and accommodation booking are available on FSTTCS 2024 registration page. The early bird registration deadline is extended to November 24th.
Financial Support

Looking for financial support to attend the workshop? Take a look at the volunteer program
Speakers
V. Arvind

Chennai Mathematical Institute (CMI) , India and Institute of Mathematical Sciences (IMSc), India

Olaf Beyersdorff

Friedrich Schiller University Jena, Germany

Supratik Chakraborty

Indian Institute of Technology Bombay, India

Susanna F. de Rezende

Lund University, Sweden

Sumegha Garg

Rutgers University, USA

Jakob Nordström

University of Copenhagen, Denmark and Lund University, Sweden

Madhu Sudan

Harvard University, USA

Schedule

Coming Soon...

Day 1 : December 14
09:45 AM — 10:00 AM Welcome + logistics
10:00 AM — 10:45 AM Coming Soon
10:45 AM — 11:30 AM:M Coming soon
Day 2 : December 15
09:45 AM — 10:00 AM Coming soon
10:00 AM — 10:45 AM Coming soon
10:45 AM — 11:30 AM:M Coming soon
Organizers
S. Akshay

Indian Institute of Technology Bombay, India

Olaf Beyersdorff

Friedrich Schiller University Jena, Germany

Nutan Limaye

Indian Institute of Technology, Bombay, IT University of Copenhagen

Prajakta Nimbhorkar

Chennai Mathematical Institute (CMI), India

Our Sponsors

Coming Soon...