[TYPES/announce] LCC 2017: 2nd call for papers; 1st call for participation

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

[TYPES/announce] CFP: ML Family Workshop 2016

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -- CALL FOR PAPERS ML Family Workshop 2017 7

[TYPES/announce] Categories Logic and Physics Scotland 5 April 2017

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CATEGORIES LOGIC AND PHYSICS SCOTLAND Wednesday 5 April 2017 Department of Computer and Information Sciences, University of Strathclyde http://homepages.inf.ed.ac.uk/cheunen/clapscotland/

[TYPES/announce] CFP: Encyclopedia of Proof Systems

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == EPS == Encyclopedia of Proof Systems --- call for contributions --- September 24-25, 2017, Brasilia, Brazil Affiliated to: TABLEAUX, FroCoS and ITP 2017

[TYPES/announce] Second call for papers: QPL 2017

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] SECOND CALL FOR PAPERS The 14th International Conference on Quantum Physics and Logic (QPL) July 3-7, 2017 Radboud

[TYPES/announce] CFP: Workshop on Type-driven Development (TyDe '17)

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