[TYPES/announce] ESSLLI 2014: Call for Course and Workshop Proposals

Sophia Katrenko sophia_katrenko at gmx.de
Wed Apr 17 19:14:37 EDT 2013

Previous message: [TYPES/announce] Researcher positions in Rigorous Engineering for Mainstream Systems (REMS)
Next message: [TYPES/announce] Fun With Formal Methods: 2nd CFP and deadline extension (till April 27, 2013)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message: [TYPES/announce] Researcher positions in Rigorous Engineering for Mainstream Systems (REMS)
Next message: [TYPES/announce] Fun With Formal Methods: 2nd CFP and deadline extension (till April 27, 2013)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Types-announce mailing list