Difference between revisions of "FCT 1995"
Jump to navigation
Jump to search
(modified through wikirestore by Th) |
(modified through wikirestore by Th) |
||
| Line 1: | Line 1: | ||
{{Event | {{Event | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
|has general chair=Horst Reichel | |has general chair=Horst Reichel | ||
|has program chair=D. Beauquier, M. Bellia | |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 | ||
| − | | | + | |Acronym=FCT 1995 |
| − | |State=DE/SN}} | + | |End date=1995/08/25 |
| + | |Series =FCT | ||
| + | |Type =Symposium | ||
| + | |Country=DE | ||
| + | |State =DE/SN | ||
| + | |City =DE/SN/Dresden | ||
| + | |Ordinal=10 | ||
| + | |Start date=1995/08/22 | ||
| + | |Title =10th Fundamentals of Computation Theory | ||
| + | |DblpConferenceId=fct/fct95}} | ||
The 10th Fundamentals of Computation Theory (FCT) 1995 | The 10th Fundamentals of Computation Theory (FCT) 1995 | ||
Revision as of 01:06, 25 October 2021
Event Rating
| median | worst |
|---|---|
List of all ratings can be found at FCT 1995/rating
| FCT 1995 | |
|---|---|
10th Fundamentals of Computation Theory
| |
| Ordinal | 10 |
| Event in series | FCT |
| Dates | 1995/08/22 (iCal) - 1995/08/25 |
| Location | |
| Location: | DE/SN/Dresden, DE/SN, DE |
| 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