m (Text replacement - "([0-9a-zA-Z])User:Curator 83" to "$1 Ch") |
Curator 91 (talk | contribs) |
||
| (7 intermediate revisions by 2 users not shown) | |||
| Line 3: | Line 3: | ||
|Title=21st Fundamentals of Computation Theory | |Title=21st Fundamentals of Computation Theory | ||
|Ordinal=21 | |Ordinal=21 | ||
| + | |In Event Series=Event Series:FCT | ||
| + | |Single Day Event=no | ||
| + | |Start Date=2017/09/11 | ||
| + | |End Date=2017/09/13 | ||
| + | |Event Status=as scheduled | ||
| + | |Event Mode=on site | ||
| + | |Venue=A30 - Laboratoire Bordelais de Recherche en Informatique | ||
| + | |City=Bordeaux | ||
| + | |Region=Nouvelle-Aquitaine | ||
| + | |Country=Country:FR | ||
| + | |Academic Field=Computer Science | ||
| + | |Official Website=http://fct2017.labri.fr/ | ||
| + | |Submission Link=https://easychair.org/conferences/?conf=fct2017 | ||
| + | |DOI=10.25798/1v9h-bq08 | ||
|Type=Symposium | |Type=Symposium | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
|Has coordinator=Arnaud Casteigts, Ralf Klasing | |Has coordinator=Arnaud Casteigts, Ralf Klasing | ||
|has program chair=Ralf Klasing, Marc Zeitoun | |has program chair=Ralf Klasing, Marc Zeitoun | ||
| − | |||
| − | |||
| − | |||
|has Proceedings Link=https://link.springer.com/content/pdf/10.1007%2F978-3-662-55751-8.pdf | |has Proceedings Link=https://link.springer.com/content/pdf/10.1007%2F978-3-662-55751-8.pdf | ||
|has Proceedings DOI=https://doi.org/10.1007/978-3-662-55751-8 | |has Proceedings DOI=https://doi.org/10.1007/978-3-662-55751-8 | ||
| Line 25: | Line 28: | ||
|pageEditor=User:Curator 75 | |pageEditor=User:Curator 75 | ||
|contributionType=1 | |contributionType=1 | ||
| − | |||
| − | |||
| − | |||
| − | |||
}} | }} | ||
| + | {{Event Deadline | ||
| + | |Notification Deadline=2017/06/16 | ||
| + | |Abstract Deadline=2017/05/01 | ||
| + | |Paper Deadline=2017/05/08 | ||
| + | |Camera-Ready Deadline=2017/06/28 | ||
| + | }} | ||
| + | {{Organizer | ||
| + | |Contributor Type=organization | ||
| + | |Organization=University of Bordeaux | ||
| + | }} | ||
| + | {{Event Metric | ||
| + | |Number Of Submitted Papers=99 | ||
| + | |Number Of Accepted Papers=34 | ||
| + | }} | ||
| + | {{S Event}} | ||
The 21st Fundamentals of Computation Theory (FCT) 2017 | The 21st Fundamentals of Computation Theory (FCT) 2017 | ||
Latest revision as of 07:50, 7 August 2023
|
||
| Abstract |
|
||
| Paper |
|
||
| Notification |
|
||
| Camera-Ready |
A30 - Laboratoire Bordelais de Recherche en Informatique, Bordeaux, Nouvelle-Aquitaine, France
The 21st Fundamentals of Computation Theory (FCT) 2017
Topics
Algorithms:
- algorithm design and optimization
- approximation, randomized, and heuristic methods
- circuits and boolean functions
- combinatorics and analysis of algorithms
- computational algebra
- computational and parameterized complexity
- computational geometry
- distributed and parallel computing
- online algorithms
- streaming algorithms
Formal methods:
- algebraic and categorical methods
- automata and formal languages
- computability and nonstandard computing models
- database theory
- foundations of concurrency and distributed systems
- logic and model checking
- models of reactive, hybrid and stochastic systems
- principles of programming languages
- program analysis and transformation
- security
- specification, refinement and verification
- type systems
Emerging fields:
- ad hoc, dynamic and evolving systems
- algorithmic game theory
- computational biology
- foundations of cloud computing and ubiquitous systems
- quantum information and quantum computing
Submissions
Authors are invited to submit high-quality manuscripts reporting original unpublished research in the topics related to the symposium. Simultaneous submission to other conferences or workshops with published proceedings is not allowed. It is required that each accepted paper be presented at the conference by one of its authors.
Submissions must not exceed 12 pages (excluding references), formatted according to LNCS style plus an optional, clearly marked appendix of reasonable length (to be read at the program committee's discretion). The first page must include an indication of whether the paper is eligible for the best student paper award.
Papers are to be submitted electronically through Easy Chair at the following link: https://easychair.org/conferences/?conf=fct2017
Important Dates
Abstract registration: May 1, 2017 (AoE)
Full paper submission: May 8, 2017 (AoE)
Notification to authors: June 16, 2017
Final version due: June 28, 2017
Conference dates: September 11-13, 2017
