[TYPES/announce] postdoc position at Wesleyan

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hi everyone, I am looking for a postdoc with me here at Wesleyan. Possible start dates range from this coming fall to the following one. Please email me or submit an application if

[TYPES/announce] Call for Participation: WLP 2016 and co-located events

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 30th Workshop on (Constraint) Logic Programming (WLP 2016)24th International Workshop on http://nfa.imn.htwk-leipzig.de/WLP2016/ September 12-13, part of the Leipzig Week of Declarative

[TYPES/announce] DSLDI 2016: Final Call for Talk Proposals (Extended Deadline)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * FINAL CALL FOR TALK PROPOSALS DSLDI 2016 Fourth Workshop on Domain-Specific Language Design and Implementation