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
Final call: AMAST 2010
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2010-04-06 (16:23)
From: amast-10@k...
Subject: Final call: AMAST 2010
Dear Colleague,

This is a final reminder that the postponed deadline for submissions
to AMAST 2010 is this Friday, April 9. You can find details about the
Call for Papers at the AMAST website

http://mpc-amast2010.fsg.ulaval.ca/amast/

We welcome papers in all areas relating to the use of algebraic
methods to help design and verify software, from theoretical
developments to work relating experiences during implementation
projects.

Best regards,
-- Mike Johnson and
-- Dusko Pavlovic