Difference between revisions of "FCT 2019"

From Openresearch
Jump to navigation Jump to search
Line 22: Line 22:
 
==Topics==
 
==Topics==
 
Algorithms:
 
Algorithms:
algorithm design and optimization
+
*algorithm design and optimization
data structures
+
*data structures
combinatorics and analysis of algorithms
+
*combinatorics and analysis of algorithms
randomized algorithms
+
*randomized algorithms
approximation algorithms
+
*approximation algorithms
parameterized and exact algorithms
+
*parameterized and exact algorithms
computational algebra and number theory
+
*computational algebra and number theory
computational geometry
+
*computational geometry
parallel algorithms
+
*parallel algorithms
distributed algorithms and protocols
+
*distributed algorithms and protocols
online algorithms
+
*online algorithms
streaming algorithms
+
*streaming algorithms
algorithmic game theory
+
*algorithmic game theory
computational biology
+
*computational biology
  
 
Complexity:
 
Complexity:
    models of computation
+
*models of computation
    computational complexity
+
*computational complexity
    decidability
+
*decidability
    Boolean/algebraic circuits and functions
+
*Boolean/algebraic circuits and functions
    randomized computation
+
*randomized computation
    derandomization
+
*derandomization
    interactive proofs
+
*interactive proofs
    cryptography
+
*cryptography
    quantum computation
+
*quantum computation
    complexity theory
+
*complexity theory
    lower bounds
+
*lower bounds
    counting complexity
+
*counting complexity
  
 
Formal methods:
 
Formal methods:
    algebraic and categorical methods
+
*algebraic and categorical methods
    automata and formal languages
+
*automata and formal languages
    database theory
+
*database theory
    foundations of concurrency and distributed systems
+
*foundations of concurrency and distributed systems
    logic and model checking
+
*logic and model checking
    models of reactive, hybrid, and stochastic systems
+
*models of reactive, hybrid, and stochastic systems
    principles of programming languages
+
*principles of programming languages
    program analysis and transformation
+
*program analysis and transformation
    security
+
*security
    specification, refinement, and verification
+
*specification, refinement, and verification
    type systems
+
*type systems
    ad hoc, dynamic, and evolving systems
+
*ad hoc, dynamic, and evolving systems
    foundations of cloud computing and ubiquitous systems
+
*foundations of cloud computing and ubiquitous systems
  
  
 
==Submissions==
 
==Submissions==
 
==Important Dates==
 
==Important Dates==

Revision as of 12:04, 26 April 2021

FCT 2019
22nd Fundamentals of Computation Theory
Ordinal 22
Event in series FCT
Dates 2019/08/12 (iCal) - 2019/08/14
Homepage: https://di.ku.dk/fct2019/
Location
Location: Copenhagen, Denmark
Loading map...

Committees
General chairs: Thomas Hildebrandt
PC chairs: Leszek Gasieniec, Jesper Jansson
Keynote speaker: Libor Barto, Bernard Chazelle, Kousha Etessami, Torben Hagerup
Table of Contents



The 22nd Fundamentals of Computation Theory (FCT) 2019


Topics

Algorithms:

  • algorithm design and optimization
  • data structures
  • combinatorics and analysis of algorithms
  • randomized algorithms
  • approximation algorithms
  • parameterized and exact algorithms
  • computational algebra and number theory
  • computational geometry
  • parallel algorithms
  • distributed algorithms and protocols
  • online algorithms
  • streaming algorithms
  • algorithmic game theory
  • computational biology

Complexity:

  • models of computation
  • computational complexity
  • decidability
  • Boolean/algebraic circuits and functions
  • randomized computation
  • derandomization
  • interactive proofs
  • cryptography
  • quantum computation
  • complexity theory
  • lower bounds
  • counting complexity

Formal methods:

  • algebraic and categorical methods
  • automata and formal languages
  • database theory
  • foundations of concurrency and distributed systems
  • logic and model checking
  • models of reactive, hybrid, and stochastic systems
  • principles of programming languages
  • program analysis and transformation
  • security
  • specification, refinement, and verification
  • type systems
  • ad hoc, dynamic, and evolving systems
  • foundations of cloud computing and ubiquitous systems


Submissions

Important Dates