Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Final call: AMAST 2010
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: amast-10@k...
Subject: Final call: AMAST 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