[TYPES/announce] PADL 2013: Last CFP and deadline extension

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = PADL 2013: Last CFP and deadline extension Due to major events of the community in the last two weeks, the submission deadlines for papers to PADL'2013

[TYPES/announce] RP 2014 -- Second Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [On behalf of James Worrell] REACHABILITY PROBLEMS 2014 - The 8th International Workshop on Reachability Problems (RP2014) (22 - 24

[TYPES/announce] FW: 3 postdoc positions at Oxford, CS, Quantum Group

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Forwarding original message from Bob Coecke] The Quantum Group at the Department of Computer Science has three fixed-term postdoctoral research assistant positions of which two are

[TYPES/announce] FWD: seeking nominations for the John C Reynolds Doctoral Dissertation Award

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Please find below a message on behalf of Sophia Drossopoulou and Susan Eisenbach. Dear all, If you have a student who has completed an outstanding programming language PhD thesis in

[TYPES/announce] Post-doc research positions in PL, verification, and security at MSR Cambridge: deadline January 5

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Forwarding a message from Andy Gordon.   Dear all,   I wanted to bring your attention to the availability of post-doc research positions at MSR Cambridge.   To apply for a post-doc

[TYPES/announce] FW: ICGT 2015: Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Forwarding on behalf of Thomas Buchmann] 8th International Conference on Graph Transformation (ICGT 2015) L’Aquila, Italy

[TYPES/announce] FW: Graphical Models for Security (GraMSec 2015)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] See message below on behalf of Barbara Kordy (barbara.ko...@irisa.fr) -Original Message- From: Barbara Kordy [mailto:barbara.ko...@irisa.fr] Sent: Wednesday, February 4, 2015 3:25

[TYPES/announce] ICGT 2015: Final Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Message below on behalf of Thomas Buchmann, ICGT publicity chair] 8th International Conference on Graph Transformation

[TYPES/announce] FWD: ICGT 2015: 2nd Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] FYI, on behalf of Thomas Buchmann, ICGT publicity chair. 8th International Conference on Graph Transformation (ICGT 2015)

[TYPES/announce] FW: Utrecht Workshop on Proof Theory

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Forwarding to TYPES/announcements -- I accidentally let the message through to TYPES instead. My apologies for the double posting. Dimitrios Vytiniotis TYPES list moderator

[TYPES/announce] Final Call for Scholarship Applications: Programming Languages Mentoring Workshop - a POPL workshop (Deadline: October 23!)~

Mentoring Workshop (PLMW), co-located with POPL 2016 and organised by Isil Dillig, Derek Dreyer, Ross Tate, and Dimitrios Vytiniotis. The purpose of this mentoring workshop is to encourage graduate students and senior undergraduate students to pursue careers in programming language research

[TYPES/announce] Call for Scholarship Applications: Programming Languages Mentoring Workshop - a POPL workshop (Deadline: October 23!)~

2016 and organised by Isil Dillig, Derek Dreyer, Ross Tate, and Dimitrios Vytiniotis. The purpose of this mentoring workshop is to encourage graduate students and senior undergraduate students to pursue careers in programming language research. This workshop will bring together world leaders

[TYPES/announce] FW: [TYPES] Postdoc positions and lectureships in Swansea (suitable for type theoretists; deadlines 22/12/15 and 5/1/16)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Please see post from Anton Setzer below. (I accidentally let this one slip to TYPES instead of TYPES/announce. Apologies!) Dimitrios Vytiniotis TYPES/announce list moderator

[TYPES/announce] Call for Scholarship Applications: Programming Languages Mentoring Workshop - a POPL workshop

by Loris D'Antoni, Eva Darulova, Alexandra Silva, and Dimitrios Vytiniotis. The purpose of this mentoring workshop is to encourage graduate students and senior undergraduate students to pursue careers in programming language research. This workshop will bring together world leaders in programming

[TYPES/announce] Call for Scholarship Applications: PLMW at POPL 2017 - Deadline October 23

6 we proudly announce the 2017 SIGPLAN Programming Languages Mentoring Workshop (PLMW), co-located with POPL 2017 and organised by Loris D'Antoni, Eva Darulova, Alexandra Silva, and Dimitrios Vytiniotis. The purpose of this mentoring workshop is to encourage graduate students and senior undergradu

[TYPES/announce] FW: 2 assist.prof, 2 postdoc positions at Open University of the Netherlands

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, please see below call for positions. Hugo informs me that actually there is interest for people working in verification and programming languages (though they will be looking in

[TYPES/announce] FW: 2nd CFP, 4th WS on Horn Clauses for Verification & Synthesis HCVS (Deadline: June 11)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Forwarding the message below from Manuel Hermenegildo] --- CALL FOR PAPERS 4th Workshop on Horn Clauses for Verification

[TYPES/announce] new moderator: Gabriel Scherer

for a successor. Going forward, I am very happy to announce that Gabriel Scherer (from INRIA) has kindly agreed to take up the job and serve as the next moderator - I am sure he will do a great job! Kind regards, Dimitrios Vytiniotis