FCS'16 - The 12th International Conference on Foundations of Computer Science
Featured Keynotes
![]() |
Dr. Firouz Naderi
Former director of Solar System Exploration at NASA's Jet Propulsion Laboratory (JPL)
(Oversaw robotic spacecraft dispatched to all corners of the solar system.) Prior position: NASA's Program Manager for Mars Exploration Recipient of NASA's outstanding Leadership Medal and NASA's, Distinguished Service Medal (NASA's highest award) ![]() ![]() |
---|---|
![]() |
Prof. Alfred Inselberg
Tel Aviv University, Israel; University of California, Los Angeles
(UCLA); University of Southern California (USC);
Senior Fellow at the San Diego Supercomputing Center, California, USA
Author of "Parallel Coordinates: VISUAL Multidimensional Geometry"; his work is praised by Stephen Hawking among many others.
|
Opening Remarks
![]() | Introduction, and Congress Report Prof. Hamid R. Arabnia Professor of Computer Science Editor-in-Chief, The Journal of Supercomputing (Springer) Fellow & Adviser, Center of Excellence in Terrorism, Resilience, Intelligence & Organized Crime Research (CENTRIC) Recipient of Distinguished Research Award, ACM SIGAPP IMCOM 2014 |
---|
Featured Tutorials
![]() |
Prof. H. J. Siegel
Fellow of IEEE and Fellow of ACM; Abell Endowed Chair Distinguished Professor of Electrical and Computer Engineering and Professor of Computer Science
Colorado State University, Fort Collins, Colorado, USA
Founding Director of the CSU Information Science and Technology Center (ISTeC);
![]() |
---|---|
![]() |
Dr. Sandeep Chatterjee
Founder and CEO, EVx, USA
|
Call for Papers
You are invited to submit a paper for consideration. All accepted papers will be published in printed conference books/proceedings (each with a unique international ISBN number) and will also be made available online. The proceedings will be indexed in science citation databases that track citation frequency/data. In addition, like prior years, extended versions of selected papers (about 40%) will appear in journals and edited research books; publishers include, Springer, Elsevier, BMC, and others). See the web link below for a small subset of such publications: (some of these books and journal special issues have already received the top 25% downloads in their respective fields and/or identified as "Highly Accessed" by publishers and/or science citation index trackers.) Click Here for more details
The conference is composed of a number of tracks, tutorials, sessions, workshops, poster and panel discussions; all will be held simultaneously, same location and dates: July 25-28, 2016.
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