Difference between revisions of "FCT 2011"

From Openresearch
Jump to: navigation, search
Line 46: Line 46:
 
* foundations of cloud computing and ubiquitous systems
 
* foundations of cloud computing and ubiquitous systems
 
* quantum computation
 
* quantum computation
 +
  
 
==Submissions==
 
==Submissions==
 +
Authors are invited to submit a paper with at most 12 pages in the LNCS
 +
style.
 +
The paper should provide sufficient detail to allow the Program Committee to
 +
evaluate its validity, quality, and relevance. If necessary, detailed proofs
 +
can be attached as an appendix. Simultaneous submission to other conferences
 +
with published proceedings or journals is not allowed.
 +
 +
 
==Important Dates==
 
==Important Dates==

Revision as of 10:53, 21 April 2021

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

Authors are invited to submit a paper with at most 12 pages in the LNCS style. The paper should provide sufficient detail to allow the Program Committee to evaluate its validity, quality, and relevance. If necessary, detailed proofs can be attached as an appendix. Simultaneous submission to other conferences with published proceedings or journals is not allowed.


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 +