[TYPES/announce] Continuation Workshop 2011: Call for Contributions

2011-02-07 Thread Chung-chieh Shan
://logic.cs.tsukuba.ac.jp/~kam/ Chung-chieh Shan, Rutgers University http://www.cs.rutgers.edu/~ccshan/ Oleg Kiselyov http://okmij.org/ftp/ Program Committee - Kenichi Asai, Ochanomizu University, Japan http://pllab.is.ocha.ac.jp/~asai/ Malgorzata Biernacka, University of Wroclaw

[TYPES/announce] Extended deadline; IFIP sponsorship: IFIP Working Conference on Domain-Specific Languages

2011-04-19 Thread Chung-chieh Shan
(INRIA) ORGANIZERS Local chair:Emilie Balland (INRIA) Program chairs: Olivier Danvy (Aarhus University), Chung-chieh Shan (Rutgers University)

[TYPES/announce] Deadline June 17: ACM SIGPLAN Workshop on ML

2011-06-09 Thread Chung-chieh Shan
University) Anil Madhavapeddy (University of Cambridge) Chung-chieh Shan (chair) (Rutgers University) Joshua Dunfield (Max Planck Institute for Software Systems) Julia Lawall (University of Copenhagen) Keisuke Nakano (University of Electro-Communications) Martin Elsman (SimCorp

[TYPES/announce] Domain-Specific Languages: Call for Participation

2011-07-15 Thread Chung-chieh Shan
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] DSL 2011: IFIP Working Conference on Domain-Specific Languages 6-8 September 2011, Bordeaux, France Call for Participation: Online registration deadline July 30, 2011 Details

[TYPES/announce] Continuation Workshop: Call for Participation (register early by August 15)

2011-08-10 Thread Chung-chieh Shan
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ACM SIGPLAN Continuation Workshop 2011 http://logic.cs.tsukuba.ac.jp/cw2011/ co-located with ICFP 2011, Tokyo, Japan Saturday, September 24, 2011

[TYPES/announce] ML Workshop: register early by August 15

2011-08-13 Thread Chung-chieh Shan
: a Unicode library for OCaml (short talk) Yoriyuki Yamagata PROGRAM COMMITTEE Amal Ahmed (Indiana University) Andrew Tolmach (Portland State University) Anil Madhavapeddy (University of Cambridge) Chung-chieh Shan (chair) Joshua Dunfield (Max Planck Institute for Software

[TYPES/announce] Haskell 2013 call for submissions

2013-04-02 Thread Chung-chieh Shan
, Kyoto University * Keiko Nakata, Tallinn University of Technology * Alberto Pardo, Universidad de la República * Norman Ramsey, Tufts University * Neil Sculthorpe, University of Kansas * Chung-chieh Shan (chair), Indiana University * Christina Unger, Universität Bielefeld * Dana N. Xu, INRIA

[TYPES/announce] APLAS 2013 call for papers

2013-04-02 Thread Chung-chieh Shan
== General chair: Peter Schachte (University of Melbourne) Program chair: Chung-chieh Shan (Indiana University) Program committee: Filippo Bonchi (CNRS, ENS-Lyon, France) Yu-Fang Chen (Academia Sinica, Taiwan) Shigeru Chiba (The University of Tokyo, Japan) Jacques Garrigue

[TYPES/announce] APLAS 2013 second call for papers

2013-06-02 Thread Chung-chieh Shan
== General chair: Peter Schachte (University of Melbourne) Program chair: Chung-chieh Shan (Indiana University) Program committee: Filippo Bonchi (CNRS, ENS-Lyon, France) Yu-Fang Chen (Academia Sinica, Taiwan) Shigeru Chiba (The University of Tokyo, Japan) Jacques Garrigue

[TYPES/announce] Haskell 2013 second call for submissions

2013-06-02 Thread Chung-chieh Shan
, Kyoto University * Keiko Nakata, Tallinn University of Technology * Alberto Pardo, Universidad de la República * Norman Ramsey, Tufts University * Neil Sculthorpe, University of Kansas * Chung-chieh Shan (chair), Indiana University * Christina Unger, Universität Bielefeld * Dana N. Xu, INRIA

[TYPES/announce] Deadline Friday: probabilistic programming semantics workshop

2015-10-15 Thread Chung-chieh Shan
EasyChair: https://easychair.org/conferences/?conf=pps2016 Friday, October 16, 2015: Submissions due Friday, November 6, 2015: Author notification Friday, December 11, 2015: Final papers due Saturday, January 23, 2016: Workshop, colocated with POPL Program committee: * Chung-chieh Shan, Indiana