Kisoron-ml October 2021

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

6 participants
7 discussions

第55回MLG数理論理学研究集会
by Naosuke MATSUDA 14 Mar '23

14 Mar '23

みなさま神奈川大学の松田と申します．第55回MLG数理論理学研究集会を以下の要領で開催させていただきます．日時：2021年3月1日(月) - 3月2日(火) 場所：オンライン開催参加方法など，詳細は https://sites.google.com/view/55thmlg/home をご覧ください． MLG数理論理学研究集会は，1971年開始された，この分野の多くの研究者が参加している40年以上続く研究集会です．成果を発表し合ったり，アイデアを交換したりと，ザックバランな雰囲気で行われています．数学の他分野や，広く数理科学，情報科学，哲学の方々や，外国からの研究者を迎えるなど，オープンに運営されています．今年度も多くのみなさまのご参加をお待ちしております． -- 松田直祐神奈川大学 matsuda.naosuke(a)gmail.com

2 68

RIMS共同研究(公開型)「モデル理論における独立概念と次元の研究」のご案内
by Hirotaka Kikyo 02 Nov '21

02 Nov '21

（重複してお受け取りの際はご容赦ください）皆様下記のようにモデル理論の研究集会を行います。ご参加をお待ちしております。 --------------------------------------------------------------------------------- RIMS共同研究(公開型)「モデル理論における独立概念と次元の研究」日時：2021年12月13日(月)～2021年12月15日(水) 場所：完全オンライン（ZOOM）代表者：桔梗宏孝（神戸大学） Webページ：http://www2.kobe-u.ac.jp/~kikyo/Sites/rims2021/rims2021.html --------------------------------------------------------------------------------- 参加申し込みは上記webページからお願いします。 ※参加申し込みの情報は京都大学数理解析研究所および次年度世話人に提供されます．以上、よろしくお願いします。神戸大学大学院システム情報学研究科桔梗宏孝

1 1

RIMS共同研究（公開型）「証明と計算の理論と応用」のご案内（Reminder）
by ikeda 30 Oct '21

30 Oct '21

（複数のメーリングリストにお送りしています．重複してお受け取りの際はご容赦ください）皆様 RIMS共同研究(公開型)「証明と計算の理論と応用」の参加申し込みの締め切りが近づいて参りましたので，再送させていただきます．ご検討のほど何卒よろしくお願いいたします． 2021年度の証明論研究集会のご案内をお送りさせていただきます．今年度はRIMS共同研究(公開型)として，下記の要領で開催される予定です．新型コロナの感染拡大状況を鑑みて，現在のところハイブリッド型で開催する予定です．講演は証明論・計算論とその周辺を含めた分野から，幅広く募集しています．今回の研究集会では，東京大学数理科学研究科の新井敏康先生に招待講演をお願いしております．多くの皆様のご参加・ご講演をお待ちしています． --------------------------------------------------------------------------------- RIMS共同研究(公開型)「証明と計算の理論と応用」日時：2021年12月20日〜2021年12月22日場所：京都大学数理解析研究所111号室（講演者，代表者などコアメンバーのみ会場での参加が可能で，コアメンバー以外の参加者はZoomによる参加を想定してます．） Webページ：https://www.kyorin-u.ac.jp/univ/user/health/proof_theory/2021/ --------------------------------------------------------------------------------- 参加を希望される方は，11月15日(月) 17:00までに， ikedak[at]ks.kyorin-u.ac.jp宛に，以下の項目をご連絡ください．（講演されない方も11月15日（月）17:00までにご連絡ください．）・氏名：・大学等名：・部局等名（学部，研究科，研究所等）：・職名：・e-mailアドレス：・参加の仕方：　１．会場（数理解析研究所）　　２．遠隔　（どちらか一方を消してください）・講演の有無：　１．講演する　　２．講演しない　（どちらか一方を消してください）　（講演を希望される場合は，タイトルと講演時間や講演日等の希望をご連絡ください．）・旅費援助の希望の有無：　１．希望する　　２．希望しない　（どちらか一方を消してください．）（希望される場合は参加日程（例：12月20日〜12月21日）をご連絡ください．　　　また，申込状況によってはご希望に添えない場合があります．） ※上記の情報は京都大学数理解析研究所および次年度世話人に提供されます．杏林大学池田一磨 -- ikeda <ikedak(a)ks.kyorin-u.ac.jp>

1 0

2022年度日本数学会年会の対面開催について（周知）
by Masaru KADA 22 Oct '21

22 Oct '21

kisoron-ml のみなさま：連絡責任評議員嘉田です。 2022年度日本数学会年会（開催校・埼玉大学）につきまして、学会担当理事より下記の通知を受けましたので、お知らせします。 -- 新型コロナウイルス感染症の感染対策を徹底することにより、「対面形式」による現地開催とする -- コロナ感染症拡大以前の状態に戻し、すべての講演は、埼玉大学において登壇して口頭発表することにより、講演成立とする -- 講演申込は 2021年10月29日（金）0:00 ～ 11月19日（金）23:59 詳細は、下記ウェブページをご一読ください。理事長からの文書 https://www.mathsoc.jp/activity/meeting/saitama22mar/news20211022.html 会合での飲食の禁止について https://www.mathsoc.jp/activity/meeting/saitama22mar/kaigi.html 2022年度・年会ウェブページ： https://www.mathsoc.jp/activity/meeting/saitama22mar/ よろしくお願いします。嘉田勝 -- -------- Masaru KADA （嘉田勝） kada(a)mi.s.osakafu-u.ac.jp --------

