Difference between revisions of "FCT 2009"

From Openresearch
Jump to: navigation, search
 
(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 11: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