FCT 1995: Difference between revisions
No edit summary |
No edit summary |
||
| 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 11: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