[TYPES/announce] Summer School on Bidirectional Transformations, Oxford, 25-29th July 2016

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Apologies if you have seen this before, but the early registration deadline (June 10th) is fast approaching for SSBX in Oxford. Please pass this on to anyone who may be interested (and

[TYPES/announce] PPPJ 2016, Submission Deadline Extended to June 13 AoE

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Due to several requests, the paper submission deadline has been extended to June 13, 2016 AoE (Anywhere on Earth). Registering paper title and abstract

[TYPES/announce] APLAS 2016 Final Call for papers (abstract Jun. 12/paper Jun. 17)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [NB. Apparently some people have trouble with viewing the symposium web site. We have created a mirror site. -- Atsushi ]

[TYPES/announce] LOPSTR 2016: 2nd Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [ Please distribute, apologies for multiple postings. ] == LOPSTR 2016: 2nd Call for Papers

[TYPES/announce] International summer school on metaprogramming (Cambridge, 8-12 Aug 2016)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] International summer school on metaprogramming Robinson College, Cambridge, United Kingdom 8th-12th August, 2016