- Kisoron-ml - fos.kuis.kyoto-u.ac.jp

23 Dec '19

皆様千葉工業大学では、来年４月からの非常勤講師１名を募集しております。実際の募集人数は２名ですが、１名は既に決まりましたので、もう１名を募集いたします。授業の担当枠が選択できます。 [前期] 次の A・B のうちどちらか一方をお選びください。 A 水曜２・３時限線形代数基礎水曜５・６・７時限数学基礎 B 木曜７・８時限線形代数基礎金曜２・３時限線形代数 [後期] 次の C・D のうちどちらか一方をお選びください。 C 火曜２・３・４時限線形代数学火曜６・７時限基礎統計学 D 木曜６・７時限確率統計上記科目のうち、「線形代数」「線形代数学」は線形代数を半年で終わらせる科目で、「線形代数基礎」は線形代数を１年かけて教える科目の前半部分になります。また、「数学基礎」は微分積分の基礎となります。非常勤講師として必要な資格は・博士号を取得済みであること（取得見込みは不可）・掲載済み論文（和文、英文を問いません。ただし、プレプリントを除きます）が３本以上、うち１本は査読付きとなります。また、定年は満７０歳です。授業時間は１時限 9:00-10:00 ２時限 10:00-11:00 ３時限 11:00-12:00 ４時限 12:00-13:00 ５時限 13:00-14:00 ６時限 14:00-15:00 ７時限 15:00-16:00 ８時限 16:00-17:00 ９時限 17:00-18:00 １０時限 18:00-19:00 となります。千葉工業大学には津田沼キャンパスと新習志野キャンパスの２つのキャンパスがありますが、上記科目のうち「確率統計」は津田沼キャンパス、他はすべて新習志野キャンパスで開講されます。ご希望の方は、泉 (izumi.hideaki(a)it-chiba.ac.jp) までメールをお送りください。なお、条件を満たした方が応募した時点で、締切とさせていただきます。以上、よろしくお願いいたします。 ---------------------------------------------------------------------------- 千葉工業大学教育センター数学教室泉英明 izumi.hideaki(a)it-chiba.ac.jp -----------------------------------------------------------------------------

1 1

第6回組合せ論・モデル理論セミナーのご案内
by Shohei Satake 16 Dec '19

16 Dec '19

メーリングリストの皆様神戸大学の佐竹翔平と申します. (重複してお受け取りの場合はご容赦ください) 10月に続き,組合せ論・モデル理論セミナーを下記の要領で行う運びとなりました. (直前のご案内となり誠に申し訳ございません.) 皆様のご参加をお待ち申し上げております. -- 日時: 2019年12月20日(金) 17:00-18:30 講演者: 桔梗宏孝氏 (神戸大学) タイトル: Hrushovskiの擬平面の自己同型群について開催場所: 神戸大学六甲台第2キャンパス自然科学総合研究棟3号館 421室 (予定) *詳細はHPからご覧いただけます. (変更があった場合は,HP上にてお知らせ申し上げます.) https://sites.google.com/site/kcmseminar/6thseminar -- どうぞよろしくお願い申し上げます. 佐竹翔平 -- Shohei Satake (佐竹翔平) Graduate School of System Informatics, Kobe University 1-1, Rokkodai, Nada, Kobe, Japan, 〒657-8501 E-mail: 155x601x(a)stu.kobe-u.ac.jp satakecomb(a)gmail.com HP: https://sites.google.com/site/satakeshohei/ https://researchmap.jp/shoheisatake/?lang=english

1 0

Arnold Beckmann教授講演会のお知らせ
by 山形賴之 10 Dec '19

10 Dec '19

皆様、産総研の山形と申します。Swansea大学のArnold Beckmann教授の講演会を下記の通り開催いたします。Beckmann教授は限定算術、証明複雑度およびそれらと計算複雑度との関係などを研究されています。入構に事前登録が必要なため、参加ご希望の方は12月12日正午までに山形まで、お名前と所属をお知らせください。参加ご希望の方は必ず事前に連絡していただくようお願いします。講演日時：12月13日14:00-15:00 場所：産総研関西センター C-3棟1階, 第10会議室 https://goo.gl/maps/ZJzcgE1agWLxypsk7 ************************* Arnold Beckmann: Consistency of equational theories and the separation problem for bounded arithmetic Abstract: The separation problem for bounded arithmetic is one of the most important problems in the area due to its tight connections to the question whether computational complexity classes can be separated, the Millennium problem whether P equals NP or not being the most well-known one. Well studied candidates for separating theories of bounded arithmetic are consistency statements of formal theories, building on Kurt Goedel's famous incompleteness theorems. The most promising consistency statements are given by those of certain equational theories. In our talk, we will review the results on consistency of equational theories in the context of the separation problem for bounded arithmetic. We explain the progress that has been made over recent years to advance this problem, and state the research programme that has resulted from it. ************************* --- Yoriyuki Yamagata (Senior Researcher) National Institute of Advanced Industrial Science and Technology (AIST) http://staff.aist.go.jp/yoriyuki.yamagata/en/

