Logic-ml March 2019

logic-ml@fos.kuis.kyoto-u.ac.jp

9 participants
12 discussions

Re: [logic-ml] CSCAT 2019 開催案内
by Kensuke Kojima 04 Mar '19

04 Mar '19

皆様京都大学の小島です。申し込み締め切りが近づいてきましたので、 CSCAT 2019 のご案内を再送いたします。懇親会・講演申し込みの締め切りは22日（金）となっております。特に懇親会に参加を希望される方は早めにお申し込み下さい。講演につきましては枠が残っている限り22日を過ぎても受け付ける予定ですが、仮プログラム作成のため早めにお知らせいただけるとありがたいです。講演申し込み https://goo.gl/forms/DscPaYGBsIbUFDua2 懇親会申し込み https://goo.gl/forms/7cCq16mOxlV1GZ6o2 小島 2019年1月13日(日) 12:40 Kensuke Kojima <kozima(a)kuis.kyoto-u.ac.jp>: > > CSCAT メーリングリストの皆様、 > > 京都大学の小島です。 > 今年の CSCAT のお知らせです。 > > 日時： 2019年3月9日（土）〜3月10日（日） > 会場：東北大学理学部数理科学記念館（川井ホール） > URL：https://sites.google.com/view/cscat2019/home > 連絡先：cscat2019(a)grp.tohoku.ac.jp > > 今年は会場の手配を東北大学の赤間先生にお願いして、 > 講演の取りまとめを小島が行う形で開催することになりました。 > > 懇親会を3月9日の夜に行う予定です。予算は一人6000円程度の見込みです。 > > 講演・懇親会への参加を希望される方は2月22日までに、 > それぞれ以下の申し込みフォームへご記入下さい。 > （聴講のみで懇親会にも参加されない場合は申し込み不要です。） > > 講演申し込み https://goo.gl/forms/DscPaYGBsIbUFDua2 > 懇親会申し込み https://goo.gl/forms/7cCq16mOxlV1GZ6o2 > > 皆様の参加をお待ちしております。 > > 小島

1 1

seminar
by 吉信康夫 03 Mar '19

03 Mar '19

皆様名古屋大学の吉信です。以下の要領で名古屋ロジックセミナーを開催します。日時：3月8日(金) 15:30〜場所：名古屋大学大学院情報学研究科棟314室講演者：渕野昌(神戸大学) タイトル：Reflection axioms which imply the continuum is very large 多数の方のご参加をお待ちしております。

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml March 2019