[TYPES/announce] Second call for Papers: HVCS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -- (apologies for multiple copies) Call for Papers 5th Workshop on Horn Clauses for Verification and Synthesis (HCVS) Aff

[TYPES/announce] Midlands Graduate School 2018 - final call for participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, There are just a few days left now to register for this years Midlands Graduate School (MGS) in Nottingham: eight fantastic courses on dependently typed programming, categories, la

[TYPES/announce] Call for Papers: SETTA 2018

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * SETTA 2018, Call for Papers 4th International Symposium on Dependable Software Engineering: Theories, Tools and Applicat

[TYPES/announce] [VEMDP 2018] 3rd International Conference on Verification of Engineered Molecular Devices and Programs - CALL FOR PRESENTATIONS

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for multiple copies.] = CALL FOR PRESENTATIONS