The Coq mailing list

[Peter Baumgartner <peter AT uni-koblenz.de>]

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

                               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/