[TYPES/announce] POPL 2015: Call for workshops & co-located events

[Viktor Vafeiadis]

         CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS
                              POPL 2015

42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
                       POPL: 15-17 January 2015
                  Events: 11-14, 18 January 2015
                        Mumbai, India
                    http://popl.mpi-sws.org/2015/

The 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming
Languages (POPL 2015) will be held in Mumbai, India.

POPL provides a forum for the discussion of fundamental principles and
important innovations in the design, definition, analysis,
transformation, implementation and verification of programming
languages, programming systems, and programming abstractions.

Events focusing on experimental and theoretical topics are welcome.

Proposals are invited for workshops and other events to be co-located
with POPL 2015. Events can either be sponsored by SIGPLAN
(http://acm.org/sigplan/) or supported through in-cooperation status.

Workshops should be more informal and focused than POPL itself,
include sessions that enable interaction among the workshop attendees,
and be fairly low cost. The preference is for one-day workshops, but
other schedules can also be considered.

----------------------------------------------------------------------

Submission details
  Deadline for submission:      26 April 2014
  Notification of acceptance:   31 May 2014

A submission form is available here:

   http://popl.lambda-calcul.us/2015/

Sponsored workshops are required to produce a final report after the
workshop has taken place that is suitable for publication in SIGPLAN
Notices. Further information about SIGPLAN sponsorship and
in-cooperation status of workshops is available here:

   http://www.sigplan.org/Resources/Proposals/Cooperated
   http://www.sigplan.org/Resources/Proposals/Sponsored

----------------------------------------------------------------------

Selection committee

All event proposals will be evaluated by a committee comprising the
following members of the POPL 2015 organising committee, together with
the members of the SIGPLAN executive committee.

  Sriram Rajamani     Microsoft Research           General chair
  David Walker        Princeton University         Program chair
  David Van Horn      University of Maryland       Workshops chair 

Further information

Any queries regarding POPL 2015 co-located event proposals should be
addressed to the workshops chair, David Van Horn.