Advances in the Theory of Computing

Preliminary Program

Tuesday, 24 September (10:10-12:10)

  • Thorsten Ehlers and Klaus Jansen. Online-scheduling on identical machines with bounded migration
  • Andrei Alexandru and Gabriel Ciobanu. Algebraic Properties of Generalized Multisets
  • Agnieszka Polak and Daniel Simson. Algorithmic experiences in Coxeter spectral study of P-critical edge-bipartite graphs and posets
  • Inese Bērziņa, Jānis Buls and Raivis Bēts. Bounded Bi-ideals and Linear Recurrence
  • Sebastian – Codrin Ditu. Token-free bounded delay codes and hash iteration
  • Elena Ravve and Zeev Volkovich. A Systematic Approach to Computations on Decomposable Graphs

* Chairs

+ Mircea Marin, West University of Timisoara, Romania
+ Gabriel Istrate, Research Institute e-Austria 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

* Program committee

+ Cosmin Bonchis, West University of Timisoara, Romania
+ Liviu Dinu,
+ Gabriel Istrate, eAustria Research Institute, Romania
+ Boris,Konev, The University of Liverpool, UK
+ Florin,Manea, Christian-Albrechts University of Kiel, Germany
+ Mircea,Marin, West University of Timisoara, Romania