FCT 2011

From Openresearch
Jump to: navigation, search
FCT 2011
18th Fundamentals of Computation Theory
Ordinal 18
Event in series FCT
Dates 2011/08/22 (iCal) - 2011/08/25
Homepage: http://fct11.ifi.uio.no/
Location
Location: Oslo, Norway
Loading map...

Table of Contents


The 18th Fundamentals of Computation Theory (FCT) 2011

Topics

Algorithms:

  • algorithm design and optimization
  • combinatorics and analysis of algorithms
  • computational complexity
  • approximation, randomized, and heuristic methods
  • parallel and distributed computing
  • circuits and boolean functions
  • online algorithms
  • machine learning and artificial intelligence
  • computational geometry
  • computational algebra

Formal methods:

  • algebraic and categorical methods
  • automata and formal languages
  • computability and nonstandard computing models
  • database theory
  • foundations of concurrency and distributed systems
  • logics and model checking
  • models of reactive, hybrid and stochastic systems
  • principles of programming languages
  • program analysis and transformation
  • specification, refinement and verification
  • security
  • type systems

Emerging fields:

  • ad hoc, dynamic, and evolving systems
  • algorithmic game theory
  • computational biology
  • foundations of cloud computing and ubiquitous systems
  • quantum computation

Submissions

Important Dates

Facts about "FCT 2011"
AcronymFCT 2011 +
End dateAugust 25, 2011 +
Event in seriesFCT +
Event typeSymposium +
Has coordinates59° 54' 48", 10° 44' 20"Latitude: 59.913330555556
Longitude: 10.738969444444
+
Has location cityOslo +
Has location countryCategory:Norway +
Homepagehttp://fct11.ifi.uio.no/ +
IsAEvent +
Ordinal18 +
Start dateAugust 22, 2011 +
Title18th Fundamentals of Computation Theory +