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

[Peter Baumgartner]

-------------------------------------------------------------------------------

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

-------------------------------------------------------------------------------

Full workshop description at
	 
	  http://www.uni-koblenz.de/~peter/models03/


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/