Advances in the Theory of Computing

Advances in the Theory of Computing

  • Chairs
    • Gabriel Istrate, Research Institute e-Austria Timisoara, Romania
    • Mircea Marin, West University of Timisoara, Romania
  • Topics
    • Data Structures and algorithms
    • Combinatorial Optimization
    • Formal languages and Combinatorics on Words
    • Graph-theoretic and Combinatorial methods in Computer Science
    • Algorithmic paradigms, including distributed, online, approximation, probabilistic, game-theoretic algorithms
    • Computational Complexity Theory, including structural complexity, boolean complexity, communication complexity, average-case complexity, derandomization and property testing
    • Logical approaches to complexity, including finite model theory
    • Algorithmic and computational learning theory
    • Aspects of computability theory, including computability in analysis and algorithmic information theory
    • Proof complexity
    • Computational social choice and game theory
    • New computational paradigms: CNN computing, quantum, holographic and other non-standard approaches to Computability
    • Randomized methods, random graphs, threshold phenomena and typical-case complexity
    • Automata theory and other formal models, particularly in relation to formal verification methods such as model checking and runtime verification
    • Applications of theory, including wireless and sensor networks, computational biology and computational economics
    • Experimental algorithmics
  • PC members
    [TBA]