1 1

ラムダ計算と論理の早春セミナー2020
by Naosuke MATSUDA 10 Dec '19

10 Dec '19

みなさま神奈川大学の松田と申します．今年度も「ラムダ計算と論理の早春セミナー」を，下記要領で開催することになりました．場所：草津セミナーハウス日程：2020年3月7日(土)-11日(水) 詳細: https://sites.google.com/view/lls2020/home つきまして，ラムダ計算・論理およびその周辺の話題を広く募集しています．本セミナーでは，講演枠や講演時間を事前に固定せず，当日の参加者に状況に合わせて柔軟に計画をしてもらうようになっています．議論し成果を挙げる場・学生の簡単な発表の場など，さまざまな用途で利用していただければ幸いです．なお，今年度で草津セミナーハウスが閉鎖とのことで，草津セミナーハウスでの開催は今回が最後になります．多くの皆様のご参加をお待ちしております． -- 神奈川大学情報科学科松田直祐

1 0

リマインド　2020年度奨励研究生の選考について
by Teruyuki YORIOKA 06 Dec '19

06 Dec '19

みなさま静岡大学の依岡です．「２０２０年度奨励研究生」の募集期限が今月15日と近づいてまいりましたのであらためましてご案内申し上げます。 http://mathsoc.jp/publicity/news20191001/2020shourei.html 日本数学会事務局から，現時点で申請件数が極めて少ない状況であるという連絡を受けております．申請資格を持つ方々，申請資格を持つ指導学生がおられます先生方，ぜひ申請をご検討ください．よろしくお願いします．

1 0

日本数学会2020年度年会講演申し込みのお知らせ
by Teruyuki YORIOKA 23 Nov '19

23 Nov '19

みなさま静岡大学の依岡です． 2020年度年会のお申し込みをしていただきましたみなさま，ありがとうございます．現時点で講演申し込みはまだ6件しかありません．大変少ない状況です．講演申し込みの締め切りは2019年11月29日（金）です．お忘れないよう，また締め切りに十分間に合いますよう，講演申し込みをお願い申し上げます． ---------- Forwarded message --------- From: Teruyuki YORIOKA <yorioka(a)shizuoka.ac.jp> Date: 2019年11月10日(日) 8:09 Subject: 日本数学会2020年度年会講演申し込みが始まっています To: <logic-ml(a)fos.kuis.kyoto-u.ac.jp>, <kisoron-ml(a)fos.kuis.kyoto-u.ac.jp> Cc: 依岡輝幸 <yorioka(a)shizuoka.ac.jp> みなさま静岡大学の依岡です．日本数学会2020年度年会講演申し込みが始まりました． http://mathsoc.jp/meeting/nichidai20mar/ 講演申し込みの締め切りは2019年11月29日（金）です．多数の方のお申し込みを願っています．ネットワークメンテナンスのため，締め切り間際である 2019年11月27日 03:00～05:00 および 11月28日 03:00～05:00 の予定で日本数学会のページおよびアクティベーション／講演申し込み／会合申し込み等の各サービスが利用できなくなるそうです．講演申し込みは時間に余裕を持って，なるべく早くにお申し込みください．

2 1

日本数学会2020年度年会講演申し込みが始まっています
by Teruyuki YORIOKA 09 Nov '19

09 Nov '19

みなさま静岡大学の依岡です．日本数学会2020年度年会講演申し込みが始まりました． http://mathsoc.jp/meeting/nichidai20mar/ 講演申し込みの締め切りは2019年11月29日（金）です．多数の方のお申し込みを願っています．ネットワークメンテナンスのため，締め切り間際である 2019年11月27日 03:00～05:00 および 11月28日 03:00～05:00 の予定で日本数学会のページおよびアクティベーション／講演申し込み／会合申し込み等の各サービスが利用できなくなるそうです．講演申し込みは時間に余裕を持って，なるべく早くにお申し込みください．

