FCT 2007

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... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","centre":false,"title":"","label":"","icon":"","visitedicon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"wmsoverlay":false,"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"overlaylayers":[],"resizable":false,"enablefullscreen":false,"scrollwheelzoom":true,"markercluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","locations":[{"text":"\u003Cb\u003E\u003Cdiv class=\"mw-parser-output\"\u003E\u003C/div\u003E\u003C/b\u003E\u003Chr /\u003E\u003Cdiv class=\"mw-parser-output\"\u003E\u003C/div\u003E","title":"","link":"","lat":47.4978789,"lon":19.0402383,"icon":""}],"imageoverlays":null}
Important dates
Submissions:	2007/03/11
Notification:	2007/04/27
Keynote speaker:	Ahmed Bouajjani, Oscar H. Ibarra, Philip Scott, László Lovász
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

Authors are invited to submit a draft of a full paper with at most 12 pages in LNCS style. The paper should provide sufficient detail to allow the Program Committee to evaluate its validity, quality, and relevance. If appropriate, then detailed proofs can be attached as an appendix. Simultaneous submission to other conferences with published proceedings is not allowed. Only electronic submissions are accepted, please follow the instructions on the conference URL.

Important Dates

Deadline for submissions: March 11, 2007
Notification to the authors: April 27, 2007
Final version: May 24, 2007
Symposium: August 27-30, 2007