[FM-India] FMS 2018.
Madhavan Mukund
madhavan at cmi.ac.in
Tue Mar 6 10:54:04 IST 2018
----- Forwarded message -----
Date: Tue, 6 Mar 2018 09:34:08 +0530
From: Vinod Ganapathy <vg at iisc.ac.in>
To: fmindia at cmi.ac.in
Subject: FMS 2018.
A new workshop, called FMS 2018 Formal Methods and Security, will be held
together with PLDI 2018.
The CFP is here: https://pldi18.sigplan.org/track/FMS-2018-papers#About
Please submit your best work.
Vinod Ganapathy
----- End forwarded message -----
More information about the FMIndia
mailing list