[TYPES/announce] Call for Participation: VerifyThis Verification Competition 2016

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] VerifyThis Verification Competition 2016 CALL FOR PARTICIPATION Competition to be held at ETAPS 2016 2 April 2016, Eindhoven, Netherlands

[TYPES/announce] CMCS 2016: Call for Short Contributions and Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Short Contributions and Participation 13th International Workshop on Coalgebraic Methods in Computer Science (CMCS'16)

[TYPES/announce] CL 2015 - Extended Deadline and Final Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CL’16 Sixth International Workshop on Classical Logic and Computation June, 23 2016 Porto, Portugal Last Call for Papers

[TYPES/announce] HDRA 2016: Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = CALL FOR PAPERS Higher-Dimensional Rewriting and Applications (HDRA 2016) =

[TYPES/announce] Fully funded PhD scholarship at the IT University of Copenhagen

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, As part of the research project Type Theories for Reactive Programming funded by Villum Fonden, I have an opening for a fully funded PhD scholarship at the IT University of