[TYPES/announce] [fm-announcements] CFP: 11th International Workshop on Developments in Computational Models

2015-03-02 Thread MUNOZ, CESAR (LARC-D320)
[ 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

[TYPES/announce] MASPEGHI 2015 Workshop - call for papers

2015-03-02 Thread Erik Ernst
[ 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 -

[TYPES/announce] CFP: LCC 2015

2015-03-02 Thread Nao Hirokawa
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == First Call for Papers LCC 2015

[TYPES/announce] 3rd Workshop on Domain-Specific Language Design and Implementation (DSLDI'15)

2015-03-02 Thread Tijs van der Storm
[ 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,

[TYPES/announce] SAS 2015: Final Call for Papers

2015-03-02 Thread Thomas Jensen
[ 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

[TYPES/announce] Call for papers: APLAS 2015

2015-03-02 Thread Xinyu Feng
[ 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 -

[TYPES/announce] CFP: ML 2015

2015-03-02 Thread Jeremy Yallop
[ 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: