(Apologies for multiple/cross-posting)
===================
Call for participation
===================
Milestones and Motifs in the Theory of Proofs, Algebraic Computation,
and Lower Bounds (MMComplexity 2024) <https://mmcomplexity.github.io/>
IIT Gandhinagar, Gujarat, India
December 14th, 15th, 2024.Co-located with the 44th IARCS Annual
Conference on Foundations of Software Technology and Theoretical
Computer Science (FSTTCS) 2024 <https://www.fsttcs.org.in/2024/>.
The goal of this workshop is to explore recent advancements in circuit
complexity, algebraic complexity, and proof complexity. We envisage this
event to be relevant for both Algorithms and Complexity as well as Logic
and Verification audiences.
We have a stellar list of speakers lined up for the event; a partial
list is given below:
*
V. Arvind, Visiting Professor at Chennai Mathematical Institute
(CMI), India and Ex-Director of Indian Institute of Mathematical
Sciences (IMSc), India
*
Olaf Beyersdorff, Professor of Theoretical Computer Science at
Friedrich Schiller University Jena, Germany
*
Supratik Chakraborty, Bajaj Group Chair Professor at Indian
Institute of Technology Bombay, India
*
Susanna De Rezende, Assistant Professor at Lund University, Sweden
*
Sumegha Garg, Assistant professor at Rutgers University, USA
*
Jakob Nordström,Professor at University of Copenhagen, Denmark and
Lund University, Sweden
*
Madhu Sudan,Gordon McKay Professor, Harvard University, USA
============================
Important dates and information
============================
Early Registration Deadline:November 15th 2024
Registration
link:https://events.iitgn.ac.in/apply/application_fsttcs.php?eventid=26092024
<https://events.iitgn.ac.in/apply/application_fsttcs.php?eventid=26092024>
Event:14th and 15th December 2024
Webpage:
https://mmcomplexity.github.io/ <https://mmcomplexity.github.io/>
If you have any queries, please write to the organisers at
mmcomplexity(a)gmail.com <mailto:mmcomplexity@gmail.com>
============================
Organisers
============================
S. Akshay (Indian Institute of Technology Bombay)
Olaf Beyersdorff (Friedrich Schiller University Jena)
Nutan Limaye (Indian Institute of Technology, Bombay, IT University of
Copenhagen)
Prajakta Nimbhorkar (Chennai Mathematical Institute)