1 0

2020年度奨励研究生の募集開始
by Teruyuki YORIOKA 07 Nov '19

07 Nov '19

logic-ml, kisoron-ml 受信者の皆様静岡大学の依岡です．今年度からはじまりました「日本数学会奨励研究生」の来年度研究生の募集が始まりました． http://mathsoc.jp/publicity/news20191001/2020shourei.html 応募者は次のふたつのうちのいずれかに該当する必要があります． (1) 日本数学会の会員であって, 2020 年 4 月 1 日の時点で学位(博士)取得後 3 年以内(学位(博士)取得が 2017 年4月 2 日以後) の研究者. 学位(博士)取得見込みまたは会員申込中の者も申請可としますが, 採用時には学位(博士)を取得済みで, 会員となっている必要があります. (2) 2020 年度の日本学術振興会特別研究員(PD)に申請した者, または同年度外国人特別研究員(一般)において, 招へい研究者として申請した者. 日本学術振興会特別研究員に申請した方は，その申請書を日本数学会奨励研究生申請書を作成する際に大いにお役立てください．ご不明な点がありましたら私にお尋ねいただけましたら幸いです．よろしくお願いします．

1 0

第54回MLG数理論理学研究集会
by Naosuke MATSUDA 29 Oct '19

29 Oct '19

第54回MLG数理論理学研究集会のご案内みなさま神奈川大学の松田です． MLG数理論理学研究集会は，1971年開始された，この分野の多くの研究者が参加している40年以上続く研究集会です．成果を発表し合ったり，アイデアを交換したりと，ザックバランな雰囲気で行われています．数学の他分野や，広く数理科学，情報科学，哲学の方々や，外国からの研究者を迎えるなど，オープンに運営されています．第54回MLG数理論理学研究集会は以下の要領で開催させていただきます．多くの皆様のご参加をお待ちしております． ==開催要領== 期間： 2019年12月14日 (土) ～ 16日 (月) 場所：マホロバ・マインズ三浦〒238-0101 神奈川県三浦市南下浦町上宮田 3231 0120-046-891 幹事：松田直祐（神奈川大学） matsuda.naosuke(a)gmail.com 詳細は以下のページをご確認ください． https://sites.google.com/view/mlg2019/home ==参加希望== 参加希望者でホテルでの宿泊を希望される方は， 11月14日までに下記の情報を松田までお送りください．件名を「MLG2019」などとしていただけると助かります． -- 氏名：所属：宿泊：7日・8日（不要なものを削除してください）夕食：7日・8日（不要なものを削除してください）朝食：8日・9日（不要なものを削除してください）講演希望：あり・なし（不要なものを削除してください）講演題目：その他： -- == Naosuke Matsuda, Department of Information Sciences. Kanagawa University Tsuchiya 2946 Hiratsuka-shi, Kanagawa 259-1293, Japan

1 2

[jssst-ppl] 准教授または講師公募(千葉大学大学院理学研究院数学・情報数理学研究部門)
by Takafumi SAKURAI 23 Oct '19

23 Oct '19

皆様、メーリングリストをお借りして、教員公募の案内をお送りいたします。複数お受け取りの場合はご容赦ください。 ------------------------------------------------------------ 職種および人員: 准教授または講師（任期なし）1名所属: 千葉大学大学院理学研究院数学・情報数理学研究部門専攻分野: 情報数理学（数理論理学、プログラム言語論、ソフトウェア基礎理論、アルゴリズム論、情報理論、符号理論、暗号理論等、科研費小区分 12030 数学基礎関連および 60010 情報学基礎論関連とその周辺）応募資格: 博士の学位を有すること着任予定時期: 令和2年4月1日以降のできるだけ早い時期応募期限: 令和元年12月20日必着提出書類や書類送付先などの詳細につきましては、公募要領 http://www.math.s.chiba-u.ac.jp/posts/koubo-info2019.pdf または JREC-IN 公募情報 https://jrecin.jst.go.jp/seek/SeekJorDetail?id=D119101395 をご覧ください。よろしくお願いいたします。桜井貴文(sakurai(a)math.s.chiba-u.ac.jp)

1 0

