FroCoS'2000: EXTENDED DEADLINE (OCTOBER 15, 1999) 
Author Message
 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
=========================================================================

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

* 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{*filter*}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

  by October 15, 1999 (EXTENDED DEADLINE).
  Accepted papers will be published in the post-conference proceedings.  


* 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

=========================================================================
If you plan to submit a paper, please send an e-mail to

=========================================================================



Sun, 24 Mar 2002 03:00:00 GMT  
 
 [ 1 post ] 

 Relevant Pages 

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

2. Great Lakes Symposium on VLSI: Submission deadline has been Extended till October 22, 1999

3. Great Lakes Symposium on VLSI: Submission deadline has been Extended till October 22, 1999

4. What's New for 15 Jan, 1999

5. ECOOP-OOOSWS'2000 Extended Deadline (Monday, April 10th)

6. DDLP99: CFPs deadline extended until July 11, 1999

7. bCentral Channel Partner offer extended to October 31 2000

8. Dec 15 - Portable GUI development with GtkAda - Ada-Belgium'2000

9. Dec 15 - Portable GUI development with GtkAda - Ada-Belgium'2000

10. FroCoS'2000: Call for Participation

11. FroCoS'2000: Call for Participation

12. Last CFP: FroCoS'2000

 

 
Powered by phpBB® Forum Software