FCT 1995: Difference between revisions
No edit summary |
No edit summary |
||
| (One intermediate revision by the same user not shown) | |||
| Line 9: | Line 9: | ||
|City=Dresden | |City=Dresden | ||
|Country=Germany | |Country=Germany | ||
|has general chair=Horst Reichel | |||
|has program chair=D. Beauquier, M. Bellia | |||
|has Proceedings DOI=https://doi.org/10.1007/3-540-60249-6 | |has Proceedings DOI=https://doi.org/10.1007/3-540-60249-6 | ||
|has Proceedings Bibliography=https://link.springer.com/book/10.1007%2F3-540-60249-6 | |has Proceedings Bibliography=https://link.springer.com/book/10.1007%2F3-540-60249-6 | ||
| Line 15: | Line 17: | ||
==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 | |||
Latest revision as of 11:33, 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 |
| Committees | |
| General chairs: | Horst Reichel |
| PC chairs: | D. Beauquier, M. Bellia |
| 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