From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <amast-10@kestrel.edu>
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by yquem.inria.fr (Postfix) with ESMTP id CF468BC58
	for <caml-list@yquem.inria.fr>; Tue,  6 Apr 2010 18:23:09 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AvwFAEv8ukvHA+AIgWdsb2JhbACPUQEBi2gVAQEWIiKyRIhchQkEgyQ
X-IronPort-AV: E=Sophos;i="4.51,373,1267398000"; 
   d="scan'208";a="60287048"
Received: from mail.kestrel.edu ([199.3.224.8])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 06 Apr 2010 18:23:08 +0200
Received: from localhost (localhost.kestrel.edu [127.0.0.1])
	by mail.kestrel.edu (Postfix) with ESMTP id 8BDFE4EED4B
	for <caml-list@yquem.inria.fr>; Tue,  6 Apr 2010 09:23:06 -0700 (PDT)
X-Virus-Scanned: amavisd-new at kestrel.edu
Received: from mail.kestrel.edu ([127.0.0.1])
	by localhost (mail.kestrel.edu [127.0.0.1]) (amavisd-new, port 10024)
	with ESMTP id cqw2yMrDZhV1 for <caml-list@yquem.inria.fr>;
	Tue,  6 Apr 2010 09:23:06 -0700 (PDT)
Received: from kestrel.edu (imap.kestrel.edu [192.168.16.8])
	by mail.kestrel.edu (Postfix) with ESMTP id 2171E4EED50
	for <caml-list@yquem.inria.fr>; Tue,  6 Apr 2010 09:22:40 -0700 (PDT)
Received: from egret.kestrel.edu (egret.kestrel.edu [206.159.212.78])
	by kestrel.edu (Postfix) with ESMTP
	id 01365337E8; Tue,  6 Apr 2010 09:22:40 -0700 (PDT)
Received: by egret.kestrel.edu (Postfix, from userid 1500)
	id F22FF1646A8; Tue,  6 Apr 2010 09:22:39 -0700 (PDT)
To: caml-list@yquem.inria.fr
Subject: Final call: AMAST 2010
Message-Id: <20100406162239.F22FF1646A8@egret.kestrel.edu>
Date: Tue,  6 Apr 2010 09:22:39 -0700 (PDT)
From: amast-10@kestrel.edu
X-Spam: no; 0.00; theoretical:03 algebraic:03 submissions:04 deadline:05 papers:06 papers:06 methods:12 edu:15 2010:83 2010:83 use:16 final:18 final:18 mike:18 website:79 

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