AMAST Mail - October 1999
[Prev][Next][Index]

FroCoS'2000: EXTENDED DEADLINE (OCTOBER 15, 1999)


[Please distribute this announcement to anyone who you think might be 
 interested. We apologize for multiples copies]

=========================================================================
        EXTENDED DEADLINE FOR PAPER SUBMISSIONS: OCTOBER 15, 1999
=========================================================================
If you plan to submit a paper, please send an e-mail to 
Christophe.Ringeissen@loria.fr as soon as possible.
=========================================================================

INTERNATIONAL WORKSHOP ON FRONTIERS OF COMBINING SYSTEMS (FroCoS'2000)
  March 22 - 24, 2000, Nancy, France
  Call for papers
  http://www.loria.fr/conferences/frocos2000/

* Topics. Papers are sought on any topic related to the general area
  of combination and integration of systems, including (but not
  restricted to): Combination of logics, Combination of constraint
  solving techniques (resp. decision procedures, term rewriting
  systems), Combination of deduction systems and computer algebra,
  Integration of decision procedures (resp. solving processes) into 
  constraint programming and deduction systems, Modelisation of hybrid
  systems, Logic modelling of multi-agent systems.

* Submission. Authors are encouraged to use LaTeX and the standard article
  class/style file (10pt). Papers should not exceed 15 pages. The
  primary means of submission will be electronic, in PostScript
  format.  Papers should be compressed, then uuencoded, and e-mailed
  to frocos@loria.fr with CC: Christophe.Ringeissen@loria.fr
  by October 15, 1999 (EXTENDED DEADLINE). 
  Accepted papers will be published in the post-conference proceedings.   

* Program co-chairs. H. Kirchner, C. Ringeissen (e-mail: frocos@loria.fr).
* Program committee. F. Baader, D. Basin, F. Benhamou, T. Fruehwirth,
  F. Giunchiglia, B. Gramlich, H. Kirchner, C. Kreitz, T. Mossakowski,
  J. Pfalzgraf, M. de Rijke, C. Ringeissen, T. Scott, M. Wallace.
* Invited Speakers. G. Dowek, K. Schulz, T. Uribe, R. Zippel
[ AMAST Mail - October 1999 | September 1999 | November 1999 | Latest Update | AMAST Mail Meta-Index | AMAST Mail 1999 | AMAST ]