[TYPES/announce] Upcoming Deadline for SAS 2018: April 13th

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - SAS 2018 25th Static Analysis Symposium Freiburg im

[TYPES/announce] LOLA 2018: Second Call-for-Proposals

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] LOLA 2018: Syntax and Semantics of Low-Level Languages = Saturday, 7 July 2018, Oxford, United Kingdom A satellite workshop of LICS 2018

[TYPES/announce] Postdoc position in Logic, Gothenburg (Sweden), Deadline: 31st May 2018

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] POSTDOC POSITION IN LOGIC, GOTHENBURG (SWEDEN) * University of Gothenburg, Sweden * Duration: 2 years, starting Autumn 2018 * Deadline for applications is 31st May 2018 * The Department of

[TYPES/announce] LSFA 2018, 2nd CfP

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] SECOND CALL FOR PAPERS LSFA 2018 13th Workshop on Logical and Semantic Frameworks, with Applications 26-28 September 2018, Fortaleza, Brazil http://lia.ufc.br/~lsfa2018/

[TYPES/announce] Mathematically Structured Functional Programming 2018: Final Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Seventh Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING Sunday 8th July 2018, Oxford, UK A satellite workshop of FSCD 2018 http://msfp2018.bentnib.org/ ** New this time: