FCT 2009: Difference between revisions

From Openresearch
Jump to navigation Jump to search
← Older edit
No edit summary
No edit summary
 
(10 intermediate revisions by the same user not shown)
Line 8: Line 8:
|End date=2009/09/04
|End date=2009/09/04
|Submission deadline=2009/04/09
|Submission deadline=2009/04/09
|Homepage=fct2009.im.pwr.wroc.pl/callforpapers.php
|Homepage=http://fct2009.im.pwr.wroc.pl/
|City=Wroclaw
|City=Wroclaw
|Country=Pland
|Country=Poland
|Camera ready=2009/05/22
|Camera ready=2009/05/22
|Has coordinator=Maciej G¸ebala
|has general chair=Miroslaw Kutylowski
|has program chair=Miroslaw Kutylowski, Witold Charatonik
|Submitted papers=67
|Accepted papers=29
|has Proceedings Link=https://link.springer.com/content/pdf/10.1007%2F978-3-642-03409-1.pdf
|has Proceedings DOI=https://doi.org/10.1007/978-3-642-03409-1
|has Proceedings Bibliography=https://link.springer.com/book/10.1007%2F978-3-642-03409-1
}}
}}
<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
==Topics==
algorithms; computational complexity; approximation, randomized, and  
* Algorithms: algorithm design and optimization; combinatorics and analysis of algorithms; computational complexity; approximation, randomized, and
heuristic methods; parallel and distributed computing; circuits and  
heuristic methods; parallel and distributed computing; circuits and boolean functions; online algorithms; machine learning and artificial
boolean functions; online algorithms; machine learning and artificial  
intelligence; computational geometry; computational algebra; ...
intelligence; computational geometry; computational algebra; ...


* Formal methods: automata and formal languages; computability and nonstandard
* Formal methods: automata and formal languages; computability and nonstandard computing models; algebraic and categorical methods; logics and model
        computing models; algebraic and categorical methods; logics and model  
checking; principles of programming languages; program analysis and transformation; specification, refinement and verification; type
        checking; principles of programming languages; program analysis and  
systems; concurrency theory; database theory, semi-structured data and finite model theory; models of reactive, hybrid and stochastic
        transformation; specification, refinement and verification;   type  
systems; ...
        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;  
* Emerging fields: security and cryptography; ad hoc and mobile systems;
        quantum computation; computational biology;high performance computing;  
quantum computation; computational biology;high performance computing;
        algorithmic game theory; ...
algorithmic game theory; ...


Authors are invited to submit a draft of a full paper with at most 12 pages  
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
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
Program Committee to evaluate its validity, quality, and relevance. If  
submission to other conferences with published proceedings or journals is not
necessary, detailed proofs can be attached as an appendix. Simultaneous  
allowed.  
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 <br>
IMPORTANT DATES
Author Notification: 15 May, 2009<br>
 
Submission Deadline: 9 April, 2009, 23:59 GMT
Author Notification: 15 May, 2009
Camera Ready Manuscript Due: 22 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&amp;copyownerid=602 WikiCFP]

Latest revision as of 09:28, 21 April 2021

FCT 2009
17th Fundamentals of Computation Theory
Ordinal 17
Event in series FCT
Dates 2009/09/02 (iCal) - 2009/09/04
Homepage: http://fct2009.im.pwr.wroc.pl/
Location
Location: Wroclaw, Poland
Loading map...

Important dates
Submissions: 2009/04/09
Camera ready due: 2009/05/22
Papers: Submitted 67 / Accepted 29 (43.3 %)
Committees
Organizers: Maciej G¸ebala
General chairs: Miroslaw Kutylowski
PC chairs: Miroslaw Kutylowski, Witold Charatonik
Table of Contents


The 17th Fundamentals of Computation Theory (FCT) 2009


Topics

  • 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.


Important Dates

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

Retrieved from "https://www.openresearch.org/mediawiki/index.php?title=FCT_2009&oldid=231165"