Event:FSTTCS 2021

Deadlines

2020-12-18

19 Jul 2021

Submission

20 Sep 2021

Notification

4 Oct 2021

Camera-Ready

organization

Indian Association for Research in Computing Science, IARCS

Metrics

Venue

Loading map...

{"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"auto","height":"350px","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":[],"imageoverlays":null}

Warning: Venue is missing. The map might not show the exact location.

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