AISB event Bulletin Item
CALL FOR PAPERS: Fundamentals of Computation Theory, 19-21 Aug 2013 Liverpool (U.K.)
FCT 2013, University of Liverpool The 19th International Symposium on Fundamentals of Computation Theory (FCT 2013) will be hosted by the Department of Computer Science at the University of Liverpool. Dates: Aug 19-21, 2013 Website: http://fct2013.csc.liv.ac.uk/ Submission deadline: Apr 23, 2013 Invited Speakers Marek Chrobak, University of California, Riverside Joel Ouaknine, Oxford University David Peleg, Weizmann Institute Program chairs: Leszek Gasieniec, University of Liverpool Frank Wolter, University of Liverpool Conference scope ---------------- FCT covers Algorithms, including algorithm design, optimization, approximation and randomized algorithms, computational complexity, computational geometry, machine learning, artificial intelligence, computational algebra, online algorithms, and parallel and distributed computing. Formal methods, including algebraic and categorical methods, automata and formal languages, database theory, foundations of concurrency, logic and model checking, principles of programming languages, program analysis and transformation, specification, refinement and verification, and security. Emerging fields, including algorithmic game theory, computational biology, foundations of cloud computing, and quantum computing.