FCT 2011
Revision as of 10:52, 21 April 2021 by Tolga.karaarslan (talk | contribs)
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 | |
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"
Acronym | FCT 2011 + |
End date | August 25, 2011 + |
Event in series | FCT + |
Event type | Symposium + |
Has coordinates | 59° 54' 48", 10° 44' 20"Latitude: 59.913330555556 Longitude: 10.738969444444 + |
Has location city | Oslo + |
Has location country | Category:Norway + |
Homepage | http://fct11.ifi.uio.no/ + |
IsA | Event + |
Ordinal | 18 + |
Start date | August 22, 2011 + |
Title | 18th Fundamentals of Computation Theory + |