[mercury-users] JFPLC'2001 Last Call for Papers

Pierre.Deransart at inria.fr Pierre.Deransart at inria.fr
Fri Dec 8 05:15:41 AEDT 2000

Please accept our apologies if you receive multiple copies of this
(last) call 

           Last Call for Papers JFPLC'2001
    Tenth International French Speaking Conference on
          Logic and Constraint Programming 

             Colocated with ASTI'2001

   April 24-27, 2001 Cit'e des Sciences, Paris, France

The tenth International French Speaking Conference on Logic and
Constraint Programming of the AFPLC (http://www.afplc.org),
JFPLC'2001, is part of the inaugural conference of ASTI'2001
(http://asti.asso.fr) and will be organized in Paris at the "Cit'e
des Sciences" of La Villette. The aim of the meeting is to review
recent research work on the conference topics with a particular focus
on the interactions between the different aspects of logic
programming, constraint resolution and programing, and their
application domains. JFPLC'2001 follows the series of previous
meetings which took place in Marseille (2000), Lyon (99), Nantes (98),
Orl'eans (97), Clermont-Ferrand (96), Dijon (95), Bordeaux (94),
N^imes (93) and Lille (92).

All informations and other versions of this call:


Pr'esident of JFPLC'2001: P. Deransart, INRIA

Pr'esident of Program Committee: Ph. Codognet, U. Paris 6

Program Committee

H. Ait-Kaci, Simon Fraser U., CA
K. Apt, CWI, NL
C. Bessi`ere, LIRMM, FRA
Y. Caseau: Bouyges, FRA
A. Colmerauer U. Marseille, FRA 
V. Danos, CNRS, FRA 
P. Deransart, INRIA, FRA 
G. Dowek, INRIA, FRA 
F. Fages, INRIA, FRA
G. Ferrand, U. Orl'eans, FRA 
J-K. Hao, U. Angers, FRA
P. Jegou, LIM, FRA 
K. Mcaloon, CUNY, USA A. 
F. Mesnard, U. La Reunion, FRA 
E. Monfroy, U. Nantes, FRA 
A. Podelski, MPI, D 
J-F. Puget, ILOG, FRA 
P. Van Hentenryck, Brown, USA 

Organising Committee:

A. Aggoun, Cosytec
C. Barbara, INRIA
C. Demars, INRIA 
A. Ed-Dbali, U. Orl'eans
A. Theis-Viemont, INRIA

Inquiries jfplc2001 at inria.fr

Important Dates
Abstract	December 15, 2000 
Submission	December 15, 2000 
Acceptation	February 1, 2001 
Final Version	March 1, 2001



(more to be announced)

The technical program of the conference will include invited
conferences, presentations of refereed papers, posters and demos (both
subject to a forthcoming specific call), common sessions with related
conferences of ASTI'2001, and exhibition. 

The proceedings will be published by Herm`es. Official conference
languages are French and English. Papers may be submitted in English,
but should be published in French if one of the author is native
French speaker. 

A special award will be given to the best paper presented by one or
several young researchers (none of the authors having defended his PhD
thesis before December 31, 2000). Authors meeting this requirement
must mention it when submitting. 

Scope : Papers are welcome on all theoretical or experimental aspects
of logic programming and/or constraint programming, including, but not
limited to

Logic Programming 
Constraint Programming 
Constraint Satisfaction problems 
Constraint Resolution and Optimisation 
Over-constrained Problems 
Logic Foundations 
Local Search 
Theory and Foundations 
Inductive Logic programming 
Constraint Database 
Static Analysis 
Deductive Database 
Programming Environment 
Parallelism and Concurrency 
Language Conception and Implementation 

Submissions : Authors are invited to send papers not exceeding 15
pages, formatted according to the JFPLC'2001 style (available on the
WWW conference site). Papers should contain original, previously
unpublished results (neither in a conference nor in a
journal). Accepted papers should be presented at the conference. 

Electronic submissions are strongly encouraged and should be made
before December 15, 2000 as a standard postscript file from
http://conference.inria.fr/jfplc2001. Details are provided on this
URL. Authors should also send an e-mail, containing the title,
authors, abstract, keywords of the paper and the name, addresses
(surface and electronic mail), phone and fax numbers of the main
author, to jfplc2001 at inria.fr before Decembre 15, 2000 or submit their
abstract connecting to http://conference.inria.fr/jfplc2001 and
following instructions.

When electronic submission is not available, authors should send six
copies of the paper to the program committee chairman at the following
address before the deadline: JFPLC2001, LIP6, case 169, Universit'e de
Paris 6, 8, rue du Capitaine Scot, 75015 Paris, France. 

The first colloquium of ASTI (Association Fran,caise des Sciences et
Technologies de l'Information), ASTI'2001, gathers 15 events in the
same location, organised by the founding associations (among them,
AFPLC), with a joint common day (April 25). It will offer a unique
oportunity to meet and exchange between academic as industrial
partners as well. All informations about ASTI and the colloquium:

mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe

More information about the users mailing list