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 12: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