Fwd: [Newsletter 90] 日本数学会ニュースレター2019巻第10号(2019年10月22日発行）
by Teruyuki YORIOKA 23 Oct '19

23 Oct '19

logic-ml, kisoron-ml 受信者のみなさま静岡大学の依岡です． 9月に金沢大学で行われました分科会総会でご紹介しました「日本数学会奨励研究生」の募集が始まります．応募条件を満たす指導学生がいらっしゃいましたら，ぜひ応募を強く促してください．よろしくお願いします．「日本数学会奨励研究生」の募集について（11月1日～12月15日） ====================================================================== 日本数学会では, 「日本数学会奨励研究生」の募集を11月1日から開始いたします。日本数学会の会員であって学位 (博士) 取得後3年以内の有望研究者を「日本数学会奨励研究生」(以下、奨励研究生)として採用し研究奨励金を支給します。特に、経済的に困難な状況や研究施設が必ずしも十分ではない等の厳しい研究環境の下でも創意工夫を凝らして主体的に研究を進めている者を奨励することを目的としています。この制度の実施期間は、今年度から令和3年度までの3年間です。今回、令和2年度の募集を行いますので、希望者は下記URLからリンクされている募集要項を熟読の上、ご応募ください。 https://www.mathsoc.jp/publicity/news20191001/2020shourei.html

1 0

数学基礎論若手の会2019のご案内
by Takayuki Kihara 14 Oct '19

14 Oct '19

logic-mlの皆様，お世話になっております．名古屋大学の木原貴行です． 2019年度の数学基礎論若手の会のご案内をさせていただきます．数学基礎論若手の会は，数学基礎論を専攻する学生および若手研究者の研究交流を目的とする合宿形式の研究集会です．講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しております．また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します．多くの方々のご参加およびご講演をお待ちしています．日時: 2019年12月6日 (金) 午後〜 12月8日 (日) 午前場所: 愛知県青年の家住所: 〒444-0802 愛知県岡崎市美合町並松1-2 世話人: 木原貴行 (名古屋大学) 連絡先: kihara(a)i.nagoya-u.ac.jp ウェブページ: http://www.math.mi.i.nagoya-u.ac.jp/~kihara/wakate2019.html 申し込み締め切り: 10月20日 (日) 参加費用フル参加 (2泊3日): 7,000円前後 (宿泊費・食費込) 部分参加の場合，宿泊日数や食事を取られる回数に応じて減額いたしますので，お問い合わせください．参加を希望の方は下記の情報を書いたメールを　　件名：数学基礎論若手の会参加申込にて kihara(a)i.nagoya-u.ac.jp までお送りください： —————————————————————————— 　所属大学，学部，立場（修士1年，博士2年，社会人、ポスドク，助教など）　氏名，性別　講演希望するorしない（講演希望の場合、後日題目と概要をお送りください）　6日の宿泊を希望するorしない　7日の宿泊を希望するorしない　6日の夕食を希望するorしない　7日の朝食を希望するorしない　7日の昼食を希望するorしない　7日の夕食を希望するorしない　8日の朝食を希望するorしない　8日の昼食を希望するorしない　その他（質問、講演希望日など） —————————————————————————— 以上よろしくお願い致します． -------- 木原貴行名古屋大学大学院情報学研究科数理情報学専攻 URL: http://math.mi.i.nagoya-u.ac.jp/~kihara/index-j.html Email: kihara(a)i.nagoya-u.ac.jp

1 1

RIMS共同研究（モデル理論）のご案内【再送】
by 池田宏一郎 13 Oct '19

13 Oct '19

基礎論および歴史分科会のみなさま， RIMS共同研究（モデル理論）の案内を再送いたします．締め切りは 10月16日水曜日となります．よろしくお願いいたします．池田宏一郎（法政大学） ----------------------------------------------------------------------------------- 基礎論および歴史分科会のみなさま，法政の池田です．下記の要領でRIMS共同研究（公開型）を開催いたします．モデル理論に関連する話題の研究集会です．モデル理論に関連するテーマでの発表を募集いたします． RIMS研究集会「モデル理論における独立概念と次元の研究」日時：2016年12月2日月曜日午後～2016年12月4日水曜日午前場所：京都大学総合研究15号館201号室研究代表者：池田宏一郎（法政大学）講演を希望される方は次の情報を 10月16日水曜日までに池田（ikeda(a)hosei.ac.xn--jp)-u63b3a4a5b7b6byd5nwe5834h. ----- (1)氏名 (2)所属 (3)職名/学年 (4)講演題目 (5)旅費援助の希望の有無 (6)参加日程 ------ 旅費の援助は原則として講演者に限らせていただきます．池田宏一郎（法政大学）