1 0

Fwd: Anand's 70th
by kota takeuchi 20 Oct '21

20 Oct '21

皆様 University of Torontoで開かれるモデル理論特別講義のお知らせを転送します。 Special Lectures in Honor of Anand Pillay's 70th birthday として、11月10日にzoomで開かれます。なかなかこのような講義を聞ける機会は少ないかと思いますので興味のある方は参加してみてください。以下の転送文に詳細リンクがあります。竹内耕太 ---------- Forwarded message --------- From: 이정욱 <ljwhayo(a)kaist.ac.kr> Date: Wed, Oct 20, 2021 at 12:04 PM Subject: Anand's 70th To: <kota(a)math.tsukuba.ac.jp> Dear Professor Takeuchi, Hello, Kota. There will be an event to celebrate Anand's 70th on November, 10, 2021. The detail of the event are here: http://www.fields.utoronto.ca/activities/21-22/Anand-Pillay Please share the event with someone who might be interested in. Sincerely, Junguk

1 0

「論理・代数系・言語と計算機科学の周辺領域」の講演募集、12/3申込締切
by Munehiro Iwami 19 Oct '21

19 Oct '21

皆様島根大学の岩見と申します。 RIMS研究集会をオンラインで実施します。参加･発表を検討して頂けると幸いです。参加のみも可です。学生の発表も歓迎します。 12月3日(金)までに岩見まで申し込んで下さい。 ------------------------------------------------------------ 研究者の皆様島根大学　岩見です。京都大学数理解析研究所RIMS共同研究(公開型)(旧称：RIMS研究集会) 「論理・代数系・言語と計算機科学の周辺領域」を下記の日程で開催いたします．研究領域については広い意味での計算機科学ととらえていただき，関連する講演を幅広く募集いたします．アイデア段階のものでも構いません．多くの研究者による活発な研究発表・討論の場にしたいと考えております．講演希望の方は以下の情報をご記入の上,2021年12月3日(金)までに研究代表者宛（munehiro(a)cis.shimane-u.ac.xn--jp)e-mail-yd4hsbg ご連絡ください．講演については，「英語による講演」あるいは「英語による発表資料」をお願いいたします． ■今年度はコロナウィルス感染症のため，Zoomによるオンライン開催とします． ■京都大学数理解析研究所では実施しませんので，注意してください． ■数理解析研究所からの旅費支給はありません．氏名（日本語および英語）所属・職　(学生(院生)の方は学年を明記してください）所属住所：連絡先（メールアドレス）講演題目（日本語および英語）講演時間（30分を標準とします）その他：講演日時についてご希望などがございましたらお書きください．ご希望に添えないことがあるかもしれませんがその場合はご容赦ください．また, 講演されずに聴講される方も歓迎します． (メールが届かないことがまれに発生しております．講演を申し込まれた方に, 確認のため申込後７日以内にご返信差し上げます．万一返信がない場合は, お手数ですがお問い合わせください．) ---------------------------------------------------------------------- 記論理・代数系・言語と計算機科学の周辺領域形式：オンライン(Zoom) 期間： 2022/02/16（水）～2022/02/18（金）代表者：岩見　宗弘 (島根大学総合理工学部) Logic, Algebraic system, Language and Related Areas in Computer Science Location：　Online(Zoom) Period:　2022-02-16 -- 2022-02-18 Organizer: Munehiro Iwami (Interdisciplinary Faculty of Science and Engineering, Shimane University) ---------------(申込みフォーマット)------------------------------------- 研究集会「論理・代数系・言語と計算機科学の周辺領域」に参加します：（Ｏ×）　氏名（日本語および英語）：　所属・職：所属住所：　連絡先（メールアドレス）：研究集会「論理・代数系・言語と計算機科学の周辺領域」で講演を希望します：（Ｏ×）　講演者：　講演題目（日本語および英語）：　講演時間（30分を標準とします）：その他：講演日時希望などがございましたらお書きください．ご希望にそえないことがあるかもしれませんがその場合はご容赦ください． ------------------------------------------------------------------------- -- 以上、よろしくお願い致します。岩見宗弘島根大学学術研究院理工学系 E-mail: munehiro(a)cis.shimane-u.ac.jp

1 0

（推薦求む）2022春の学会の企画特別講演・分科会特別講演
by Masaru KADA 18 Oct '21

18 Oct '21

kisoron-ml のみなさま：連絡責任評議員嘉田です。 2022年3月に埼玉大学で行われる日本数学会年会における、企画特別講演と分科会特別講演の講演者につきまして、分科会運営委員会で調整しております。企画特別講演は、例年、春の学会で、数学基礎論および歴史分科会に1名の推薦枠があります。すでに、分科会運営委員を通じて、各分野のみなさまに講演者として適任な方のご推薦をお願いしているところですが、現在のところ、歴史分野から1件の分科会特別講演の推薦があるだけで、数学基礎論分野からは、企画特別講演、分科会特別講演のどちらへもご推薦を承っておりません。みなさまのお近くで、企画特別講演、分科会特別講演の講演者としてふさわしい研究者にお心当たりがありましたら、【10月29日金曜日まで】に、分科会運営委員もしくは嘉田にお知らせくださるよう、お願い申し上げます。ご参考までに、当分科会の過去の特別講演および企画特別講演の一覧が https://mathsoc.jp/section/logic_and_history/Tokubetu.html でご覧いただけます。よろしくお願いします。嘉田勝 -- -------- Masaru KADA （嘉田勝） kada(a)mi.s.osakafu-u.ac.jp --------

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml October 2021