[logic-ml] CFP FTSCS 2012: 1st International Workshop on Formal Techniques for Safety-Critical Systems

Yuki Chiba chiba at jaist.ac.jp
Thu May 17 15:21:08 JST 2012

Previous message: [logic-ml] EASLLC 2012
Next message: [logic-ml] 2nd CFP: CPP 2012 - 2nd International Conference on Certified Programs and Proofs
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

A non-text attachment was scrubbed...
Name: not available
Type: multipart/signed
Size: 13486 bytes
Desc: not available
URL: <http://www.sato.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20120517/d2c6292c/attachment.bin>

Previous message: [logic-ml] EASLLC 2012
Next message: [logic-ml] 2nd CFP: CPP 2012 - 2nd International Conference on Certified Programs and Proofs
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Logic-ml mailing list