1 0

RIMS共同研究（モデル理論）のご案内
by 池田宏一郎 01 Oct '19

01 Oct '19

基礎論および歴史分科会のみなさま，法政の池田です．下記の要領でRIMS共同研究（公開型）を開催いたします．モデル理論に関連する話題の研究集会です．モデル理論に関連するテーマでの発表を募集いたします． RIMS研究集会「モデル理論における独立概念と次元の研究」日時：2016年12月2日月曜日午後～2016年12月4日水曜日午前場所：京都大学総合研究15号館201号室研究代表者：池田宏一郎（法政大学）講演を希望される方は次の情報を 10月16日水曜日までに池田（ikeda(a)hosei.ac.xn--jp)-u63b3a4a5b7b6byd5nwe5834h. ----- (1)氏名 (2)所属 (3)職名/学年 (4)講演題目 (5)旅費援助の希望の有無 (6)参加日程 ------ 旅費の援助は原則として講演者に限らせていただきます．池田宏一郎（法政大学）

1 0

不完全性定理入門集中講義のご案内
by Toshio Suzuki 26 Sep '19

26 Sep '19

不完全性定理入門集中講義のご案内（重複して受け取られた折はご容赦ください）お世話になっております。首都大学東京の鈴木登志雄です。さて１０月・１１月に首都大学東京理学研究科数理科学専攻では，東京工業大学の鹿島先生に不完全性定理入門の集中講義をしていただきます。最終日には証明可能性論理にもふれていただける見込みです。公式にオープンセミナーとうたっているわけではありませんが，当専攻ではこの種の集中講義に数名程度まで学外の院生等が聴きに来ても黙認する慣習のようです。お近くに関心のありそうな方がいらっしゃいましたら、お知らせいただければ幸いです。 %%%%%%% ここから＊＊担当者鹿島亮先生（東京工業大学情報理工学院准教授）　＊＊授業科目名応用数理特別講義２　　　(数理科学専攻　前期課程：Ｒ００８１) タイトル不完全性定理への現代的な入門場所　首都大学東京（南大沢キャンパス）８号館６階６１０時期１０月１０日（木），１７日（木），３１日（木），１１月７日（木）の１４：４０－１７：５０（途中休憩あり）当専攻での連絡係鈴木登志雄 toshio-suzuki[atmark]tmu.ac.jp 概要ゲーデルの不完全性定理は数理論理学における重要な基本定理でありコンピュータサイエンスや哲学などにも多大な影響を与えているが，しばしば誤解もされている．本講義の目的は詳細な議論によってこの定理の数学的な正しい理解を与えることである．ゲーデルの原論文(1931)を忠実になぞるのではなく，本講義ではペアノ算術を主な対象としてより現代的な証明を行う。教科書：田中一之編『ゲーデルと２０世紀の論理学（３）不完全性定理と算術の体系』東京大学出版会 (2007) pp.37-114 所収，鹿島亮「第一不完全性定理と第二不完全性定理」。 %%%%%%% ここまで首都大学東京南大沢キャンパスへの交通 http://www.tmu.ac.jp/university/campus_guide/access.html 同・構内図 http://www.tmu.ac.jp/university/campus_guide/map.html -- 鈴木登志雄首都大学東京理学研究科数理科学専攻 toshio-suzuki(a)tmu.ac.jp

1 0

組合せ論・モデル理論セミナーのご案内
by Hirotaka Kikyo 25 Sep '19

25 Sep '19

皆様神戸大学の桔梗でございます. 近年, 組合せ論とモデル理論の交流が欧米では一つの潮流になっているように思われますが, 日本でも関連する研究者を集めて研究を促進する意味で「組合せ論・モデル理論セミナー」というものを立ち上げております. 趣旨は次のリンク先をご覧ください. https://sites.google.com/site/kcmseminar/ この度, 第５回の組合せ論・モデル理論セミナーを下記の要領で開催いたします. 皆様のご参加をお待ち申し上げております. -- 日時: 2019年10月18日(金) 16:00-17:30 講演者: 池田宏一郎氏（法政大学）タイトル: On weakly oligomorphic graphs 開催場所: 神戸大学六甲台第2キャンパス自然科学総合研究棟3号館 421室 (JR六甲道駅または阪急六甲駅から, 神戸市バス36系統「鶴甲団地」行きに乗り, バス停「神大本部工学部前」で下車. 阪急六甲駅から徒歩15分程度.) 皆様のご参加をお待ち申し上げております. *詳細はHPからご覧いただけます. https://sites.google.com/site/kcmseminar/5thseminar 神戸大学桔梗宏孝

