[TYPES/announce] FSTTCS 2023 - Second Call for Papers

Shibashis Guha shibashis.guha at gmail.com
Tue Jul 4 00:59:14 EDT 2023 

[Apologies if you receive multiple copies.]

December 18-20, 2023 at IIIT Hyderabad <https://urldefense.com/v3/__https://www.iiit.ac.in/__;!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLrYMrUxVc$ >, India

Website: https://urldefense.com/v3/__https://www.fsttcs.org.in/2023/__;!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLrEbNbvNM$ 


FSTTCS 2023 is the 43rd conference on Foundations of Software Technology
and Theoretical Computer Science. It is organised by IARCS
<https://urldefense.com/v3/__http://www.iarcs.org.in/__;!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLr96Hi2z8$ >, the Indian Association for Research in
Computing Science, in association with ACM India <https://urldefense.com/v3/__https://india.acm.org/__;!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLrc_rIGMI$ >.
It is a forum for presenting original results in foundational aspects of
Computer Science and Software Technology.


IMPORTANT DATES (all dates are AoE)

Abstract Submission:    July 12, 2023

Paper Submission:        July 19, 2023

Notification:                 September 22, 2023

Camera Ready:            October 5, 2023

Conference:                 December 18-20, 2023

Workshops:                  TBA


PAPER SUBMISSION

Submissions must be in electronic form via EasyChair
<https://urldefense.com/v3/__https://easychair.org/my/conference?conf=fsttcs2023__;!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLrlly2Yn4$ > using the LIPIcs
LaTeX style file available here
<https://urldefense.com/v3/__https://submission.dagstuhl.de/documentation/authors__;!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLrnlrM5jA$ >. 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.

Accepted papers will be published as proceedings of the conference in
the Leibniz
International Proceedings in Informatics (LIPIcs)
<https://urldefense.com/v3/__https://www.dagstuhl.de/en/publications/lipics/__;!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLr2LUTDtM$ > 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
<https://urldefense.com/v3/__https://creativecommons.org/licenses/by/3.0/__;!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLrkS3lSRw$ >.

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 Biology
   - 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 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


ORGANISATION COMMITTEE

   - Girish Varma <https://urldefense.com/v3/__https://girishvarma.in/__;!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLrVgn7Fl4$ > (IIIT Hyderabad)
   - Suryajith Chillara <https://urldefense.com/v3/__https://suryajith.github.io/__;!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLrQ3277mY$ > (IIIT Hyderabad)
   - Anjaneya Swami <https://urldefense.com/v3/__https://scis.uohyd.ac.in/*askcs/__;fg!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLrhGpnOIM$ > (Univ of Hyderabad)


PROGRAM COMMITTEE
Track A

   - Siddharth Barman <https://urldefense.com/v3/__https://www.csa.iisc.ac.in/*barman/__;fg!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLr8-3-U1c$ > (The Indian
   Institute of Science, Bengaluru, India)
   - Arnab Bhattacharyya <https://urldefense.com/v3/__https://www.comp.nus.edu.sg/*arnab/__;fg!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLr2utL7Rk$ > (National
   University of Singapore, Singapore)
   - Parinya Chalermsook
<https://urldefense.com/v3/__https://sites.google.com/site/parinyachalermsook/__;!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLrjDtUKeQ$ > (Aalto
   University, Finland)
   - Sivakanth Gopi
   <https://urldefense.com/v3/__https://www.microsoft.com/en-us/research/people/sigopi/__;!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLr6qGk4PI$ > (Microsoft
   Research Redmond, USA)
   - Karthik C.S. <https://urldefense.com/v3/__http://karthikcs.org/__;!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLrksFpBhc$ > (Rutgers University, USA)
   - Venkata Koppula <https://urldefense.com/v3/__https://web.iitd.ac.in/*kvenkata/__;fg!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLrBMHGPhA$ > (IIT Delhi, India)
   - Rucha Kulkarni <https://urldefense.com/v3/__https://ruchark2.web.engr.illinois.edu/__;!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLrZxI1dCM$ > (University
   of Illinois, Urbana-Champaign, USA)
   - Mrinal Kumar <https://urldefense.com/v3/__https://mrinalkr.bitbucket.io/__;!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLrjALXa4I$ > (TIFR, Mumbai, India)
   - Paloma Lima <https://urldefense.com/v3/__https://www.ii.uib.no/*palomal/__;fg!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLrTuf969g$ > (IT University of
   Copenhagen, Denmark)
   - Meena Mahajan <https://urldefense.com/v3/__https://www.imsc.res.in/*meena/__;fg!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLr6qkt6eE$ > (The Institute of
   Mathematical Sciences, Chennai, India)
   - Nikhil Mande <https://urldefense.com/v3/__https://mande-nikhil.github.io/__;!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLru3CqzOs$ > (University of
   Liverpool, UK)
   - Neeldhara Misra <https://urldefense.com/v3/__https://iitgn.ac.in/faculty/cse/neeldhara__;!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLrkX5sksE$ > (IIT
   Gandhinagar, India)
   - Sagnik Mukhopadhyay <https://urldefense.com/v3/__https://sagnikm.github.io/__;!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLrl4CvvPM$ > (University of
   Sheffield, UK)
   - Meghana Nasre <https://urldefense.com/v3/__http://www.cse.iitm.ac.in/*meghana/__;fg!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLrLcQEERs$ > (IIT Madras, India)
   - Noga Ron-Zewi <https://urldefense.com/v3/__https://sites.google.com/view/nogazewi__;!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLraxaqUT0$ > (University of
   Haifa, Israel)
   - Chris Schwiegelshohn <https://urldefense.com/v3/__https://cs.au.dk/*schwiegelshohn/__;fg!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLrszcrmUg$ > (University
   of Aarhus, Denmark)
   - Srikanth Srinivasan <https://urldefense.com/v3/__https://cs.au.dk/*srikanth/__;fg!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLrAqoQXVo$ > (University of
   Aarhus, Denmark) – *Track A chair*


