[Gauche-devel-jp] Fwd: Continuation Workshop 2011

Back to archive index

shelarcy shela****@gmail*****
2011年 8月 21日 (日) 00:44:01 JST


** 重複ご容赦ください **
木戸崇裕 a.k.a shelarcyです。

Continuation Workshop の前日に行われるチュートリアルですが、PARTAKE
での参加の受付が始まりました。Continuation Workshop 本体には行かない
という方もこのチュートリアルだけ参加することができます。また、Continuation
Workshop 本体とは違い、このチュートリルへは参加費は不要です。

どなたでも気軽にご参加ください。

   http://partake.in/events/8352fdbb-cd26-49f2-80fd-99cd695744b5


なお、ICFP 側で既に Workshop 本体やチュートリアルに申し込んだり、既
にメールで参加表明をしている場合には、PARTAKE への重複登録はしないで
くださいとのことです。

   http://logic.cs.tsukuba.ac.jp/cw2011/tutorial.html



On Thu, 11 Aug 2011 11:12:14 +0900, shelarcy <shela****@gmail*****> wrote:
> ** 重複ご容赦ください **
> 木戸崇裕 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
>
> お茶大のあさいと申します。
>
> 9月24日(土)に東京で Continuation Workshop 2011 が開かれます。2008
> 年に開かれた継続際と同様、幅広いバックグラウンドの方を交えた friendly
> な会議を目指しています。是非、参加を検討ください。
>
> また、前日夜にはチュートリアルも行います。継続の知識がゼロの状態から始
> めて、限定継続命令 shift/reset を使ってコルーチンや探索プログララム
> (のエッセンス)を書くところまで行く予定です。英語で行われますが、日本
> からご参加の皆様には非公式の日本語資料も用意する予定です。こちらも合わ
> せて参加をご検討ください。
>
> Early Registration は8月15日(月)までです。
>
> よろしくお願いします。
>
>
> ------- 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/




Gauche-devel-jp メーリングリストの案内
Back to archive index