COCV 2004 at ETAPS 2004: Call for Participation (Barcelona, Apr 04)

Jens Knoop <knoop@complang.tuwien.ac.at>
13 Feb 2004 23:48:03 -0500

          From comp.compilers

Related articles
COCV 2004 at ETAPS 2004: Call for Participation (Barcelona, Apr 04) knoop@complang.tuwien.ac.at (Jens Knoop) (2004-02-13)
| List of all articles for this month |

From: Jens Knoop <knoop@complang.tuwien.ac.at>
Newsgroups: comp.compilers
Date: 13 Feb 2004 23:48:03 -0500
Organization: Compilers Central
Keywords: conference
Posted-Date: 13 Feb 2004 23:48:03 EST

                                            CALL FOR PARTICIPATION


                                    3rd International Workshop on
                Compiler Optimization Meets Compiler Verification
                                                        COCV 2004
                                  Barcelona, Spain, April 3, 2004
    http://sunshine.cs.uni-dortmund.de/~knoop/COCV2004/cocv2004.html




                                          In conjunction with the
                                7th European Joint Conferences on
                                  Theory and Practice of Software
                                                      ETAPS 2004
                    Barcelona, Spain, March 27 - April 4, 2004
                                http://www.lsi.upc.es/etaps04/


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


      - (Most items on) registrations completed on or before
                                                  February 15th, 2004
          are subject to an additional early birds' discount on the
          early registration rate. For details, check out the ETAPS online
          registration form at
              http://www.lsi.upc.es/etaps04/Registration/registration-frame.html


      - The list of accepted papers is available at
              http://sunshine.cs.uni-dortmund.de/~knoop/COCV2004/cocv2004.html


      - Invited speaker: Todd D. Millstein, UCLA, CA, USA
                                              "Cobalt: A Language for Writing Provably-Sound
                                                Compiler Optimizations"


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.