[TYPES/announce] Second Call for Papers: FSEN 2015

Marjan Sirjani fsen2015 at ipm.ir
Tue Aug 19 14:11:49 EDT 2014

Previous message: [TYPES/announce] 2nd CFP Post-proceedings TYPES 2014 Types for Proofs and Programs (open call)
Next message: [TYPES/announce] Call for Participation: STM'14 (10-11 Sept, Wroclaw, Poland)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20140819/08b92b47/attachment.html>

Previous message: [TYPES/announce] 2nd CFP Post-proceedings TYPES 2014 Types for Proofs and Programs (open call)
Next message: [TYPES/announce] Call for Participation: STM'14 (10-11 Sept, Wroclaw, Poland)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Types-announce mailing list