FSTTCS 2021

FSTTCS 2021
41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
Ordinal	41
Event in series	FSTTCS
Dates	2021/12/15 (iCal) - 2021/12/18
Presence	presence
Homepage:	https://www.fsttcs.org.in/2021/index.php
Location
Location:	Goa, India
Loading map... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","centre":false,"title":"","label":"","icon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"image layers":[],"overlays":[],"resizable":false,"fullscreen":false,"scrollwheelzoom":true,"cluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","clicktarget":"","imageLayers":[],"locations":[{"text":"","title":"","link":"","lat":15.3004543,"lon":74.0855134,"icon":""}],"imageoverlays":null}
Important dates
Submissions:	2020/12/18
Table of Contents

Topics

Track A

   Algebraic Complexity
   Algorithms and Data Structures
   Algorithmic Graph Theory and Combinatorics
   Approximation Algorithms
   Combinatorial Optimization
   Communication Complexity
   Computational Biology
   Computational Complexity
   Computational Geometry
   Computational Learning Theory
   Cryptography and Security
   Data Streaming and Sublinear algorithms
   Game Theory and Mechanism Design
   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
   Model Checking and Reactive Synthesis
   Models of Concurrent, Distributed and Mobile Systems
   Models of Timed, Reactive, Hybrid and Stochastic Systems
   Model Theory
   Principles and Semantics of Programming Languages
   Program Analysis and Transformation
   Security protocols
   Specification, Verification and Synthesis
   Theorem Proving and Decision Procedures