Track B

   - Aiswarya C. <https://urldefense.com/v3/__https://www.cmi.ac.in/*aiswarya/__;fg!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLrAmkibI8$ > (Chennai Mathematical
   Institute, India)
   - Guy Avni <https://urldefense.com/v3/__https://sites.google.com/view/gavni__;!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLrd1b-bOE$ > (University of Haifa,
   Israel)
   - Francesco Belardinelli <https://urldefense.com/v3/__https://www.doc.ic.ac.uk/*fbelard/__;fg!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLrVW6lOX4$ > (Imperial
   College, UK)
   - Dietmar Berwanger <https://urldefense.com/v3/__http://www.lsv.fr/*dwb/__;fg!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLrx0CboMQ$ > (CNRS, LMF, France)
   - Patricia Bouyer <https://urldefense.com/v3/__http://www.lsv.fr/*bouyer/__;fg!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLrv2o0l40$ > (CNRS, LMF France) – *Track
   B chair*
   - Arnaud Carayol <https://urldefense.com/v3/__http://www-igm.univ-mlv.fr/*carayol/__;fg!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLroPLVvHk$ > (Université
   Gustave Eiffel, LIGM, France)
   - Supratik Chakraborty <https://urldefense.com/v3/__https://www.cse.iitb.ac.in/*supratik/__;fg!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLr87bvKzA$ > (IIT
   Bombay, India)
   - Lorenzo Clemente <https://urldefense.com/v3/__https://sites.google.com/view/lorenzoclemente/__;!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLraOt8fx0$ >
(University
   of Warsaw, Poland)
   - Ugo Dal Lago <https://urldefense.com/v3/__https://udallago.github.io/__;!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLrGw9Itg0$ > (Università di Bologna,
   Italy)
   - P. Madhusudan <https://urldefense.com/v3/__https://madhu.cs.illinois.edu/__;!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLr9k5hVHA$ > (University of
   Illinois, Urbana-Champaign, USA)
   - Pavithra Prabhakar <https://urldefense.com/v3/__https://people.cs.ksu.edu/*pprabhakar/__;fg!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLrt-Fo9PU$ > (Kansas
   State University, USA)
   - Prakash Saivasan <https://urldefense.com/v3/__https://www.imsc.res.in/prakash_saivasan__;!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLr55lboNA$ > (The
   Institute of Mathematical Science, Chennai, India)
   - Abhisekh Sankaran <https://urldefense.com/v3/__https://abhisekhs.github.io/__;!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLrLSsJMSc$ > (Tata Consultancy
   Services Research, Pune, India)
   - B. Srivathsan <https://urldefense.com/v3/__https://www.cmi.ac.in/*sri/__;fg!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLrxdHw4Ec$ > (Chennai Mathematical
   Institute, India)
   - Nathalie Sznajder <https://urldefense.com/v3/__https://pages.lip6.fr/Nathalie.Sznajder/__;!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLrZHPrn3c$ > (Sorbonne
   Université, LIP6, France)
   - Tony Tan <https://urldefense.com/v3/__https://www.csie.ntu.edu.tw/*tonytan/__;fg!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLri973rF4$ > (National Taiwan
   University)


STEERING COMMITTEE

   -

   Paul Gastin <https://urldefense.com/v3/__http://www.lsv.fr/*gastin/__;fg!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLriOKlLhg$ > (LSV, ENS Paris-Saclay)
   -

   Amit Kumar <https://urldefense.com/v3/__http://www.cse.iitd.ernet.in/*amitk/__;fg!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLrgmMYbI0$ > (Indian Institute of
   Technology, Delhi)
   -

   S Krishna <https://urldefense.com/v3/__https://www.cse.iitb.ac.in/*krishnas/__;fg!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLrz2j_lwA$ > (Indian Institute of
   Technology, Bombay)
   -

   G Ramalingam
<https://urldefense.com/v3/__https://www.microsoft.com/en-us/research/people/grama/__;!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLr5DYliXU$ > (Microsoft
   Research, Bangalore)
   -

   Venkatesh Raman <https://urldefense.com/v3/__https://www.imsc.res.in/*vraman/__;fg!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLrN_BcYgQ$ > (The Institute of
   Mathematical Sciences, Chennai)
   -

   Kavitha Telikepalli <https://urldefense.com/v3/__https://www.tcs.tifr.res.in/*kavitha/__;fg!!IBzWLUs!X2CMfIuMtPvq6WNOCeecyf09KLbWSLBf8RyWwe24iiOm-34CHWfVZ7EGpYwP5W90yNJ3JbqJepWkzKoLxYymch8FGsYhtpLrwoqMe7Q$ > (Tata
   Institute of Fundamental Research, Mumbai)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230704/aaf1cd9b/attachment-0001.htm>

More information about the Types-announce mailing list