Difference between revisions of "FCT 1995"
Jump to navigation
Jump to search
(Created page with "{{Event |Acronym=FCT 1995 |Title=10th Fundamentals of Computation Theory |Ordinal=10 |Series=FCT |Type=Symposium |Start date=1995/08/22 |End date=1995/08/25 |City=Dresden |Cou...") |
Tim Holzheim (talk | contribs) (Added page provenance(#264) and contribution type(#271)) |
||
| (4 intermediate revisions by one other 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 Bibliography=https://link.springer.com/book/10.1007%2F3-540-60249-6 | ||
| + | |DblpConferenceId=fct/fct95 | ||
| + | |pageCreator=Tolga.karaarslan | ||
| + | |pageEditor=Tolga.karaarslan | ||
| + | |contributionType=1 | ||
}} | }} | ||
The 10th Fundamentals of Computation Theory (FCT) 1995 | The 10th Fundamentals of Computation Theory (FCT) 1995 | ||
==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 20:17, 1 April 2022
| 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