[TYPES/announce] DisCoTec 2017 CfP

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Papers DisCoTec 2017 12th International Federated Conference on Distributed Computing Techniques

[TYPES/announce] faculty positions in PL & formal verification at Stevens (NYC area)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We seek to fill four tenure-track faculty positions. Formal verification is one of the primary areas of interest, along with programming languages, security, and others. Stevens

[TYPES/announce] Call for papers and tutorials at International Workshop on Agent-based Modeling and Applications with SARL

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] International Workshop on Agent-based Modeling and Applications with SARL (SARL-17) Madeira, Portugal May 16-19, 2017 Workshop Website: http://www.multiagent.fr/Conferences:SARL17 In

[TYPES/announce] ICGT 2017: Second Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Second Call for Papers 10th International Conference on Graph Transformation ICGT 2017 Marburg (Germany), 18-19 July 2017 Part of STAF 2017

[TYPES/announce] Assistant and associate professor openings at Aarhus University, Denmark

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear All, Several positions as tenure-track assistant professor or associate professor are available at the Department of Computer Science, Aarhus University