call for papers, previous message

From:     constr95@tamucc.edu (Construction 95 ???)
Subject:  CFP: CONSTRAINT-95  Workshop Constraint Based Reasoning
Date:     21 Jul 1994 20:43:13 GMT


                               CONSTRAINT-95 
            International Workshop on Constraint-Based Reasoning 
                      (in conjunction with FLAIRS-95) 
 
                      Melbourne Beach, Florida, USA 
                             April 26, 1995 
 
                             CALL FOR PAPERS 
 
The purpose of this workshop is to promote interaction among active 
researchers in the area of constraint-based reasoning.  The one-day 
workshop will immediately precede FLAIRS-95 (Eighth Annual Florida AI 
Research Symposium, April 27-29).  Workshop participants are encouraged 
to also submit papers to FLAIRS-95.  The workshop registration fee is 
waived for those who register for the conference. 
 
Submission of high-quality papers or extended abstracts describing mature  
results or on-going work are invited for all areas of constraint-based  
reasoning, including, but not limited to: 
 
     exact and approximate algorithms for solution of constraints 
     complexity results 
     concurrent constraint processing
     extensions of existing constraint domains 
     formalizations of new domains 
     innovative applications 
     programming language support for constraints 
 
The size of the workshop will be limited.  Accepted papers will be invited 
for either full or poster presentation. All submissions must be 
received by November 10, 1994.  We will send notification of acceptance or 
rejection to the first author (or designated author) on February 1, 1995.  
All accepted papers will appear in the workshop proceedings.

Prospective participants should submit 5 copies of a 5-8 page extended 
abstract to the following address. 

     CONSTRAINT-95 
     Department of Computer Science 
     Texas A&M University-Corpus Christi 
     6300 Ocean Drive 
     Corpus Christi, Texas  78412 
     USA 
 
A 250 word summary must also be submitted via email to constr95@tamucc.edu.
 
Timeline:
     10 Nov. 1994     Submission Deadline (paper/extended abstract and 
                      brief electronic abstract)
      1 Feb. 1995     Acceptance Letters Mailed
     31 Mar. 1995     Camera Ready Copy Deadline
     26 Apr. 1995     CONSTRAINT-95 Workshop
     26-29 Apr. 1995  FLAIRS-95 Conference
 
FLAIRS Conference General Chairs: 
     Dan Tamir                 Florida Institute of Technology 
     Avelino Gonzalez          University of Central Florida 
 
Preliminary CONSTR-95 Program Committee:
     David E. Leasure, Chair   Texas A&M University-Corpus Christi 
     Jacques Cohen             Brandeis University
     Eugene Freuder            University of New Hampshire
     Joxan Jaffar              IBM
     Alan Mackworth            University of British Columbia
     Jeffrey Mark Siskind      Univeristy of Toronto
     Pascal Van Hentenryck     Brown University