1 0

計算機数学の教員募集
by tsuboi 21 Sep '19

21 Sep '19

皆さま，筑波大学数学域では，計算機数学の教員を募集しています．公募要領では「数値解析」となってますが，計算機数学という意味で捉えてください．関連する領域の「若い方」の積極的応募を期待しています．締め切り：１０月１１日（金） ● https://nc.math.tsukuba.ac.jp/recruitment/?action=common_download_main&uplo… ● JRECIN にも登録してあります坪井明人＠筑波大学

1 0

RIMS共同研究（公開型）「証明論とその周辺」のご案内
by Yoshihito Tanaka 12 Sep '19

12 Sep '19

（複数のメーリングリストにお送りしています．重複してお受け取りの際はご容赦ください）皆様，九州産業大学の田中義人と申します．例年行われている証明論を中心とした研究集会を，今年度はRIMS共同研究（公開型）「証明論とその周辺」として，下記の要領で開催する予定です．日程：2019年12月24日（火）-12月26日（木）場所：京都大学15号館201教室懇親会（予定）：12月24日（火）会費：4000円程度 Webページ：http://www.ip.kyusan-u.ac.jp/J/ms/event/pt19/proof_theory_2019.html 参加を希望される方は，11月8日（金）までに，ytanaka(a)ip.kyusan-u.ac.xn--jp,-9b4b342t 以下の項目をご連絡ください．・お名前・所属・e-mailアドレス・講演の有無．講演有の場合は，タイトルおよび，講演時間や講演日時等のご希望・旅費援助希望の有無（申し込み状況によってはご希望に添えない場合があります）・懇親会参加希望の有無多くの皆様のご講演・ご参加をお待ちしております． ********************************* 田中義人九州産業大学経済学部 813-8503 福岡市東区松香台2-3-1 092-673-5216 (直通) e-mail: ytanaka(a)ip.kyusan-u.ac.jp *********************************

1 0

LFCS 2020 CFP, deadline extension till Sept 16
by Hajime Ishihara 09 Sep '19

09 Sep '19

Symposium on LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS’20), Deerfield Beach, Florida, January 4-7, 2020. LFCS Steering Committee: Anil Nerode, (Ithaca, NY, General Chair); Stephen Cook (Toronto); Dirk van Dalen (Utrecht); Yuri Matiyasevich (St.Petersburg, Russia); Samuel Buss (San Diego); Gerald Sacks (Cambridge, MA); Andre Scedrov (Philadelphia, PA); Dana Scott, (Pittsburgh, PA - Berkeley, CA). LFCS topics of interest include, but are not limited to: constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; parameterized complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logics; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple agent system logics; logics of proof and justification; nonmonotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; other logics in computer science. LFCS’20 Program Committee: Sergei Artemov (New York, NY) - PC Chair; Eugene Asarin (Paris); Steve Awodey (Pittsburgh, PA); Lev Beklemishev (Moscow); Andreas Blass (Ann Arbor, MI); Samuel Buss (San Diego, CA); Robert Constable (Ithaca, NY); Thierry Coquand (Göteborg); Valeria de Paiva (Cupertino, CA); Ruy de Queiroz (Recife); Nachum Dershowitz (Tel Aviv); Melvin Fitting (New York, NY); Sergey Goncharov (Novosibirsk); Denis Hirschfeldt (Chicago, IL); Rosalie Iemhoff (Utrecht); Hajime Ishihara (JAIST - Kanazawa); Bakhadyr Khoussainov (Auckland); Roman Kuznets (Vienna); Daniel Leivant (Bloomington, IN); Robert Lubarsky (Boca Raton, FL); Victor Marek (Lexington, KY); Lawrence Moss (Bloomington, IN); Anil Nerode (Ithaca, NY) - General LFCS Chair; Hiroakira Ono (JAIST - Kanazawa); Alessandra Palmigiano (Delft); Ramaswamy Ramanujam (Chennai); Michael Rathjen (Leeds); Helmut Schwichtenberg (Munich); Sebastiaan Terwijn (Nijmegen). Submission details. Proceedings will be published in the Springer LNCS series. Submissions should be made electronically via easychair. Submitted papers must be in pdf/12pt format and of no more than 15 pages, present work not previously published, and must not be submitted concurrently to another conference with refereed proceedings. Submission page: https://easychair.org/conferences/?conf=lfcs2020 LFCS issues the best student paper award named after John Barkley Rosser Sr. (1907-1989), a prominent American logician with fundamental contributions in both Mathematics and Computer Science. Important Dates. Submissions deadline: midnight September 16, 2019, any time zone (extended!) Notification: October 10, 2019. Symposium dates: January 4–7, 2020. Local Arrangements. The venue of LFCS 2020 will be the spectacular Wyndham Deerfield Beach Resort, 2096 NE 2nd Street, Deerfield Beach, Florida 33441. Website: http://www.wyndhamdeerfieldresort.com LFCS’20 Local Organizing Committee Chair is Robert Lubarsky, Florida Atlantic University. Further Information about LFCS’20: https://lfcs.ws.gc.cuny.edu/lfcs-2020/ Sponsorships: The US National Science Foundation (pending), Association for Symbolic Logic, Cornell University, The City University of New York Research Foundation.

