Difference between revisions of "FCT 2011"
| Line 26: | Line 26: | ||
* computational algebra | * 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== | ==Submissions== | ||
==Important Dates== | ==Important Dates== | ||
Revision as of 10:52, 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 | |
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 + |
