QCP '12
The 2012 International Workshop on
Quantified Constraint Programming
Date and Location: July 16-19, 2012, Las Vegas, USA
Co-located with FCS'12
The 2012 International Conference on Foundations of Computer Science
You are invited to submit a full paper for consideration. All accepted
papers will be be made available online. If there is interest, we can
also have published proceeding. The proceedings will be indexed
in science citation databases that track citation frequency/data for
each paper. Authors can also send extended abstracts of their work
to suitable journals.
SCOPE: Topics of interest include, but are not limited to, the following:
- Two person games
- Game theory and methods
- Computational Logic
- Logic in computer science
- Quantified Linear Programming
- Quantified Integer Programming
- Quantified Boolean Formulas
- Quantified Constraint Programs
- Open problems in Quantified Programming
- Other emerging topics
IMPORTANT DATES:
March 27, 2012: Submission of full papers (about 7 pages)
April 6, 2012: Notification of acceptance (+/- three days)
May 10, 2012: Final papers + Copyright/Consent + Registration
July 16-19, 2012: The 2012 International Workshop on Quantified
Constraint Programming
SUBMISSION OF PAPERS:
Prospective authors are invited to submit their papers by sending
email to pavlos.eirinakis@mail.wvu.edu
Submissions must be emailed by April 1, 2012 and they must be in
pdf formats (about 7 pages including all figures, tables, and references -
single space, font size of 10 to 12).
All reasonable typesetting formats are acceptable (later, the authors of
accepted papers will be asked to follow a particular typesetting format
to prepare their final papers for publication.)
Papers must not have been previously published or currently submitted
for publication elsewhere. The first page of the paper should include:
title of the paper, name, affiliation, postal address, and email address
for each author. The first page should also identify the name of the
Contact Author and a maximum of 5 topical keywords that would best
represent the content of the paper.
Each paper will be peer-reviewed by two experts in the field for
originality, significance, clarity, impact, and soundness.
You ARE permitted to submit work that has appeared before,
but indicate the same in your submission.
MEMBERS OF PROGRAM COMMITTEE:
Stefano Bistarelli, University of Perugia
Pavlos Eirinakis, West Virginia University
Sukhmay Kundu, Louisiana State University
Supratik Mukhopadhyay, Louisiana State University
Salvatore Ruggieri, University of Pisa
Robert Schnabel, Indiana University Bloomington
Natarajan Shankar, SRI International
Robert Sloan, University of Ilinois at Chicago
K. Subramani, West Virginia University
PROGRAM CHAIR:
K. Subramani, West Virginia University
PROGRAM co-CHAIR:
Pavlos Eirinakis, West Virginia University
The workshop is an informal gathering to discuss problems of mutual
interest in quantification of constraints.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
