|
|
| 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]
| |
