[TYPES/announce] ICTAC 2018 2nd call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS 15th International Colloquium on Theoretical Aspects of Computing ICTAC 2018 Stellenbosch, South Africa,

[TYPES/announce] [VEMDP 2018] 3rd International Conference on Verification of Engineered Molecular Devices and Programs - deadline extended until April 23

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for multiple copies.] = CALL FOR PRESENTATIONS

[TYPES/announce] LFMTP'18 deadline extension

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === Call for papers Logical Frameworks and Meta-Languages: Theory and Practice

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

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Following clarification requests: Submissions can be up to 2 pages in length excluding references, citations, and appendices. Yours, Ohad. LOLA 2018: Syntax and Semantics of Low-Level

[TYPES/announce] PhD position on type systems for concurrency

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We welcome applications for a four-year PhD position at the University of Groningen (the Netherlands) - see www.rug.nl. The position is offered in the context of the project "Advanced

[TYPES/announce] Research Positions in Logic & Verification at UCL

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for cross-postings, but please share widely. Thank you.] Research Associates in Programming Principles, Logic, and Verification (PPLV) University College London London, UK

[TYPES/announce] Graphical Models for Security (GraMSec 2018) - deadline extended until April 20

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Fifth International Workshop on Graphical Models for Security Oxford, UK - July 8, 2018 *Submission deadline extended until April 20* http://gramsec.uni.lu Co-located with CSF 2018 In

[TYPES/announce] BOOM! 2018 @ CONFESTA - Call for Contributions

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The BOOM! workshop solicits presentations of ongoing or previously published work to enable discussions on a broad range of topics, without formal proceedings. Selected abstracts will be

[TYPES/announce] Post-doc position in Formal Semantics and Compiler Verification

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Inria/IRISA Celtique group in Rennes (France) has one open post-doctoral position. The position is funded by the national ANR project Discover (http://discover.irisa.fr/

[TYPES/announce] (ADSL) Workshop on Automated Deduction for Separation Logics: Final Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (Apologies for multiple copies) First Workshop on Automated Deduction for Separation Logics, Oxford, UK, July 13th 2018 *** Deadline extended to April 20 ***