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:
April 1, 2012 : Submission of full papers (about 7 pages)
April 19, 2012 : Notification of acceptance (+/- two days)
April 26, 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.
Work in progress papers are highly encouraged.
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
