[TYPES/announce] VTLTC 2020 - Final Call for Online Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Final Call for Online Participation VerifyThis Long-Term Challenge 2020 -- Online Result and Exchange Event --

[TYPES/announce] VTLTC 2020 - Call for Online Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Online Participation. VerifyThis Long-Term Challenge 2020 -- Online Result and Exchange Event -- 27th

[TYPES/announce] CFP VerifyThis Long-Term Challenge (VTLTC 2020)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Presentations VerifyThis Long-Term Challenge 2020 - Concluding Event -

[TYPES/announce] VerifyThis Long-term Challenge starts NOW!

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, We would like to invite you to join the first VerifyThis Collaborative Long-Term Challenge! https://verifythis.github.io or watch the video: https://vimeo.com/357544904