Final call: AMAST 2010

amast-10 at kestrel.edu amast-10 at kestrel.edu
Di Apr 6 18:23:35 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

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



Mehr Informationen über die Mailingliste IFI-CI-Event