[logic-ml] Semantic Methods in Haskell Seminar

[Makoto Hamana]

皆様、

3月13日に以下のようなセミナーを開くこととなりました。
Haskell、プログラム意味論周辺にご興味ありましたら、参加を
ご検討いただければ幸いです。

本セミナーはオープンで、登録なしでどなたでも参加いただけます。

-- 世話人: 浜名誠 群馬大学

=============================================================================

        Semantic Methods in Haskell and Functional Programming Seminar

                      2014年3月13日, 国立情報学研究所

                http://www.cs.gunma-u.ac.jp/~hamana/Semhas/

-----------------------------------------------------------------------------
関数型言語Haskellにおけるモナド型の成功は、プログラム意味論の手法がプログラ
ミング技術となりうるという驚くべき可能性を開きました。 本セミナーは、このよう
なプログラム言語と意味論の間の良好な連携をさらに押し進める最新の研究結果につ
いて、関数型言語、プログラム意味論、Haskellに関連する領域の研究者にじっくりと
お話していただきます。
-----------------------------------------------------------------------------

- Date
  2014年3月13日, 1:30pm-

- Program

    * 1:30 - 1:35 Opening

    * 1:35 - 2:35 Jeremy Gibbons (University of Oxford)
      Understanding Idiomatic Traversals Backwards and Forwards

    * 2:40 - 3:40 Shin-ya Katsumata (RIMS, Kyoto University)
      Parametric Effect Monads and Semantics of Effect Systems

    * 3:40 - 4:00 Coffee break

    * 4:00 - 5:00 Makoto Hamana (Gunma University)
      Polymorphic Algebraic Theories and Logical Predicates

    * 5:00 - 5:10 Closing

- Location
  国立情報学研究所, 1208 号室. 

詳しい情報は
http://www.cs.gunma-u.ac.jp/~hamana/Semhas/
をご覧ください。
----------------------------------------------------------------------------