FCT 2009

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; 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; ...
 * Algorithms: algorithm design and optimization; combinatorics and analysis of

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; ...
 * Formal methods: automata and formal languages; computability and nonstandard

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

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) This CfP was obtained from WikiCFP