[Elsnet-list] Final call: AMAST 2010

amast-10 at kestrel.edu amast-10 at kestrel.edu
Tue Apr 6 18:23:30 CEST 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


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

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

More information about the Elsnet-list mailing list