[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