[DL] CFP: CADE-19 Workshop 'Model Computation - Principles, Algorithms, Applications'

Peter Baumgartner peter at uni-koblenz.de
Mon Feb 10 15:37:26 CET 2003


                               CADE-19 Workshop                                
                              Model Computation -                              
                     Principles, Algorithms, Applications                      
                              Miami, Florida, USA                              
                                 July 29, 2003                                 
                                CALL FOR PAPERS                                


Full workshop description at

Invited Speakers

  * Ilkka Niemelä, Helsinki University of Technology, Finland.

  (More to be announced)

Workshop Organization

    Peter Baumgartner
    University of Koblenz, Germany
    Email: peter at uni-koblenz.de
    Chris Fermueller
    University of Technology Vienna, Austria
    Email: chrisf at logic.tuwien.ac.at
Important Dates

    April 14, 2003  Paper submissions deadline
      May 16, 2003  Notification of acceptance
      May 23, 2003  Early registration
     June 30, 2003  Final versions due
     July 29, 2003  Worskhop

See http://www.cade-19.info/ for more information on CADE-19.

Peter Baumgartner           peter at uni-koblenz.de
Tel. +49 261 287-2777       http://www.uni-koblenz.de/~peter/

More information about the dl mailing list