Difference between revisions of "FCT 2007"

From Openresearch
Jump to: navigation, search
Line 15: Line 15:
  
 
==Topics==
 
==Topics==
    *automata and formal languages  
+
*automata and formal languages  
    *design and analysis of algorithms  
+
*design and analysis of algorithms  
    *computational and structural complexity  
+
*computational and structural complexity  
    *semantics  
+
*semantics  
    *logic, algebra and categories in computer science  
+
*logic, algebra and categories in computer science  
    *circuits and networks  
+
*circuits and networks  
    *learning theory  
+
*learning theory  
    *specification and verification  
+
*specification and verification  
    *parallel and distributed systems  
+
*parallel and distributed systems  
    *concurrency theory  
+
*concurrency theory  
    *cryptography and cryptographic protocols  
+
*cryptography and cryptographic protocols  
    *approximation and randomized algorithms  
+
*approximation and randomized algorithms  
    *computational geometry  
+
*computational geometry  
    *quantum computation and information  
+
*quantum computation and information  
    *bio-inspired computation  
+
*bio-inspired computation  
  
  
 
==Submissions==
 
==Submissions==
 
==Important Dates==
 
==Important Dates==

Revision as of 10: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
Loading map...

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


Submissions

Important Dates