(mobo import Concept___Fix_Presence-migrated) |
(mobo import Concept___Events-migrated) |
||
Line 4: | Line 4: | ||
|Ordinal=41 | |Ordinal=41 | ||
|Type=Conference | |Type=Conference | ||
− | |||
|Homepage=https://www.fsttcs.org.in/2021/index.php | |Homepage=https://www.fsttcs.org.in/2021/index.php | ||
|City=Goa | |City=Goa | ||
Line 19: | Line 18: | ||
|Event Mode=on site | |Event Mode=on site | ||
}} | }} | ||
+ | {{Event Deadline | ||
+ | |Submission Deadline=2020/12/18 | ||
+ | }} | ||
+ | {{S Event}} | ||
==Topics== | ==Topics== | ||
Track A | Track A |
Revision as of 19:39, 22 September 2022
Deadlines
|
||
Submission |
|
||
Notification |
|
||
Camera-Ready |
Venue
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