[TYPES/announce] PLDI 2014 Call for Participation

[Manu Sridharan]

PLDI is a forum where researchers, developers, educators, and
practitioners exchange information on the latest practical and
experimental work in the design and implementation of programming
languages:

http://conferences.inf.ed.ac.uk/pldi2014/

PLDI 2014 and co-located events will be held at the Assembly Rooms
Edinburgh in Edinburgh, Scotland from June 9 through June 13.

Early registration ends May 7.

You may register directly for PLDI and associated events here:

https://regmaster4.com/2014conf/PLDI14/register.php

Co-located conferences and workshops include:

+ LCTES: ACM SIGPLAN Conference on Languages, Compilers, and Tools for
Embedded Systems
+ ISMM: International Symposium on Memory Management
+ DYLA: Workshop on Dynamic Languages and Applications
+ APPROX: Workshop on Probabilistic and Approximate Computing
+ ARRAY: Workshop on Libraries, Languages and Compilers for Array
Programming
+ MSPC: Workshop on Memory Systems Performance and Correctness
+ SOAP: International Workshop on the State Of the Art in Java Program
Analysis
+ TRUST: International Workshop on Reproducible Research Methodologies and
New Publication Models
+ PLOOC: Programming Languages Technology for Massive Open Online Courses
+ X10: X10 Workshop

Additionally, there will be seven co-located tutorials:

+ LLVM: Using LLVM for program analysis and transformation
+ PHARO: Pharo, the ultimate live-programming environment
+ POLYGLOT: The Polyglot Extensible Compiler Framework
+ PROGVER: Program Verification as (Quantified) Horn Constraint Solving
+ WEBANA: Analyzing JavaScript and the Web with WALA
+ LIQUID: Hardware Design for Software Developers using Liquid Metal
+ GCC: Essential Abstractions in GCC

See the web site for a schedule and further details and links.  For further
updates, follow the PLDI social media accounts:

Facebook: https://www.facebook.com/PLDIConf
Twitter: https://twitter.com/PLDI
Google+: https://plus.google.com/u/0/114996610955909322758

Also, join the PLDI 2014 Facebook event page to let others know that you'll
be attending and discuss events, arrangements, etc.

https://www.facebook.com/events/593926050685103/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20140327/c981e539/attachment.html>