[TYPES/announce] Journal of Functional Programming - Call for PhD Abstracts

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, If you or one of your students recently completed a PhD in the area of functional programming, please submit the dissertation abstract for publication in JFP: simple process, no

[TYPES/announce] postdoctoral position at Wesleyan University

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hi, The Department of Mathematics and Computer Science at Wesleyan University (Middletown, CT, USA) invites applications for a Postdoctoral Research Associate. The postdoc will work with

[TYPES/announce] CALL FOR PAPERS - ICTAC 2017

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Please accept our apologies if you receive multiple copies of this Call for Papers (CFP)] Due to some requests from authors, we have decided to extend the submission deadline by 10 days.

[TYPES/announce] CFP: 2nd Workshop on Design and Analysis of Robust Systems (DARS), co-located with CAV 2017

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] > > *** > The Second Workshop on Design and Analysis of Robust Systems > (DARS 2017) > >

[TYPES/announce] Postdoc Position at Queen Mary

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are hiring one research fellow with a strong background in programming languages and verification, who can contribute to the design and implementation of a Java heterogeneous

[TYPES/announce] FEVER 2017 @ CAV - Call for Presentations

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

[TYPES/announce] Curry On 2017 - Call for Presentations

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -- Curry On Barcelona! (Curry On 2017)

[TYPES/announce] Seventh Summer School on Formal Techniques, May 21-26, 2017, Menlo College, Atherton

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Seventh Summer School on Formal Techniques, May 21 - May 26, 2017, Menlo College Atherton, California http://fm.csl.sri.com/SSFT17 Techniques based on formal logic, such as model

[TYPES/announce] Logic Colloquium 2017: 2nd Announcement and Call for Submissions and Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Logic Colloquium 2017: Second Announcement and Call for Submissions and Participation ** Registration is now open ** August 14-20, 2017, Stockholm, Sweden

[TYPES/announce] 2 PhD positions and 1 Postdoc position on the Mercedes project in Twente (Netherlands): Maximal Reliability of Concurrent and Distributed Software

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 2 PhD positions and 1 Postdoc position on the Mercedes project in Twente (Netherlands): Maximal Reliability of Concurrent and Distributed Software University of Twente Group: Formal