[logic-ml] Workshop 参加者募集のお知らせ

[Hideki Tsuiki]

            Workshop 参加者募集のお知らせ
                    Call for participation

              日本学術振興会研究拠点形成事業
「数理論理学とその応用に関するワークショップ」
                 JSPS Core-to-Core Program
"Workshop on Mathematical Logic and its Application”

http://www.i.h.kyoto-u.ac.jp/~matthew/core2core2016/index.html

            2016 年 9月16,17日（金, 土曜日）
     京都大学、吉田南キャンパス、総合人間学部棟 1401 教室
                      September 16--17, 2016,
     Faculty of Integrated Human Studies Building, room 1401
                         Kyoto University

北陸先端科学技術大学院大学が内外の協力機関および協力者と実施しており
ます日本学術振興会研究拠点形成事業「数理論理学とその応用の国際拠点形成」
(http://www.jaist.ac.jp/logic/core2core) の一環として、表記のワークショップ
を京都で開催いたします。本拠点形成事業参加研究者のためのワークショップですが、 

それ以外の方もご参加いただけます。講演者などの情報は、上記ホームページを
御覧ください。両日とも、朝 9:00 から夕方 5:30 頃まで講演がある予定です。
16 日の夜には、近くで懇親会を予定しております。場所はまだ決まっておりま
せんが、 4000 〜 5000 円程度で考えております。

当日参加も可能ですが、本事業参加研究者以外で参加を予定されている方は、
下記フォームにて、できるだけ事前にご連絡を頂けますようにお願い申し上げます。 

特に、懇親会に参加希望される方は、8 月 31 日までにご連絡ください。
ご質問等がございましたら、core2core2016 at jaist.ac.jp までお寄せください。

多くの方のご参加をお待ちしております。

オルガナイザー：
石原 哉
立木  秀樹
照井 一成
Matthew de Brecht
根元 多佳子

---------------------------------------
「数理論理学とその応用に関するワークショップ」に参加します。
所属：
名前：
懇親会に  参加 / 不参加

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20160810/ad94d82c/attachment.html>