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

2018-03-12 Thread German Vidal
[ 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

2018-03-12 Thread Graham Hutton
[ 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

2018-03-12 Thread Xinyu Feng
[ 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

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