(mobo import Concept___Event_For_Confident-migrated) |
(mobo import Concept___Events-migrated) |
||
Line 5: | Line 5: | ||
|Type=Symposium | |Type=Symposium | ||
|City=Dresden | |City=Dresden | ||
− | |Country= | + | |Country=Country:DE |
|has general chair=Horst Reichel | |has general chair=Horst Reichel | ||
|has program chair=D. Beauquier, M. Bellia | |has program chair=D. Beauquier, M. Bellia | ||
Line 18: | Line 18: | ||
|Start Date=1995/08/22 | |Start Date=1995/08/22 | ||
|End Date=1995/08/25 | |End Date=1995/08/25 | ||
+ | |Event Status=as scheduled | ||
+ | |Event Mode=on site | ||
}} | }} | ||
The 10th Fundamentals of Computation Theory (FCT) 1995 | The 10th Fundamentals of Computation Theory (FCT) 1995 |
Revision as of 14:10, 6 September 2022
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