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/