Difference between revisions of "FCT 2009"

From Openresearch
Jump to: navigation, search
(Event created)
 
 
(11 intermediate revisions by the same user not shown)
Line 1: Line 1:
 
{{Event
 
{{Event
| Acronym = FCT 2009
+
|Acronym=FCT 2009
| Title = Fundamentals of Computation Theory
+
|Title=17th Fundamentals of Computation Theory
| Type = Conference
+
|Ordinal=17
| Series =  
+
|Series=FCT
| Field = Uncategorized
+
|Type=Symposium
| Homepage = fct2009.im.pwr.wroc.pl/callforpapers.php
+
|Start date=2009/09/02
| Start date = Sep 2, 2009  
+
|End date=2009/09/04
| End date = Sep 4, 2009
+
|Submission deadline=2009/04/09
| City= Wroclaw
+
|Homepage=http://fct2009.im.pwr.wroc.pl/
| State =  
+
|City=Wroclaw
| Country = Pland
+
|Country=Poland
| Abstract deadline =  
+
|Camera ready=2009/05/22
| Submission deadline = Apr 9, 2009
+
|Has coordinator=Maciej G¸ebala
| Notification =  
+
|has general chair=Miroslaw Kutylowski
| Camera ready = May 22, 2009
+
|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
 
}}
 
}}
 +
The 17th Fundamentals of Computation Theory (FCT) 2009
  
<pre>
 
SUBMISSIONS
 
  
Authors are invited to  submit papers presenting original unpublished research
+
==Topics==
in all areas of theoretical computer science. Topics of interest include (but
+
* Algorithms: algorithm design and optimization; combinatorics and analysis of algorithms; computational complexity; approximation, randomized, and
not limited to):
+
heuristic methods; parallel and distributed computing; circuits and boolean functions; online algorithms; machine learning and artificial
 +
intelligence; computational geometry; computational algebra; ...
  
* Algorithms: algorithm design and optimization; combinatorics and analysis of
+
* Formal methods: automata and formal languages; computability and nonstandard computing models; algebraic and categorical methods; logics and model
algorithms; computational complexity; approximation, randomized, and  
+
checking; principles of programming languages; program analysis and transformation; specification, refinement and verification; type
heuristic methods; parallel  and distributed computing; circuits and  
+
systems; concurrency theory; database theory, semi-structured data and finite model theory; models of reactive, hybrid and stochastic
boolean functions; online algorithms; machine learning and artificial
+
systems; ...
intelligence; computational geometry; computational algebra; ...
 
  
* Formal methods: automata and formal languages; computability and nonstandard
+
* Emerging fields: security and cryptography; ad hoc and mobile systems;
        computing models; algebraic and categorical methods; logics and model
+
quantum computation; computational biology;high performance computing;
        checking; principles of programming languages; program analysis  and
+
algorithmic game theory; ...
        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;
+
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
        quantum computation; computational biology;high performance computing;
+
Program Committee to evaluate its validity, quality, and relevance. If necessary, detailed proofs can be attached as an appendix. Simultaneous
        algorithmic game theory; ...
+
submission to other conferences with published proceedings or journals is not
 +
allowed.  
  
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
+
==Important Dates==
 
+
Submission Deadline: 9 April, 2009, 23:59 GMT <br>
                        http://fct2009.im.pwr.wroc.pl/
+
Author Notification: 15 May, 2009<br>
 
 
IMPORTANT DATES
 
 
 
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 10: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