From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1125 Path: news.gmane.org!not-for-mail From: Christophe Ringeissen Newsgroups: gmane.science.mathematics.categories Subject: FroCoS'2000: First Call for Papers Date: Wed, 12 May 1999 14:48:40 +0200 (MET DST) Message-ID: <14137.30888.122000.616340@turing.loria.fr> Reply-To: Christophe.Ringeissen@loria.fr NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241017583 29628 80.91.229.2 (29 Apr 2009 15:06:23 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:06:23 +0000 (UTC) Cc: frocos@loria.fr To: fg121@informatik.uni-ulm.de, acl2@cli.com, atp@logic.tuwien.ac.at, qed@mcs.anl.gov, eacsl@dimi.uniud.it, lprolog@cis.upenn.edu, rewriting@ens-lyon.fr, colibri@let.uu.nl, Original-X-From: cat-dist Thu May 13 17:03:21 1999 Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.9.3/8.9.3) id PAA22484 for categories-list; Thu, 13 May 1999 15:41:42 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Mailer: VM 6.51 under 20.4 "Emerald" XEmacs Lucid Original-Sender: cat-dist@mta.ca Precedence: bulk Original-Lines: 116 Xref: news.gmane.org gmane.science.mathematics.categories:1125 Archived-At: [We apologize for multiple copies] First Call for Papers Third International Workshop ``Frontiers of Combining Systems'' FroCoS'2000 March 22-24, 2000, Nancy, France http://www.loria.fr/conferences/frocos2000/ In various areas of computer science, such as logic, computation, program development and proof, artificial intelligence, there is an obvious need for using specialized formalisms and inference mechanisms for special tasks. In order to be usable in practice, these specialized systems must be combined with each other, and they must be integrated into general purpose systems. The development of general techniques for the combination and integration of special systems has been initiated in many areas. The two previous international workshops on ``Frontiers of Combining Systems'' were held in Munich (1996) and in Amsterdam (1998). Like its predecessors, FroCoS'2000 is intended to offer a common forum for research activities in the general area of combination and integration of systems, and on their practical use. Suggested, but not exclusive topics of interest for the workshop are: * combination of logics * combination of constraint solving techniques, of decision procedures, of term rewriting systems * combination of deduction systems and computer algebra * integration of decision procedures and other solving processes into constraint programming and deduction systems * modelisation of hybrid systems * logic modelling of multi-agent systems. We expect to attract high quality original papers that cover relevant aspects of these topics. All submissions will be thoroughly evaluated. On the basis of the referee reports, papers will be selected for presentation at the conference and for the published post-conference proceedings. Program Committee: F. Baader (RWTH Aachen) D. Basin (U. Freiburg) F. Benhamou (U. Nantes) T. Fruehwirth (LMU Muenchen) F. Giunchiglia (ITC-IRST Trento) B. Gramlich (TU Wien) H. Kirchner (LORIA Nancy) C. Kreitz (Cornell U.) T. Mossakowski (U. Bremen) J. Pfalzgraf (U. Salzburg) M. de Rijke (U. Amsterdam) C. Ringeissen (LORIA Nancy) T. Scott (U. Paderborn/INRIA) M. Wallace (IC-Parc London) Program Chairs: H. Kirchner and C. Ringeissen LORIA & INRIA-Lorraine Campus Scientifique - BP 239 54506 Vandoeuvre-les-Nancy Cedex France E-mail: frocos@loria.fr Local Organization: C. Bergeret, A.-L. Charbonnier, A. Demange, H. Kirchner, C. Ringeissen, L. Vigneron. Paper Submissions: Authors are encouraged to use LaTeX and the standard article class/style file (10pt). The primary means of submission will be electronic, in PostScript format. Papers should be compressed, then uuencoded, and e-mailed to the program chairs. Papers should not exceed 15 pages, and should be received via e-mail by October 1, 1999. Results must be unpublished, and not submitted for publication elsewhere. Submissions should start with title, author(s) (names, correspondence addresses, e-mail addresses), and abstract. Important Dates: Paper Submissions: October 1, 1999 E-mail for paper submissions: frocos@loria.fr Notification of Acceptance: December 20, 1999 Final Versions due: February 5, 2000 Conference: March 22-24, 2000 FroCoS'2000 is just before ETAPS'2000 (Berlin, March 25-April 2,2000) so that attendance to both conferences can be suitably combined. Information on FroCoS'2000 is available by WWW: http://www.loria.fr/conferences/frocos2000/