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 _______________________________________________ clean-list mailing list [email protected] http://mailman.science.ru.nl/mailman/listinfo/clean-list
