[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
==
CALL FOR PAPERS -- DCM 2015
11th International Workshop on
Developments in Computational Models
October 28, 2015, Cali, Colombia
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Call for contributions and participation
MASPEGHI 2015
MechAnisms for SPEcialization, Generalization and inHerItance
-
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
==
First Call for Papers
LCC 2015
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
*
FIRST CALL FOR TALK PROPOSALS
DSLDI 2015
Third Workshop on
Domain-Specific Language Design and Implementation
July 7,
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
-
Final Call for Papers:
Static Analysis Symposium 2015 (SAS 2015)
September 9-11, 2015
Saint-Malo, France
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
*
APLAS 2015, Call for Papers
13th Asian Symposium on Programming Languages and Systems
Pohang, Korea, November 30 -
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop
Thursday September 3, 2015, Vancouver, Canada
(immediately following ICFP)
Call for papers: