posted by user: jyotirmoy || 3105 views || tracked by 5 users: [display]

FCT 2009 : Fundamentals of Computation Theory

FacebookTwitterLinkedInGoogle


Conference Series : Fundamentals of Computation Theory
 
Link: http://fct2009.im.pwr.wroc.pl/callforpapers.php
 
When Sep 2, 2009 - Sep 4, 2009
Where Wroclaw, Pland
Submission Deadline Apr 9, 2009
Notification Due May 15, 2009
Final Version Due May 22, 2009
 

Call For Papers

SUBMISSIONS

Authors are invited to submit papers presenting original unpublished research
in all areas of theoretical computer science. Topics of interest include (but
not limited to):

* Algorithms: algorithm design and optimization; combinatorics and analysis of
algorithms; computational complexity; approximation, randomized, and
heuristic methods; parallel and distributed computing; circuits and
boolean functions; online algorithms; machine learning and artificial
intelligence; computational geometry; computational algebra; ...

* Formal methods: automata and formal languages; computability and nonstandard
computing models; algebraic and categorical methods; logics and model
checking; principles of programming languages; program analysis and
transformation; specification, refinement and verification; type
systems; concurrency theory; database theory, semi-structured data
and finite model theory; models of reactive, hybrid and stochastic
systems; ...

* Emerging fields: security and cryptography; ad hoc and mobile systems;
quantum computation; computational biology;high performance computing;
algorithmic game theory; ...

Authors are invited to submit a draft of a full paper with at most 12 pages
in the LNCS style. The paper should provide sufficient detail to allow the
Program Committee to evaluate its validity, quality, and relevance. If
necessary, detailed proofs can be attached as an appendix. Simultaneous
submission to other conferences with published proceedings or journals is not
allowed.

For further information on the conference, please visit the URL at

http://fct2009.im.pwr.wroc.pl/

IMPORTANT DATES

Submission Deadline: 9 April, 2009, 23:59 GMT
Author Notification: 15 May, 2009
Camera Ready Manuscript Due: 22 May, 2009


PROGRAM COMMITTEE CHAIRS

Miroslaw Kutylowski (Wroclaw, Poland) - chair
Witold Charatonik (Wroclaw, Poland) - co-chair

PROGRAM COMMITTEE

Roberto Amadio (Paris, France)
Manuel Bodirsky (Paris, France)
Jacek Cichon (Wroclaw, Poland)
Anuj Dawar (Cambridge, United Kingdom)
Giorgio Delzanno (Genova, Italy)
Cunsheng Ding (Hong Kong, China)
Thomas Erlebach (Leicester, United Kingdom)
Joachim von zur Gathen (Bonn, Germany)
Andrew D. Gordon (Cambridge, United Kingdom)
Thomas Jansen (Dortmund, Germany)
Stasys Jukna (Frankfurt, Germany)
Maciej Koutny (Newcastle, United Kingdom)
Antonin Kucera (Prague, Czech Republic)
Stefano Leonardi (Rome, Italy)
Maciej Liskiewicz (Lubeck, Germany)
Tomasz Luczak (Poznan, Poland)
Alexander Okhotin (Turku, Finland)
Andreas Podelski (Freiburg, Germany)
Sergio Rajsbaum (Mexico, Mexico)
Jose Rolim (Geneva, Switzerland)
Piotr Sankowski (Warszawa, Poland)
Vladimiro Sassone (Southampton, United Kingdom)
Helmut Seidl (Munchen, Germany)
Maria Jose Serna Iglesias (Barcelona, Spain)
Paul Spirakis (Patras, Greece)
Jean-Marc Talbot (Provence, France)
Jerzy Tiuryn (Warszawa, Poland)
Stephan Waack (Gottingen, Germany)
Igor Walukiewicz (Bordeaux, France)
Thomas Zeugmann (Hokkaido, Japan)

STEERING COMMITTEE

Bogdan Chlebus (Warszawa/Denver, Poland/USA)
Zoltan Esik (Szeged, Hungary)
Marek Karpinski - chair (Bonn, Germany)
Andrzej Lingas (Lund, Sweden)
Miklos Santha (Paris, France)
Eli Upfal (Providence, USA)
Ingo Wegener (Dortmund, Germany)

Related Resources

FCT 2025   25th International Symposium on Fundamentals of Computation Theory
ECTA 2025   17th International Conference on Evolutionary Computation Theory and Applications
FCTA 2025   17th International Conference on Fuzzy Computation Theory and Applications
NCTA 2025   17th International Conference on Neural Computation Theory and Applications
TAMC 2025   The 19th Annual Conference on Theory and Applications of Models of Computation
ICAISC 2026   International Conference on Artificial Intelligence and Soft Computing
Integrating Embodied Intelligence and Io 2025   Intelligent Computing: Special Issue: Advanced Intelligent Computation for Integrating Embodied Intelligence and IoT Systems
GECCO 2025   Genetic and Evolutionary Computation Conference
Systems (MDPI) 2025   Special Issue Title: Hypothesis-Driven Artificial Intelligence Approaches for Complex Systems Biology
FASSI 2025   The Eleventh International Conference on Fundamentals and Advances in Software Systems Integration