[FM-India]FSTTCS 2024 - Call for papers

December 16-18, 2023 at IIT Gandhinagar [1], India Website: https://www.fsttcs.org.in/2024/ FSTTCS 2024 is the 44th conference on Foundations of Software Technology and Theoretical Computer Science. It is organised by IARCS [2], the Indian Association for Research in Computing Science, in association with ACM India [3]. It is a forum for presenting original results in foundational aspects of Computer Science and Software Technology. INVITED SPEAKERS * Pankaj K Agarwal [4], Duke University * Suguman Bansal [5], Georgia Institute of Technology * Ioannis Caragiannis [6], Aarhus University * Dmitry Chistikov [7], University of Warwick * Uriel Feige [8], Weizmann Institute * Sebastian Siebertz [9], Universität Bremen IMPORTANT DATES (all dates are AoE) Abstract Submission: July 5, 2024 Paper Submission: July 12, 2024 Notification: September 16, 2024 Camera Ready: October 4, 2024 Conference: December 16-18, 2024 Workshops: TBA PAPER SUBMISSION Submissions must be in electronic form via EasyChair [10] using the LIPIcs LaTeX style file available here [11]. Submissions must not exceed 15 pages (excluding bibliography), but may include a clearly marked appendix containing technical details. The appendix will be read only at the discretion of the program committee. Simultaneous submissions to journals or other conferences with published proceedings are disallowed. Reviewing for FSTTCS 2024 is double-blind. Accepted papers will be published as proceedings of the conference in the ​Leibniz International Proceedings in Informatics (LIPIcs) [12]​ as a free, open, electronic archive with access to all. Authors will retain full rights over their work. The accepted papers will be published under a ​CC-BY license​ [13]. For an accepted paper to be included in the proceedings, one of the authors must commit to presenting the paper in person at the conference. TOPICS TRACK A * Algebraic Complexity * Algorithms and Data Structures * Algorithmic Graph Theory and Combinatorics * Approximation Algorithms * Combinatorial Optimization * Communication Complexity * Computational Geometry * Computational Learning Theory * Cryptography and Security * Data Streaming and Sublinear algorithms * Economics and Computation * Parallel, Distributed and Online Algorithms * Parameterized Complexity * Proof Complexity * Quantum Computing * Randomness in Computing * Theoretical Aspects of Computational Biology * Theoretical Aspects of Mobile and High-Performance Computing TRACK B * Automata, Games and Formal Languages * Logic in Computer Science * Modal and Temporal Logics * Models of Concurrent, Distributed and Mobile Systems * Models of Timed, Reactive, Hybrid and Stochastic and Quantum Systems * Model Theory * Principles and Semantics of Programming Languages * Program Analysis and Transformation * Security protocols * Specification, Verification and Synthesis * Theorem Proving and Decision Procedures PROGRAM COMMITTEE TRACK A * Aritra Banik [14] (National Institute of Science Education and Research) * Siddharth Barman [15] (Indian Institute of Science) - Track A Chair * Umang Bhaskar [16] (Tata Institute of Fundamental Research) * Diptarka Chakraborty [17] (National University of Singapore) * Debarati Das [18] (Pennsylvania State University) * Klim Efremenko [19] (Ben-Gurion University) * Sushmita Gupta [20] (The Institute of Mathematical Sciences) * Rohit Gurjar [21] (Indian Institute of Technology Bombay) * Arindam Khan [22] (Indian Institute of Science) * Neeldhara Misra [23] (Indian Institute of Technology, Gandhinagar) * Rajat Mittal [24] (Indian Institute of Technology, Kanpur) * Kamesh Munagala [25] (Duke University) * Prajakta Nimbhorkar [26] (Chennai Mathematical Institute) * Manisha Padala [27] (Indian Institute of Technology, Gandhinagar) * Jaikumar Radhakrishnan [28] (Tata Institute of Fundamental Research) * Nidhi Rathi [29] (Max Planck Institute for Informatics, University of Saarland) * Ramprasad Saptharishi [30] (Tata Institute of Fundamental Research) * Sahil Singla [31] (Georgia Tech) * Makrand Sinha [32] (University of Illinois Urbana-Champaign) * Seeun William Umboh [33] (The University of Melbourne) * Santhoshini Velusamy [34] (Toyota Technological Institute at Chicago) * Michał Włodarczyk [35] (University of Warsaw) * Meirav Zehavi [36] (Ben-Gurion University) TRACK B * Parosh Aziz Abdulla [37] (Uppsala University) * C. Aiswarya [38] (Chennai Mathematical Institute) * S. Akshay [39] (Indian Institute of Technology Bombay) * Christel Baier [40] (Technical University Dresden) * Laure Daviaud [41] (University of East Anglia) * Sibylle Fröschle [42] (Technical University Hamburg) * Blaise Genest [43] (CNRS) * Stefan Haar [44] (INRIA, France) * Christoph Haase [45] (University of Oxford) * Petr Jančar [46] (Palacky University, Olomouc) * Ismaël Jecker [47] (University of Franche-Comté) * Edon Kelmendi [48] (Queen Mary University of London) * Sławomir Lasota [49] (University of Warsaw) - Track B Chair * Ranko Lazic [50] (University of Warwick) * Christof Löding [51] (RWTH Aachen) * Meena Mahajan [52] (The Institute of Mathematical Sciences) * Jean-Francois Raskin [53] (Université Libre de Bruxelles) * Nathalie Sznajder [54] (Sorbonne University) Links: ------ [1] https://iitgn.ac.in [2] http://www.iarcs.org.in [3] https://india.acm.org [4] https://users.cs.duke.edu/~pankaj/ [5] https://suguman.github.io [6] https://cs.au.dk/~iannis/ [7] https://warwick.ac.uk/fac/sci/dcs/people/dmitry_chistikov/ [8] https://www.wisdom.weizmann.ac.il/~feige/ [9] https://www.uni-bremen.de/en/theorie/team/profiles/prof-dr-sebastian-sieber… [10] https://easychair.org/my/conference?conf=fsttcs2024 [11] https://submission.dagstuhl.de/documentation/authors [12] https://www.dagstuhl.de/en/publications/lipics/ [13] https://creativecommons.org/licenses/by/3.0/ [14] https://www.niser.ac.in/~aritra/ [15] https://www.csa.iisc.ac.in/~barman/ [16] https://www.tcs.tifr.res.in/~umang/ [17] https://sites.google.com/view/diptarka [18] https://sites.google.com/view/debaratidas [19] https://www.cs.bgu.ac.il/~klim/ [20] https://sites.google.com/view/sushmitagupta/home [21] https://www.cse.iitb.ac.in/~rgurjar/ [22] https://www.csa.iisc.ac.in/~arindamkhan/ [23] https://www.neeldhara.com [24] https://www.cse.iitk.ac.in/users/rmittal/ [25] https://www.kameshmunagala.org [26] https://www.cmi.ac.in/~prajakta/ [27] https://sites.google.com/view/manishapadala/home [28] https://www.tcs.tifr.res.in/~jaikumar/ [29] https://sites.google.com/view/nidhirathi/ [30] https://www.tcs.tifr.res.in/~ramprasad/ [31] https://faculty.cc.gatech.edu/~ssingla7/ [32] https://makrandsinha.github.io [33] https://williamumboh.com [34] https://sites.google.com/view/santhoshinivelusamy [35] https://www.mimuw.edu.pl/~mw277619/ [36] https://sites.google.com/site/zehavimeirav/ [37] https://user.it.uu.se/~parosh/ [38] https://www.cmi.ac.in/~aiswarya/ [39] https://www.cse.iitb.ac.in/~akshayss/ [40] https://wwwtcs.inf.tu-dresden.de/~baier/ [41] https://research-portal.uea.ac.uk/en/persons/laure-daviaud [42] https://www.sibylle-froeschle.de [43] https://perso.crans.org/genest/ [44] http://www.lsv.fr/~haar/ [45] https://www.cs.ox.ac.uk/people/christoph.haase/home/ [46] https://www.inf.upol.cz/lide/petr-jancar [47] https://ismaeljecker.github.io [48] https://edon.github.io [49] https://www.mimuw.edu.pl/~sl/ [50] https://warwick.ac.uk/fac/sci/dcs/people/ranko_lazic/ [51] https://www.lics.rwth-aachen.de/go/id/ocsx/lidx/1 [52] https://www.imsc.res.in/~meena/ [53] https://verif.ulb.ac.be/jfr/ [54] https://lip6.fr/Nathalie.Sznajder/