Version française
Home     About     Download     Resources     Contact us    
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: -- (:)
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