Kisoron-ml March 2024

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

2 participants
6 discussions

RIMS共同研究（公開型）のご案内
by kota takeuchi 08 Apr '24

08 Apr '24

皆様下記のようにモデル理論の研究集会を行います。ご参加をお待ちしております。 --------------------------------------------------------------------------------- RIMS共同研究(公開型)「モデル理論における独立概念と次元の研究」日時：2023年12月4日(月)～2023年12月6日(水) 場所：京都大学数理解析研究所110室+オンライン(ZOOM) 代表者：竹内耕太（筑波大学）副代表：桔梗宏孝（神戸大学） Webページ： https://sites.google.com/gsuite.kobe-u.ac.jp/rimsmodeltheoryworkshop2023/ --------------------------------------------------------------------------------- 参加申し込みは上記webページからお願いします。 ※参加申し込みの情報は京都大学数理解析研究所および次年度世話人に提供されます．以上、よろしくお願いします。筑波大学竹内耕太

2 1

Fwd: 日本数学会数学基礎論および歴史分科会総会報告
by Takahiro Seki 28 Mar '24

28 Mar '24

みなさま　連絡責任評議員の関です。　先ほど送信したメールに誤りがありましたので、修正したものをお送りいたします。　ご指摘くださった方ありがとうございました。 ===== 以下修正版 ===== みなさま　連絡責任評議員を務めております新潟大学の関です。　3月17日（日）に開催した分科会総会について、以下のとおりご報告いたします。不明な点等がございましたら当方までお問い合わせください。　それではよろしくお願いいたします。 [1] 分科会の評議員と運営委員 [2] 分科会予算 [3] 今後の主な研究集会と学会 [4] 2023年度のシンポジウム・研究集会の記録 [5] 数学会講演申し込み時の注意 ===== [1] 分科会の評議員と運営委員　2024年3月からの評議員と運営委員は以下のとおりです。　（敬称略，【】：任期，（）：分野）評議員 - 連絡責任評議員関隆宏【2025年2月】（非古典論理） - 受賞候補推薦評議員薄葉季路【2026年2月】（集合論）運営委員 - 分科会選出「数学」編集委員宮部賢志【2025年6月】（証明論と計算論） - 田中紀子【2025年2月】（歴史） - 小川束　【2025年2月】（歴史） - 坪井明人【2025年2月】（モデル理論） - 倉橋太志【2026年2月】（証明論と計算論） ===== [2] 分科会予算　2023年度の会計を報告し，2024年度の予算を報告しました。 ===== [3] 今後の主な研究集会と学会１）分科会主催集会 - SAML (Symposium on Advances in Mathematical Logic) 2024 　「数理論理学の最近の進展」　会場：京都大学数理解析研究所（ハイブリッド形式）　日程：7月9日～12日　幹事：酒井拓史（神戸大学） - 2024年度数学基礎論サマースクールテーマは証明論。幹事等は現在調整中。 - 2024年度数学基礎論若手の会幹事：樋口幸治郎（日本大学） 10～11月に対面開催を予定２）日本数学会 - 2024年度秋季総合分科会会場：大阪大学日程：9月3日～6日 - 2025年度年会会場：早稲田大学日程：3月18日～21日 ※ 2025年度の秋季総合分科会については会場・日程ともに未定です。３）Asian Logic Conference （横山啓太さんより連絡） - 18th Asian Logic Conference 2025年に京都産業大学で開催予定 ===== [4] 2023年度シンポジウム・研究集会の記録　雑誌「数学」編集部より、以下に該当するシンポジウム・研究集会記録の原稿募集の依頼がありました。　開催期間：2023年4月1日から2024年3月31日まで　開催地：日本国内（オンライン開催も含む）　原則として20人以上の集会，または(20人以下でも) 報告集のある集会該当するシンポジウム・研究集会の幹事の方は、連絡責任評議員の関（tseki at adm.niigata-u.ac.jp）まで、以下の事項をご報告くださいますようよろしくお願いします。　名称（主題）と主催者（所属）　開催場所と開催時期　報告集の有無と入手可能な場合の連絡先（氏名と所属）　締切：5月30日（「数学」4号に掲載予定） ===== [5] 数学会講演申し込み時の注意　講演タイトルや共同講演者などの情報が、講演データと講演アブストラクトで食い違っているものが散見されるようです。講演申し込み時には、これらの情報の食い違いがないようにご注意ください。特に、講演アブストラクトに共著者として名前が掲載されている方は、共同講演者として講演データに入力するようお願いいたします。 ===== --- 関　隆宏新潟大学経営戦略本部評価センター

1 0

Fwd: （日本数学会）日本学術振興会育志賞と日本数学会賞建部賢弘賞の推薦募集について
by Takahiro Seki 28 Mar '24

28 Mar '24

