6 Apr
2010
6 Apr
'10
4:22 p.m.
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 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]