1 0

東大数理集中講義のお知らせ
by junseiw 22 Aug '19

22 Aug '19

数学史MLの皆様、東京学芸大の渡辺純成です。数学史を主題とする集中講義（東京大数理科学研究科）のお知らせです。皆様、お誘い合わせの上、お出で下さい。なお、広くお知らせするために複数のメーリングリストに投稿しておりますが、重複して受け取られた方々にはご海容いただけますと幸いです。 ──── 科　目：　　数学史　　　　　　　　　　日　程：　　11月25日～11月29日時　間：　　15時～17時場　所：　　東京大学駒場キャンパス　数理科学研究科棟　 123講義室本研究科世話人教員：河澄　響矢講義内容等については、追って website https://www.ms.u-tokyo.ac.jp/kyoumu/shuchunaiyou.html に掲示されます。

1 0

代数・論理・幾何と情報科学（ALGI）8月31日～9月1日（福岡）講演募集
by Akitoshi Kawamura 17 Aug '19

17 Aug '19

皆様（重複してお受取りの際はご容赦ください。）九大の河村と申します。標記の研究集会についてお知らせ致します。 ************************************************** 第三十回 ALGI（代数・論理・幾何と情報科学研究集会）令和元年8月31日（土）～9月1日（日）九州大学伊都キャンパス（福岡県福岡市西区）開催のお知らせと講演の募集 https://sites.google.com/site/algimeeting/ ************************************************** ALGI (Algebra, Logic, Geometry and Informatics) は、代数学や論理学、幾何学の情報科学への応用について、および情報科学の代数学や論理学、幾何学への応用についての研究集会で、年一回の頻度で開催されています。今年は、九州大学マス・フォア・インダストリ研究所（IMI）の共同利用研究集会として開催します。第30回記念の特別企画として、 ALGI各分野の応用的側面の話題について招待講演を予定しております。奮ってご参加ください。 ●招待講演勝股審也（国立情報学研究所）竹内泉（産業技術総合研究所）長谷川勇（スクウェア・エニックス）前原貴憲（理化学研究所） ●日程令和元年（2019年）8月31日（土）～9月1日（日） ●会場九州大学　伊都キャンパス IMIコンファレンスルーム（ウエスト一号館D棟4階W1-D-414） http://www.imi.kyushu-u.ac.jp/pages/joint_research_auditorium.html 講演を希望される方は、・題目・講演者名・所属・希望時間（基本は質疑応答含め30分です）・講演に必要な道具・梗概（後日でも構いません）・講演資料を後日ご提供いただけるかどうか※［はい／いいえ］などの情報を、幹事の西澤 nishizawa(a)kanagawa-u.ac.jp までお寄せください。「講演したいと思っている」程度の不完全情報でも結構です。 ※研究所共同利用の報告書に記載するため、もし差支えなければ、　講演内容について一件3～15ページ程度の資料（スライドのコピー等でも　結構です）を御提供いただけると幸いです。　「はい」を選択いただいた方には開催終了後に改めてお伺いさせて頂きます。時間の空きがある限り、開催直前まで講演申込を受け付けるつもりですが、申込順に発表時間を割り当てていきますので、講演をお考えの方は、なるべくお早めにお知らせいただけますようにお願い致します。参加自体は申込不要で自由にご参加いただけますが、初日の夕方に予定している懇親会については、事前に詳細を告知し参加申込を受け付ける予定です。できるだけ多くの皆さんのご講演・ご参加をお待ちしております。幹事・世話人河村彰星（九州大学）津曲紀宏（崇城大学）西澤弘毅（神奈川大学）溝口佳寛（九州大学）

