shelarcy
shela****@gmail*****
2011年 8月 11日 (木) 11:12:14 JST
** 重複ご容赦ください ** 木戸崇裕 a.k.a shelarcyです。 今年のICFP 2011に併設される形で、9月24日にContinuation Workshop 2011 が開かれます。 この会議は2008年に開かれた継続祭りと同様に、それほど形式ばらない （informalな）形で行いたいというとこですので、興味のある方はお気楽に ご参加ください。 （2008年の継続祭りと同様に、発表者の発表中に疑問点があれば適宜質問で きるようなそうした緩い形の会議を行うつもりだと思います。） ただ、今回の会議はICFPに併設されるという性格上、参加費が必要です。 Early Registration は8月15日までとなっているので、お早めにお申し込み 下さい。 よろしくお願いします。 ------- Forwarded message ------- From: "Kenichi Asai" <asai****@is*****> To: jssst****@kb*****, sonot****@m***** Subject: [sonoteno:00792] CFP: Continuation Workshop 2011 Date: Wed, 10 Aug 2011 09:27:23 +0900 お茶大のあさいと申します。 ９月２４日（土）に東京で Continuation Workshop 2011 が開かれます。2008 年に開かれた継続際と同様、幅広いバックグラウンドの方を交えた friendly な会議を目指しています。是非、参加を検討ください。 また、前日夜にはチュートリアルも行います。継続の知識がゼロの状態から始 めて、限定継続命令 shift/reset を使ってコルーチンや探索プログララム （のエッセンス）を書くところまで行く予定です。英語で行われますが、日本 からご参加の皆様には非公式の日本語資料も用意する予定です。こちらも合わ せて参加をご検討ください。 Early Registration は８月１５日（月）までです。 よろしくお願いします。 ------- Forwarded message ------- From: oleg****@okmij***** To: haske****@haske*****, haske****@haske***** Subject: [Haskell-cafe] Continuation Workshop 2011: Call for participation Date: Wed, 10 Aug 2011 10:40:53 +0900 ACM SIGPLAN Continuation Workshop 2011 http://logic.cs.tsukuba.ac.jp/cw2011/ co-located with ICFP 2011, Tokyo, Japan Saturday, September 24, 2011 Call for Participation Early Registration deadline is August 15! Continuations have been discovered many times, which highlights their many applications in programming language semantics and program analysis, linguistics, logic, parallel processing, compilation and web programming. Recently, there has been a surge of interest specifically in delimited continuations: new implementations (in Scala, Ruby, OCaml, Haskell), new applications (to probabilistic programming, event-driven distributed processing), substructural and constructive logics, natural language semantics. The goal of the Continuation Workshop is to make continuations more accessible and useful -- to practitioners and to researchers in various areas of computer science and outside computer science. We wish to promote communication among the implementors and users in many fields. We would like to publicize the applications of continuations in academic (logic, linguistics) and practical fields and various programming languages (OCaml, Haskell, Scala, Ruby, Scheme, etc.). Invited talks ------------- Mats Rooth, Cornell University http://conf.ling.cornell.edu/mr249/ From Logic to Effects and Back Noam Zeilberger, Universite' Paris 7 http://www.pps.jussieu.fr/~noam/ Tutorials --------- In the evening before the workshop, there will be a tutorial session ``Introduction to Programming with Shift and Reset'' Tutorial date and time: Friday, September 23, 2011, 19:00-21:00 Tutorial place: IIJ (next to NII, the place of the ICFP conference) Tutorial speakers: Kenichi Asai and Oleg Kiselyov Presentations ------------- Non-Deterministic Search Library Kenichi ASAI, Chihiro KANEKO `Focus movement' by delimited continuations Daisuke BEKKI Swarm: transparent scalability through portable continuations James DOUGLAS Correctness of Functions with Shift and Reset Noriko HIROTA, Kenichi ASAI Yield, the control operator: applications and a conjecture Roshan P. JAMES, Amr SABRY Demonstration of Continuation based C on GCC Shinji KONO Modular rollback through free monads Conor McBRIDE, Olin SHIVERS, Aaron TURON Using delimited continuations for distributed computing with the CIEL engine Derek G. MURRAY, Malte SCHWARZKOPF, Christopher SMOWTON, Steven SMITH, Anil MADHAVAPEDDY, Steven HAND The limit of the CPS hierarchy Josef SVENNINGSSON Visualizing continuations Naoki TAKASHIMA, Yukiyoshi KAMEYAMA -- shelarcy <shelarcy hotmail.co.jp> http://page.freett.com/shelarcy/
