FCT 2009

FCT 2009
Fundamentals of Computation Theory
Dates	Sep 2, 2009 (iCal) - Sep 4, 2009
Homepage:	fct2009.im.pwr.wroc.pl/callforpapers.php
Location
Location:	Wroclaw, Pland
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":51.1089776,"lon":17.0326689,"icon":""}],"imageoverlays":null}
Important dates
Submissions:	Apr 9, 2009
Camera ready due:	May 22, 2009
Table of Contents

The following coordinate was not recognized: Geocoding failed.

The following coordinate was not recognized: Geocoding failed.

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)
	

This CfP was obtained from WikiCFP