|
|
| Line 13: |
Line 13: |
| |Camera ready=2009/05/22 | | |Camera ready=2009/05/22 |
| }} | | }} |
| <pre>
| | The 17th Fundamentals of Computation Theory (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: 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
| | ==Topics== |
| computing models; algebraic and categorical methods; logics and model
| | ==Submissions== |
| checking; principles of programming languages; program analysis and
| | ==Important Dates== |
| 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)
| |
| </pre>This CfP was obtained from [http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=4910&copyownerid=602 WikiCFP]
| |
The following coordinate was not recognized: Geocoding failed.The following coordinate was not recognized: Geocoding failed.
The 17th Fundamentals of Computation Theory (FCT) 2009
Topics
Submissions
Important Dates