[TYPES/announce] Call for Workshops - 10th Conference on Intelligent Computer Mathematics - CICM 2017 - Deadline: April 17th, 2017

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Workshop Proposals 10th Conference on Intelligent Computer Mathematics - CICM 2017 - July 17-21,

[TYPES/announce] First Call for Papers -- FVAV 2017 - Workshop on Formal Verification of Autonomous Vehicles 2017

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == Call for Papers == Workshop

[TYPES/announce] IC 2017: 1st Workshop in Incremental Computing (1st call for papers)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The First Workshop on Incremental Computing (IC) will provide a space where PL enthusiasts and researchers can come to discuss incremental computing problems and solutions. It is co-located

[TYPES/announce] CFP: WPTE 2017 Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS Fourth International Workshop on