posted by system || 2283 views || tracked by 5 users: [display]

CCC 2010 : The 25th IEEE Conference on Computational Complexity

FacebookTwitterLinkedInGoogle


Conference Series : Conference on Computational Complexity
 
Link: http://facweb.cs.depaul.edu/jrogers/Complexity/
 
When Jun 9, 2010 - Jun 12, 2010
Where Cambridge, MA, USA
Submission Deadline Dec 15, 2009
Notification Due Feb 25, 2010
Final Version Due Mar 19, 2010
Categories    computation theory   theoretical computer science
 

Call For Papers

Purpose and Scope

The conference seeks original research papers in all areas of computational complexity theory, studying the absolute and relative power of computational models under resource constraints. Typical models include deterministic, nondeterministic, randomized, and quantum models; uniform and nonuniform models; Boolean, algebraic, and continuous models. Typical resource constraints involve time, space, randomness, program size, input queries, communication, and entanglement; worst-case as well as average case. Other, more specific, topics include: probabilistic and interactive proof systems, inapproximability, proof complexity, descriptive complexity, and complexity-theoretic aspects of cryptography and machine learning. The conference also encourages results from other areas of computer science and mathematics motivated by computational complexity theory.

Location and Dates

The 2010 conference will be held from June 9th to June 12th, 2010, at Harvard University, located in Cambridge, Massachusetts. The conference will take place immediately after the 42nd ACM Symposium on Theory of Computing (STOC) and will overlap with the 11th ACM Conference on Electronic Commerce (EC), both of which will be held in Cambridge, MA.

See the navigation list for the local arrangements site and to find travel information.
Sponsors

The conference is sponsored by the IEEE Computer Society Technical Committee for Mathematical Foundations of Computing in cooperation with the ACM Special Interest Group on Algorithms and Computation Theory (SIGACT) and the European Association of Theoretical Computer Science (EATCS).

Submissions

Papers must be submitted electronically to https://ccc10.cs.wisc.edu/submit. A submission must be received by December 15h, 2009, 19:59 EST, for consideration. Notification of acceptance will be sent by February 25th, 2010, and final copies will be due by March 19th, 2010.

Format

A submission consists of a title page (containing the title, author names and affiliations, and an abstract), a body of no more than 10 pages, a bibliography, and possible appendices. The paper should be in single-column format, use at least 11-point font, and have standard margins and spacing between lines. Submissions deviating from these guidelines risk summary rejection. In the body of the paper (i) explain what the major contributions are, (ii) convey why they are interesting, (iii) tell how they relate to prior work, and (iv) present the main ideas behind them. Use appendices to substantiate technical claims. The appendices will be read at the discretion of the
Program Committee. The instructions for the format of final copies will be communicated to the authors of accepted papers.

Exclusivity

Material which has been previously published in a journal or another conference proceedings, or which is scheduled for publication prior to July, 2010, will not be considered for acceptance. Simultaneous submission of the same or essentially the same material to a journal or another conference with published proceedings (including STOC) is not allowed. Authors are encouraged to submit their papers to the Electronic Colloquium on Computational Complexity.
Presenting the work

Authors of accepted papers are expected to present their work at the conference. The program committee will determine time allocations for presentations (between 15 and 45 minutes). Conference proceedings will be published by the IEEE Computer Society. Publication in the conference proceedings does not preclude subsequent journal publication.

Ronald V. Book Prize for Best Student Paper

This award will be given to the best paper written solely by one or more students. An abstract is eligible if all authors are full-time students at the time of submission. This should be indicated in the submission registration message or cover letter. The program committee may decline to make the award or may split it among several papers.
Best Paper Award

This award will be given to the best paper submitted to the conference. This will be awarded by the program committee. The program committee may decline to make the award or may split it among several papers.
Program Committee

* Sanjeev Arora, Princeton University
* Stephen Cook, University of Toronto
* Venkatesan Guruswami, Carnegie-Mellon University
* Guy Kindler, Hebrew University
* Meena Mahajan, IMSc, Chennai
* Dieter van Melkebeek (chair), University of Wisconsin
* Omer Reingold, MSR and Weizmann Institute
* Amir Shpilka, Technion
* Emanuele Viola, Northeastern University
* John Watrous, University of Waterloo
* Ronald de Wolf, CWI, Amsterdam

Postable version

A mini-poster version of the CFP is available as a PDF.
Questions?

If you have any questions, please e-mail John Rogers, the publicity chair. You may also send mail to:

John Rogers
CDM, DePaul University
243 S. Wabash
Chicago IL 60604, USA

Related Resources

CCC 2018   Conference on Computational Complexity
IJESA 2017   International Journal of Embedded Systems and Applications
COLING 2018   The 27th International Conference on Computational Linguistics (COLING 2018)
CONCUR 2018   29th International Conference on Concurrency Theory
ACL 2018   56th Annual Meeting of the Association for Computational Linguistics
UNIF 2018   32nd International Workshop on Unification
CIG 2018   2018 IEEE Conference on Computational Intelligence and Games
CIAA 2018   23rd International Conference on Implementation and Application of Automata
FWCG 2017   Fall Workshop on Computational Geometry
ICCVBIC 2018   IEEE International Conference On Computational Vision and Bio Inspired Computing