English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Call for Participation: 20th WADT, July 1-4, 2010
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2010-05-21 (12:31)
From: Till Mossakowski <till@i...>
Subject: Call for Participation: 20th WADT, July 1-4, 2010 
             [sorry if you receive this more than once]

                   CALL FOR PARTICIPATION

                         WADT 2010
                20th International Workshop on
               Algebraic Development Techniques
               July 1-4, 2010, Etelsen, Germany

                 Program and registration at
       http://www.informatik.uni-bremen.de/WADT2010/
        Contact: wadt2010@informatik.uni-bremen.de

           Registration deadline: May 31st, 2010