FCS 2017 - 13th Int'l Conf on Foundations of Computer Science
Date2017-07-17 - 2017-07-20
Deadline2017-03-24
VenueMonte Carlo Resort, Las Vegas, USA - United States
Keywords
Topics/Call fo Papers
Topics of interest include, but are not limited to, the following:
Quantum Computing
Game Theory and Methods
Combinatorial Pattern Matching
Computational Number Theory
Big Data Analytics
Distributed and Parallel Computation Models and Theory
Logic in Computer Science
Theory of Computing and Formal Systems
Automata and Formal Languages
Optimization Methods (including, Combinatorial Optimization)
Coding Theory
Novel Data Structures
Computational Learning Theory
Complexity Theory (including, Circuit Complexity)
Graph Algorithms
Deduction
Combinatorics
Algorithms
Probabilistic and Randomized Methodologies
Approximation Methods
Parametrized Complexity (including, Kolmogorov, ...)
Non-Linear Dynamics and Chaos
Computational Biology and Bioinformatics
Mathematical Foundations of Computer Science
Cryptography
Novel Compression Methods
Database Theory
Queuing Methods
Pansystems
Randomness in Computing
Economics and Computation
Satisfiability Testing
Foundations of Computer Security
Model Checking and Computer-Aided Verification
Models of Computation
Computational Geometry
Semantics, Concurrency and Type Theory
Scheduling Methods
Models of Internet Computing
Theoretical aspects of other computer science fields: computational science, databases, information retrieval, networking, privacy, security, ...
Other emerging topics
Quantum Computing
Game Theory and Methods
Combinatorial Pattern Matching
Computational Number Theory
Big Data Analytics
Distributed and Parallel Computation Models and Theory
Logic in Computer Science
Theory of Computing and Formal Systems
Automata and Formal Languages
Optimization Methods (including, Combinatorial Optimization)
Coding Theory
Novel Data Structures
Computational Learning Theory
Complexity Theory (including, Circuit Complexity)
Graph Algorithms
Deduction
Combinatorics
Algorithms
Probabilistic and Randomized Methodologies
Approximation Methods
Parametrized Complexity (including, Kolmogorov, ...)
Non-Linear Dynamics and Chaos
Computational Biology and Bioinformatics
Mathematical Foundations of Computer Science
Cryptography
Novel Compression Methods
Database Theory
Queuing Methods
Pansystems
Randomness in Computing
Economics and Computation
Satisfiability Testing
Foundations of Computer Security
Model Checking and Computer-Aided Verification
Models of Computation
Computational Geometry
Semantics, Concurrency and Type Theory
Scheduling Methods
Models of Internet Computing
Theoretical aspects of other computer science fields: computational science, databases, information retrieval, networking, privacy, security, ...
Other emerging topics
Other CFPs
Last modified: 2017-01-14 12:56:15