みなさま　数学基礎論および歴史分科会の連絡評議員の関です。　日本数学会理事長より、以下のとおり、日本学術振興会育志賞と日本数学会賞建部賢弘賞の推薦募集についての周知依頼がありました。　もしこれらの賞にふさわしい方がいらっしゃれば推薦くださいますよう、よろしくお願いいたします。 -------- Forwarded Message -------- Subject: （日本数学会）日本学術振興会育志賞と日本数学会賞建部賢弘賞の推薦募集について分科会連絡責任評議員　各位特別セッション「無限可積分系」世話人　様（本メールはBccでお送りしております。）日頃より日本数学会の運営にご協力をいただき誠にありがとうございます。 2024年度の「日本学術振興会育志賞」および「日本数学会賞建部賢弘賞」につきましては、数学通信（会報）第28巻第3号および第4号において、推薦募集を掲載いたしました。　（育志賞）　https://www.mathsoc.jp/assets/file/publications/tushin/2803/kaiho283-14.pdf 　（建部賞）　https://www.mathsoc.jp/assets/file/publications/tushin/2803/kaiho283-13.pdf 本日現在で、推薦件数がひじょうに少ないため各分科会および特別セッションのメーリングリストにてご周知をいただきたく、ご協力いただきますようお願い申し上げます。なお、推薦様式は下記のウェブサイトにございます。 https://www.mathsoc.jp/activity/awards/takebe/ 推薦の締め切りは、　育志賞が、4月5日（金）　建部賞が、4月30日（火）となっております。お忙しい中お手数をおかけいたしますが賞にふさわしい候補者の推薦についてご協力を賜りますよう何卒よろしくお願い申し上げます。日本数学会理事長鎌田聖一

1 0

Fwd: （日本数学会）2024年度日本数学会賞秋季賞受賞候補者の推薦について（依頼）
by Takahiro Seki 28 Mar '24

28 Mar '24

みなさま　数学基礎論および歴史分科会の連絡評議員の関です。　日本数学会理事長より、以下のとおり、2024年度日本数学会賞秋季賞の推薦募集についての周知依頼がありました。　もしこれらの賞にふさわしい方がいらっしゃれば　　連絡責任評議員　　　関　隆宏（tseki at adm.niigata-u.ac.jp）　　受賞候補推薦評議員　薄葉季路（usuba at waseda.jp）の両人（「 at 」は「@」にしてください）まで推薦くださいますよう、よろしくお願いいたします。 -------- Forwarded Message -------- Subject: （日本数学会）2024年度日本数学会賞秋季賞受賞候補者の推薦について（依頼） 2024年度評議員　各位 2024年度受賞候補推薦委員　各位日本数学会賞受賞者（過去5年以内）各位 ※本メールはBccでお送りしております。平素は日本数学会の運営にご協力くださいまして厚く御礼申し上げます。「２０２４年度日本数学会賞秋季賞」受賞候補者の推薦について添付「候補者推薦依頼」によりお知らせいたします。秋季賞および春季賞については宛先の皆様が候補者を推薦することができます。各分科会から推薦された受賞候補推薦委員におかれましては、正式には3月17日に開催の評議員会において承認手続きを行いますが、秋季賞の推薦期限を例年より2週間ほど早く設定させていただいておりますので、早めにお知らせをさせていただくしだいです。添付をご覧いただきまして、候補として相応しい方を２０２４年５月７日（火）までにご推薦くださいますようお願い申し上げます。今年は授賞式が開催される秋季総合分科会が例年より２、３週間程度早く開催されることから推薦期限を2週間ほど早く設定させていただいております。皆様のご協力を賜りますよう何卒よろしくお願い申し上げます。日本数学会理事長鎌田　聖一 --- 関　隆宏新潟大学経営戦略本部評価センター

1 0

日本数学会数学基礎論および歴史分科会総会報告
by Takahiro Seki 27 Mar '24

27 Mar '24

