[Haskellers definitely welcome! Kevin]
EAPLS PhD Award 2013: Call for Nominations
URL: http://eapls.org/pages/phd_award/
Since a few years, the European Association for Programming Languages and
Systems has established a Best Dissertation Award in the
Apologies for multiple copies.
-- Forwarded message --
From: Philip Wadler wad...@inf.ed.ac.uk
Date: Wed, Nov 20, 2013 at 12:02 PM
Subject: PhD studentship on ABCD
To: types-annou...@lists.seas.upenn.edu
types-annou...@lists.seas.upenn.edu, lfcs-inter...@inf.ed.ac.uk,
ACM SIGPLAN Workshop on Data-Centric Programming 2014
-
DEADLINE EXTENDED TO FRIDAY NOVEMBER 22 - CONTRIBUTIONS ARE 2 PAGES
Please consider submitting to this great workshop
Colocated with POPL, January 25, 2014 | San Diego, USA
Dear all,
The next Netherlands Functional Programming day (NL-FP 2014) will
take place on
Friday, January 10, 2014
at the University of Amsterdam at Amsterdam Science Park. You are
all cordially invited to participate and, of course, to give a
presentation.
The day will largely follow the
You are cordially invited to participate in the Eighth ACM SIGPLAN
Workshop on
Programming Languages meets Program Verification
Date: 21 January 2014
Location: San Diego, in conjunction with POPL 2014
Program: http://www.cse.chalmers.se/~nad/plpv-2014/
Invited talks:
- Ranjit Jhala on