Fwd: CFP - VMCAI 2010, Madrid (11th Int'l Conf on Verification, Model Checking, and Abstract Interpretation)

[Ivan A Sag]

All, FYI. -Ivan

----- Forwarded Message -----
Sent: Mon, 27 Jul 2009 13:12:32 -0700 (PDT)
Subject: [forwarded from hpsg-l-owner at lists.stanford.edu] CFP - VMCAI 2010, Madrid 
       (11th Int'l Conf on Verification, Model Checking, and Abstract Interpretation) 

--Manuel Hermenegildo

-------------- next part --------------
An embedded message was scrubbed...
From: hpsg-l-owner at lists.stanford.edu
Subject: CFP - VMCAI 2010, Madrid (11th Int'l Conf on Verification, Model Checking, and Abstract Interpretation)
Date: Wed, 22 Jul 2009 05:39:03 -0700
Size: 8963
URL: <http://listserv.linguistlist.org/pipermail/hpsg-l/attachments/20090727/40c9a66e/attachment.eml>
-------------- next part --------------