Difference between revisions of "FCT 1995"
Jump to navigation
Jump to search
Line 15: | Line 15: | ||
==Topics== | ==Topics== | ||
− | + | *Algorithms and data structures | |
− | + | *Automata and formal languages | |
+ | *Categories and types | ||
+ | *Computability and complexity | ||
+ | *Computational logics | ||
+ | *Computational geometry | ||
+ | *Foundations of system specifications | ||
+ | *Learning theory | ||
+ | *Parallelism and concurrency | ||
+ | *Rewriting and high-level replacement systems | ||
+ | *Semantics |
Revision as of 13:28, 2 March 2021
FCT 1995 | |
---|---|
10th Fundamentals of Computation Theory
| |
Ordinal | 10 |
Event in series | FCT |
Dates | 1995/08/22 (iCal) - 1995/08/25 |
Location | |
Location: | Dresden, Germany |
Table of Contents | |
The 10th Fundamentals of Computation Theory (FCT) 1995
Topics
- Algorithms and data structures
- Automata and formal languages
- Categories and types
- Computability and complexity
- Computational logics
- Computational geometry
- Foundations of system specifications
- Learning theory
- Parallelism and concurrency
- Rewriting and high-level replacement systems
- Semantics