[TYPES/announce] Postdoc in PL, RL, and Networking

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We invite applications for a postdoctoral research associate with Wen Sun and Nate Foster at Cornell University. The successful candidate will conduct interdisciplinary research

[TYPES/announce] Postdoctoral Researcher at Cornell University

. To apply, please send a CV, a research statement, one representative publication, and the names of three references to Nate Foster ( jnfos...@cs.cornell.edu). We especially welcome applications from women and members of under-represented minority groups.

[TYPES/announce] NetPL '18: Call for Participation

from academia and industry, representing both the PL and networking perspectives. Details about the technical program and registration are provided below. See you in Los Angeles! Regards, Marco Canini, Nate Foster, and Todd Millstein DATE January, 9th 2018 WEBSITE https://popl18.sigplan.org

[TYPES/announce] Workshop on Reasoning about Declarative Programs -- Call for Participation

for Conjunctive Queries Szymon Torunczyk Computation with Atoms We invite broad participation from the programming languages and database communities. *Early registration ends on December 17*. Program Committee Nate Foster, Cornell University Mooly Sagiv, Tel Aviv University Victor Vianu, UC

[TYPES/announce] SOSR CFP: abstracts 26 Oct, submissions 30 Oct

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] SOSR is a new conference on software-defined networking research, sponsored by ACM SIGCOMM and co-located with the Open Networking Summit (a large industrial conference) and USENIX NSDI.

[TYPES/announce] Research position at Cornell

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We invite applications for an {OCaml, Coq} programmer supporting the Frenetic Project. See the following URL or the text below for further details:

[TYPES/announce] postdoc position at Cornell

for professional development and for exploring ideas that expand the scope of the project. The position is for one year initially but may be extended to additional years. To apply, please send a CV, a research statement, one representative publication, and the names of three references to Nate Foster

[TYPES/announce] Summer school on formal methods and networks

-520. To encourage broad participation, registration fees will be kept low, and we expect to be able to offer a number of student travel scholarships. ORGANIZERS Nate Foster (Cornell University) Jennifer Rexford (Princeton University) David Walker (Princeton University)

[TYPES/announce] BX'13 Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS Second International Workshop on Bidirectional Transformations (BX 2013) http://bx-community.wikidot.com/bx2013:home

[TYPES/announce] WRiPE '12: deadline extended

anywhere in the world (extended from 31 July) Notification: 3 September 2012 Camera-ready: 20 September 2012 WRiPE 2012: 30 October 2012 ORGANIZERS Nate Foster (Cornell University, co-chair) Alexander Gurney (University of Pennsylvania, co-chair) Anja Feldmann (Deutsche

[TYPES/announce] Call for papers: Workshop on Rigorous Protocol Engineering (WRiPE)

-time techniques for formally verifying and testing the correctness of protocols. IMPORTANT DATES Submission: 31 July 2012 (anywhere in the world) Notification: 3 September 2012 Camera-ready: 20 September 2012 WRiPE 2012: 30 October 2012 ORGANIZERS Nate Foster (Cornell University, co-chair

[TYPES/announce] DBPL '11 Call for Participation

Fujiwara REGISTRATION Registration and local arrangements are being handled through the main VLDB conference. * Registration: http://www.vldb.org/2011/?q=node/20 * Local Arrangements: http://www.vldb.org/2011/?q=node/21 -- ORGANIZERS -- Nate Foster, Cornell

[TYPES/announce] DBPL 2011 Call for papers

--- PROCEEDINGS --- Accepted papers will appear in an informal proceedings, distributed electronically from the symposium website. - PROGRAM COMMITTEE - Nate Foster, Cornell University (Co-chair) Anastasios Kementsietsidis, IBM Research (Co-chair) Yanif Ahmad