[TYPES/announce] CFP for STOP 2015
Siek, Jeremy
jsiek at indiana.edu
Thu Feb 5 23:13:47 EST 2015
===============================================================
CALL FOR PAPERS
2015 Workshop on Scripts to Programs (STOP 2015)
Prague, Czech Republic, July 6, 2015
(Affiliated with ECOOP 2015)
http://2015.ecoop.org/track/STOP2015
===============================================================
IMPORTANT DATES:
* Paper submission: April 2, 2015
* Author notification: May 1, 2015
* Workshop: July 6, 2015
SCOPE:
The STOP workshop is interested in the evolution of scripts, in the
sense of untyped pieces of code, into safer programs, with more rigid
structure and constrained behaviour through the use of gradual typing,
contract checking, extensible languages, refactoring tools, and the
like. The goal is to further the understanding of such systems in
practice, and connect practice and theory. This workshop aims to bring
researchers together from academia and industry for passionate
discussion about these topics, and to promote both the theory and
practical evalution of these ideas, and experience reports.
PROCEEDINGS:
The accepted papers will be distributed at the workshop in an informal
proceedings. All accepted submissions shall remain available from the
workshop web page.
SUBMISSION GUIDELINES:
Abstracts, position papers, and status reports are welcome. Papers
should be 1-2 pages in standard ACM SIGPLAN format. All submissions
will be reviewed by the program committee.
PROGRAM CHAIR:
* Jeremy G. Siek (Indiana University)
PROGRAM COMMITTEE MEMBERS:
* Amal Ahmed (Northeastern University)
* Avik Chaudhuri (Facebook)
* Ravi Chugh (University of Chicago)
* Ronald Garcia (University of British Columbia)
* James Noble (Victoria University of Wellington)
* Ilya Sergey (IMDEA Software Institute)
* Eric Tanter (University of Chile)
* Tobias Wrigstad (Uppsala University)
__________________________________________
Jeremy G. Siek <jsiek at indiana.edu<mailto:jsiek at indiana.edu>>
Associate Professor
School of Informatics and Computing
Indiana University Bloomington
http://homes.soic.indiana.edu/jsiek/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20150206/9ec01b48/attachment-0001.html>
More information about the Types-announce
mailing list