Konferenz

FSTTCS 2018: 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science

Website der Veranstaltung

Datum und Uhrzeit

10.12.2018, 08:00 - 13.12.2018, 15:30
Im Kalender speichern

Veranstaltungsort

Ahmedabad University, GICT Building, Central Campus
Navrangpura, Gujarat 380009
Ahmedabad, Indien

Beschreibung

IARCS, the Indian Association for Research in Computing Science, announces the 38th Foundations of Software Technology and Theoretical Computer Science conference at the Ahmedabad University, in Ahmedabad, Gujarat. The FSTTCS conference is a forum for presenting original results in foundational aspects of Computer Science and Software Technology.

Representative areas include, but are not limited to, the following.

  • Algorithms and Data Structures
  • Algorithmic Graph Theory and Combinatorics
  • Approximation Algorithms
  • Automata, Games and Formal Languages
  • 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
  • Logic in Computer Science
  • Model Theory, Modal and Temporal Logics
  • Models of Concurrent and Distributed Systems
  • Models of Timed, Reactive, Hybrid and Stochastic Systems
  • Parallel, Distributed and Online Algorithms
  • Parameterized Complexity
  • Principles and Semantics of Programming Languages
  • Program Analysis and Transformation
  • Proof Complexity
  • Quantum Computing
  • Randomness in Computing
  • Specification, Verification, and Synthesis
  • Theorem Proving, Decision Procedures, Model Checking and Reactive Synthesis
  • Theoretical Aspects of Mobile and High-Performance Computing

Organisator