FCT 2007: Difference between revisions
No edit summary |
No edit summary |
||
| Line 15: | Line 15: | ||
==Topics== | ==Topics== | ||
*automata and formal languages | |||
*design and analysis of algorithms | |||
*computational and structural complexity | |||
*semantics | |||
*logic, algebra and categories in computer science | |||
*circuits and networks | |||
*learning theory | |||
*specification and verification | |||
*parallel and distributed systems | |||
*concurrency theory | |||
*cryptography and cryptographic protocols | |||
*approximation and randomized algorithms | |||
*computational geometry | |||
*quantum computation and information | |||
*bio-inspired computation | |||
==Submissions== | ==Submissions== | ||
==Important Dates== | ==Important Dates== | ||
Revision as of 09:46, 16 April 2021
| FCT 2007 | |
|---|---|
16th Fundamentals of Computation Theory
| |
| Ordinal | 16 |
| Event in series | FCT |
| Dates | 2007/08/27 (iCal) - 2007/08/30 |
| Homepage: | http://www.conferences.hu/fct2007/ |
| Location | |
| Location: | Budapest, Hungary |
| Keynote speaker: | Ahmed Bouajjani, Oscar H. Ibarra, Philip Scott |
| Table of Contents | |
The 16th Fundamentals of Computation Theory (FCT) 2007
Topics
- automata and formal languages
- design and analysis of algorithms
- computational and structural complexity
- semantics
- logic, algebra and categories in computer science
- circuits and networks
- learning theory
- specification and verification
- parallel and distributed systems
- concurrency theory
- cryptography and cryptographic protocols
- approximation and randomized algorithms
- computational geometry
- quantum computation and information
- bio-inspired computation