みなさま　連絡責任評議員を務めております新潟大学の関です。　3月17日（日）に開催した分科会総会について、以下のとおりご報告いたします。不明な点等がございましたら当方までお問い合わせください。　それではよろしくお願いいたします。 [1] 分科会の評議員と運営委員 [2] 分科会予算 [3] 今後の主な研究集会と学会 [4] 2023年度のシンポジウム・研究集会の記録 [5] 数学会講演申し込み時の注意 ===== [1] 分科会の評議員と運営委員　2024年3月からの評議員と運営委員は以下のとおりです。　（敬称略，【】：任期，（）：分野）評議員 - 連絡責任評議員関隆宏【2025年2月】（非古典論理） - 受賞候補推薦評議員酒井拓史【2026年2月】（集合論）運営委員 - 分科会選出「数学」編集委員宮部賢志【2025年6月】（証明論と計算論） - 田中紀子【2025年2月】（歴史） - 小川束　【2025年2月】（歴史） - 坪井明人【2025年2月】（モデル理論） - 倉橋太志【2026年2月】（証明論と計算論） ===== [2] 分科会予算　2023年度の会計を報告し，2024年度の予算を報告しました。 ===== [3] 今後の主な研究集会と学会１）分科会主催集会 - SAML (Symposium on Advances in Mathematical Logic) 2024 　「数理論理学の最近の進展」　会場：京都大学数理解析研究所（ハイブリッド形式）　日程：7月9日～12日　幹事：酒井拓史（神戸大学） - 2024年度数学基礎論サマースクールテーマは証明論。幹事等は現在調整中。 - 2024年度数学基礎論若手の会幹事：樋口幸治郎（日本大学） 10～11月に対面開催を予定２）日本数学会 - 2024年度秋季総合分科会会場：大阪大学日程：9月3日～6日 - 2025年度年会会場：早稲田大学日程：3月18日～21日 ※ 2025年度の秋季総合分科会については会場・日程ともに未定です。３）Asian Logic Conference （横山啓太先生より連絡） - 18th Asian Logic Conference 2025年に京都産業大学で開催予定 ===== [4] 2023年度シンポジウム・研究集会の記録　雑誌「数学」編集部より、以下に該当するシンポジウム・研究集会記録の原稿募集の依頼がありました。　開催期間：2023年4月1日から2024年3月31日まで　開催地：日本国内（オンライン開催も含む）　原則として20人以上の集会，または（20人以下でも) 報告集のある集会該当するシンポジウム・研究集会の幹事の方は、5月30日（木）までに、連絡責任評議員の関（tseki at adm.niigata-u.ac.jp：「 at 」を「@」に変えてください）まで以下の事項をご報告くださいますようよろしくお願いします（「数学」4号に掲載予定）。　名称（主題）と主催者（所属）　開催場所と開催時期　報告集の有無と入手可能な場合の連絡先（氏名と所属） ===== [5] 数学会講演申し込み時の注意　講演タイトルや共同講演者などの情報が、講演データと講演アブストラクトで食い違っているものが散見されるようです。講演申し込み時には、これらの情報の食い違いがないようにご注意ください。特に、講演アブストラクトに共著者として名前が掲載されている方は、共同講演者として講演データに入力するようお願いいたします。 ===== --- 関　隆宏新潟大学経営戦略本部評価センター

1 0

CCR 2024 (3/11-15): 17th International Conference on Computability, Complexity and Randomness
by Takayuki Kihara 08 Mar '24

08 Mar '24

皆様お世話になっております．名古屋大学の木原です．来週3月11日〜15日に名古屋大学で開催される国際会議 CCR 2024: The 17th International Conference on Computability, Complexity and Randomness の最終案内をさせていただきます． ---- CCR 2024: CALL FOR PARTICIPATION ======== Seventeenth International Conference on Computability, Complexity and Randomness (CCR 2024) https://sites.google.com/view/ccr2024/home March 11-15, 2024 Nagoya University, Nagoya, Japan ======== TOPICS: * Algorithmic randomness * Computability theory * Kolmogorov complexity * Computational complexity * Reverse mathematics and logic ======== INVITED SPEAKERS: * Juan Aguilera, TU Wien, Vienna, Austria * Wesley Calvert, Southern Illinois University, Carbondale, USA * Leonardo Coregliano, University of Chicago, Chicago, USA * Makoto Fujiwara, Tokyo University of Science, Tokyo, Japan * Liling Ko, The Ohio State University, Columbus, USA * Russell Miller, Queens College (CUNY), New York, USA * Sewon Park, Kyoto University, Kyoto, Japan * Francesca Zaffora Blando, Carnegie Mellon University, Pittsburgh, USA ======== SCIENTIFIC PROGRAM COMMITTEE: * Jörg Brendle (Kobe University, Japan) * Johanna Franklin, co-chair (Hofstra University, USA) * Jun Le Goh (National University of Singapore) * Takayuki Kihara, co-chair (Nagoya University, Japan) * Margarita Marchuk (Novosibirsk State University, Russia) * Arno Pauly (Swansea University, UK) * Svetlana Selivanova (KAIST, Korea) * Keita Yokoyama (Tohoku University, Japan) ======== ABOUT THE CONFERENCE: CCR 2024 is the 17th edition of the International Conference on Computability, Complexity and Randomness, a series of conferences devoted generally to the mathematics of computation and complexity but that tends to primarily focus on algorithmic randomness/algorithmic information theory and its impact on mathematics. Previous editions of the conference have been held at Cordoba (Argentina), Buenos Aires (Argentina), Nanjing (China), Luminy (France), Notre Dame (USA), Cape Town (South Africa), Cambridge (UK), Moscow (Russia), Singapore, Heidelberg (Germany), Honolulu (USA), Mysore (India), Santiago de Chile (Chile), Astana (Kazakhstan), Cambridge (UK), and Lake Kochel (Germany). ======== -------- 木原貴行名古屋大学大学院情報学研究科数理情報学専攻 URL: http://math.mi.i.nagoya-u.ac.jp/~kihara/index-j.html Email: kihara(a)i.nagoya-u.ac.jp

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml March 2024