1 2

モデル理論夏の学校研究集会（9/2-4）申し込み延長
by kota takeuchi 07 Aug '19

07 Aug '19

皆様９月２－４日に山梨県の山中湖で開かれますモデル理論夏の学校研究集会の宿泊参加枠にいくらか余裕がありますので、申し込み締め切りを８月１０日（土）に延長します。また講演枠もわずかながらまだ受け入れ可能ですので興味がある方は申し込みください。（セミナーハウスに宿泊しない参加も歓迎していますが、人数把握のため事前にお申込みいただけると幸いです。）皆様のご参加をお待ちしています。研究集会HP https://sites.google.com/view/model-theory-summer-school-201/home 竹内耕太

1 0

９月３日(火)午後東大駒場「応用論理学」
by Toshio Suzuki 04 Aug '19

04 Aug '19

（複数お受け取りの方はご容赦下さい）首都大学東京の鈴木登志雄です。2019年9月3日午後に東大駒場で「応用論理学」という講演会を開催します。これは日本応用数理学会 2019年度年会の中の正会員主催オーガナイズドセッション（臨時の分科会）です。このセッション以外にも、年会には多くの講演が予定されています。皆様のご来場をお待ちしております。日本応用数理学会年会のプログラム・参加費・会場案内については年会ウェブページ https://annual2019.jsiam.org/ をご覧下さい。 ------- 「応用論理学」 2019年9月3日(火)16:30から17:50 東京大学駒場キャンパス21KOMCEE棟A(K211)室ご来場前に年会受付にお越し下さい：数理科学研究科（会場とは別の建物）117室チュートリアル AND-OR木の探索コスト / 鈴木登志雄 (首都大学東京) 重み付きAND-OR木の固有分布について【招待講演40分】 / 田中一之 (東北大学) ソロベイ還元と連続性 / 鈴木登志雄 (首都大学東京) (隈部正博、宮部賢志、水澤勇気との共同研究）連絡先鈴木登志雄 toshio-suzuki[atmark]tmu.ac.jp -------- セッション「応用論理学」チラシ http://toshio-suzuki-logic.jp/meeting/jsiam2019logic.pdf 日本応用数理学会年会のウェブ通常参加申込みは８月２６日まで、当日受付・当日払いもあります。 -- 鈴木登志雄首都大学東京理学研究科　数理科学専攻 toshio-suzuki(a)tmu.ac.jp

1 0

公募
by akito tsuboi 01 Aug '19

01 Aug '19

皆さま，筑波大学数学域では，計算機数学の教員を募集します．数値解析や計算機数学に広い意味で関連する方々の積極的応募を期待しています． ● https://nc.math.tsukuba.ac.jp/recruitment/ ● JRECIN にも登録してあります坪井明人＠筑波大学

1 0

モデル理論夏の学校・研究集会のお知らせ
by kota takeuchi 29 Jun '19

29 Jun '19

皆様２０１９年度のモデル理論夏の学校研究集会のお知らせです。本研究集会は，例年夏に開催されるモデル理論に関する研究集会です。モデル理論に興味のある方はだれでも参加していただけます。申し込み締め切り：８月２日（金）セミナーハウスに宿泊する場合は部屋数に限りがありますのでお早めにお申し込みください。また限られた予算内ですが旅費の援助も検討しています。希望される方はご相談ください。研究集会HP：https://sites.google.com/view/model-theory-summer-school-201/home 期間：２０１９年９月２日（月）午後～９月４日（水）午前場所：東海大学山中湖セミナーハウス山梨県南都留郡山中湖村山中３２３－１〒４０１－０５０１ＴＥＬ０５５５－６２－４１００世話役：竹内耕太、坪井明人筑波大学 kota(a)math.tsukuba.ac.jp, tsuboi(a)math.tsukuba.ac.jp 竹内耕太

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml