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 _______________________________________________ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs