Kisoron-ml August 2021

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

5 participants
8 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

日韓数学会 MSJ-KMS Joint Meeting のお知らせ
by Masaru KADA 30 Aug '21

30 Aug '21

kisoron-ml のみなさま：連絡責任評議員嘉田です。 2021年9月13日（月）に日韓数学会主催で開催される MSJ-KMS Joint Meeting につきまして、下記のとおりご案内いたします。みなさまのご参加をお待ち申し上げます。嘉田勝（以下、ご案内） ==== 数学通信やニュースレターでご案内しましたように、千葉大学における秋季総合分科会前日 2021年9月13日（月）に日韓数学会主催で MSJ-KMS Joint Meeting　 https://www.mathsoc.jp/activity/meeting/JointMeeting2021/ がオンライン開催されます。日韓諸分野における最前線の数学研究について、選りすぐりのプログラムをご準備して皆様の参加をお待ちしております。 Joint Meetingへは会員でなくとも参加でき、事前申込制となっております。 https://forms.gle/GR2ZNvjaiso3Upaz6 申込みは既に開始されており、受付期間は9月8日（水）までとなっております。お早めに参加登録を行って頂きますようよろしくお願い申し上げます。プログラム 10:00--10:15　開会の辞 Plenary Talks 10:20--11:20　河東泰之（東京大学） Topological order, tensor categories and operator algebras 11:30--12:30　Inkang KIM (KIAS) Signature, Toledo invariant, eta invariant, and therepresentation of surface group in real symplectic group パラレルセッション「代数」 14:00--14:40　安田健彦（大阪大学） On the isomorphism problem for projective schemes 14:50--15:30　Sanghoon BAEK (KAIST) Rationality and complexity for spaces of torsors under semisimple groups 16:10--16:50　玉川安騎男（京都大学） "Ghosts" in families of abelian varieties with a common isogeny factor (joint work with Anna Cadoret) 17:00--17:40　Jihun PARK (POSTECH) Sasaki-Einstein 5-manifolds from an algebro-geometric point of view パラレルセッション「幾何、トポロジー」 14:00--14:40　永野幸一（筑波大学） Topological regularity theorems for CAT(0) spaces 14:50--15:30　Yunhyung CHO (Sungkyunkwan Univ.) Monotone Lagrangians and mutations in flag varieties 16:10--16:50　太田啓史（名古屋大学） Analytic aspect of Fukaya category 17:00--17:40　Cheol-Hyun CHO (SNU) Berglund-Hübsch homological mirror symmetry for invertible curve singularities パラレルセッション「解析」 14:00--14:40　ニールベズ（埼玉大学） The nonlinear Brascamp-Lieb inequality 14:50--15:30　Soonsik KWON (KAIST) Blow-up dynamics of the self-dual Chern-Simons-Schrödinger equations 16:10--16:50　小川卓克（東北大学） End-point maximal regularity and free boundary problems of the Navier-Stokes equations 17:00--17:40　Kyungkeun KANG (Yonsei Univ.) TBA パラレルセッション「確率論、応用数学」 14:00--14:40　石本健太（京都大学） On flows and form of microswimmers 14:50--15:30　Ildoo KIM (Korea Univ.) An Lp-theory for second-order stochastic partial differential equations 16:10--16:50　稲濱譲（九州大学） Heat trace asymptotics for equiregular sub-Riemannian manifolds 17:00--17:40　Myungjoo KANG (SNU) Some applications using Deep Learning Techniques 組織委員会日本数学会　田口雄一郎（東京工業大学）山田澄生（学習院大学）杉本充（名古屋大学）熊谷隆（京都大学）大韓数学会　Yongnam LEE (KAIST) Jongil PARK (SNU) Jaeyoung BYEON (KAIST) Panki KIM (SNU) ==== -- -------- Masaru KADA （嘉田勝） kada(a)mi.s.osakafu-u.ac.jp --------

1 0

2021秋季総合分科会「女性だれでも懇親会」のお知らせ
by Masaru KADA 30 Aug '21

30 Aug '21

kisoron-ml のみなさま：連絡責任評議員嘉田です。日本数学会2021年度秋季総合分科会(於:千葉大学)における「女性だれでも懇親会」につきまして、男女共同参画社会推進委員会からの案内文（下記）をお送りします。よろしくお願いします。嘉田勝（以下、案内文） ==== 数学基礎論および歴史分科会の皆様, 2021年度秋季総合分科会(於:千葉大学)にて, “女性だれでも懇談会” を以下の要領で開催することをお知らせ致します． ****************************** 女性だれでも懇談会 http://www.mathsoc.jp/activity/meeting/chiba21sept/news20210705.html 日時:2021年9月16日(木) 11:30-12:50 (出入り自由) 会場:Zoom にて開催（URL は参加登録者にお知らせします．）対象:女性研究者(大学院生を含む) 趣旨:女性研究者の意見交換・情報交換を目的とする. 参加登録URL：https://forms.gle/G3iEyLUBDMEbLA2y7 ****************************** 会議ではなく懇談と趣旨とした女性研究者限定のイベントです．お近くの女性数学者・学生へもご案内いただけましたら幸いです．どうぞよろしくお願いいたします．日本数学会男女共同参画社会推進委員会石田祥子(千葉大学), 篠田万穂（お茶の水女子大学） ==== -- -------- Masaru KADA （嘉田勝） kada(a)mi.s.osakafu-u.ac.jp --------

1 0

RIMS共同研究（公開型）「実数の集合論における近年の進展」 2021年10月12--15日
by Masaru KADA 22 Aug '21

22 Aug '21

下記のRIMS共同研究（公開型）のご案内を申し上げます。研究代表者：嘉田勝（大阪府立大学） / kada(a)mi.s.osakafu-u.ac.jp ======== RIMS共同研究（公開型）「実数の集合論における近年の進展」開催日: 2021年10月12日（火）―2021年10月15日（金）開催地: オンライン開催（ZOOMミーティング）、日本標準時で午前9時--午後5時の時間内お問い合わせ: 嘉田勝 / kada(a)mi.s.osakafu-u.ac.jp 集会の概要 RIMS（京都大学数理解析研究所）共同研究として、「実数の集合論における近年の進展」をテーマとする集会をオンラインで実施します。このテーマにとらわれず、集合論および関連分野の研究成果発表を広く受け付けます。研究者のみなさまのご参加をお待ち申し上げます。プログラムはミニコース（連続講義）と一般講演から成ります。ミニコースでは、Joerg Brendle 氏（神戸大学）および Diego Mejia 氏（静岡大学）を講師にお迎えして、実数の集合論で用いられる強制法の技法（Boolean ultrapowers, submodel methods など）および関連する研究成果について講義いただきます。参加登録下記URLの参加登録フォームにてご登録ください。 https://forms.gle/1156YFMp1bN9GEDJ9 一般講演締切：2021年9月9日集会参加締切：2021年10月10日 ======== -------- Masaru KADA （嘉田勝） kada(a)mi.s.osakafu-u.ac.jp --------

1 0

開催形式の変更（モデル理論夏の学校）
by 池田宏一郎 19 Aug '21

19 Aug '21

kisoron-mlのみなさま法政の池田です．「モデル理論夏の学校」の開催方法についてですが，現在の感染状況を踏まえ，開催形式をハイブリッド形式からオンラインのみに変更いたします．また，参加登録締切を以下の通り，変更いたします．皆様の参加をお待ちしております．池田宏一郎（法政大学） ----------------------------- 日時：2021年9月5日(日)-7日(火) 開催形式：オンライン（Zoom）申込締切：8月31日（講演申込の方は8月25日）まで HP：https://sites.google.com/view/modeltheory2021/%E3%83%9B%E3%83%BC%E3%83%A0 世話人：池田宏一郎（法政大学，ikeda(at)hosei.ac.jp）補足：プログラムは8月末までに公開予定．

1 0

Call for Contributions - 1st Meeting Brazil-Colombia in Logic - December 14-17, 2021
by Diego A. Mejía 19 Aug '21

19 Aug '21

---------- Forwarded message --------- From: Pedro H. Zambrano <phzambranor(a)gmail.com> Date: Thu, Aug 19, 2021 at 9:29 AM Subject: [LOGBOG: 1002] Call for Contributions - 1st Meeting Brazil-Colombia in Logic - December 14-17, 2021 To: logbog <logbog(a)googlegroups.com>, <logic-list(a)helsinki.fi> ************************************************************ CALL FOR CONTRIBUTIONS 1st Meeting Brazil-Colombia in Logic (1o. Enc(ue-o)ntro de Logica Brasil-Col(o-ô)mbia) Online Meeting Universidad Nacional de Colombia at Bogotá – December 14-17, 2021 https://sites.google.com/unal.edu.co/i-enclogbracol/ No registration fee ************************************************************ The mathematical logic interactions between Colombian and Brazilian logicians have been strong for a long time and have a history of friendships and collaborations that go back several decades, and this was accomplished through (but not exclusively by) many SLALMs (Simposios Latino-Americano de Logica-Matematicas) and EBLs (Encontros Brasileiros de Lógica). With this "First Meeting Brazil-Colombia in Logic", we intend to initiate a new institutional phase of collaborations and exchange of experiences in areas involving Foundations of Mathematics between researchers and students from Brazil and Colombia: we hope this is the first of many events in the years to come! We are very glad to see some of the personages that have created this profound and rich interaction between Colombian and Brazilian logicians will be present in this meeting and that another generation of researchers and students have manifested its intention of carrying out and strengthening this bond. Confirmed Plenary Speakers: ************************* Xavier Caicedo (UniAndes, Bogotá, COL) Carlos Di Prisco (UniAndes, Bogotá, COL) Itala D’Ottaviano (CLE-UNICAMP, Campinas, BRA) Francisco Miraglia (IME-USP, São Paulo, BRA) Carlos Uzcátegui (UIS, Bucaramanga, COL) Confirmed Invited Speakers: ************************ Rodrigo Freire (UnB, Brasília, BRA) João Marcos (UFRN, Natal, BRA) Diego Mejía (Shizuoka University, JAP) Diana Montoya (University of Vienna, AUT) Tutorials: ******** Elaine Pimentel (UFRN, Natal, BRA) Darío Garcia (UniAndes, Bogotá, COL) The meeting (which will be held online) welcomes submissions of 25 minutes talks (20 minutes presentation + 5 minutes questions). We will accept submissions from all areas related to Logic (including Mathematical Logic, Philosophy and Computer Science). To facilitate the organization, the authors will be asked to declare whether the submitted work belongs to one of the following topics: · Categorial and Algebraic Logic · General Logic · Model Theory · Non-classical Logics · Proof Theory · Set Theory Depending on the number of accepted submissions, the authors may be required to pre-record their talks (sending us an editable link of the recording). Students (undergrads and grads) are encouraged to submit posters (10 minutes presentation). The languages of the meeting are: English, Spanish, Portuguese (we recommend the slides to be in English, but talks may be delivered in any of the mentioned languages). The LaTeX template for submissions (for both talks and posters) may be found at https://www.overleaf.com/read/vftjwhycpgsk The abstracts of the talks are expected to be 1-3 pages long, including references. After producing your .pdf file, you will be asked to upload it at https://forms.gle/Smwgv7kwLakSWTy7A The deadline for submissions is September 24, 2021 Accepted talks and posters will be announced on October 22, 2021 More information may be found at our page: https://sites.google.com/unal.edu.co/i-enclogbracol/ Scientific and Organizing Committee: Marcelo Coniglio (IFCH-Unicamp, Campinas, BRA) Hugo L. Mariano (IME-USP, São Paulo, BRA) Ciro Russo (UFBA, Salvador de Bahia, BRA) Samuel G. da Silva (UFBA, Salvador de Bahia, BRA) Andrés Villaveces (UNAL, Bogotá, COL) Pedro H. Zambrano (UNAL, Bogotá, COL) Partners: Sociedad Colombiana de Matemáticas Sociedade Brasileira de Lógica --- Pedro ZAMBRANO Associate Professor Department of Mathematics Universidad Nacional de Colombia Bogota, Colombia PBX + 57 1 316 5000 ext. 13163 sites.google.com/a/unal.edu.co/phzambranor -- Diego A. Mejía (PhD) Associate Professor Faculty of Science, Shizuoka University 836 Ohya, Suruga-ku, Shizuoka 422-8529 Japan Tel: +81-54-2384787

1 0

モデル理論夏の学校　参加登録（再確認）
by 池田宏一郎 11 Aug '21

11 Aug '21

kisoron-mlのみなさま法政の池田です．以下の通り，「モデル理論夏の学校」を開催します．申込締切は8月15日です．皆様の参加をお待ちしております．池田宏一郎（法政大学） ----------------------------- 日時：2021年9月5日(日)-7日(火) 開催形式：ハイブリッド形式（対面＋Zoom）会場：八王子セミナーハウス（各部屋１名で使用） HP：https://sites.google.com/view/modeltheory2021/%E3%83%9B%E3%83%BC%E3%83%A0 世話人：池田宏一郎（法政大学，ikeda(at)hosei.ac.jp）補足：感染状況により，全面オンライン開催に切り替える可能性があります． ---------------------

1 0

SLACS2021 (8月10日～11日) プログラム確定のお知らせ
by NAKAMURA Yoshiki 03 Aug '21

03 Aug '21

皆様（複数のメイリングリストに送信しています。重複して受信の際はご容赦ください。） SLACS2021幹事の中村誠希です。講演・参加の申し込みをいただき、どうもありがとうございました。 SLACS2021のプログラムが確定しましたのでお知らせします。詳細はウェブページからご確認ください。 https://sites.google.com/view/slacs2021/ なお、参加申し込みをされた方にのみ参加方法等に関する連絡をおこないますので、聴講のみを希望される方もお手数ですが以下のリンク先のフォームから申し込みをお願いいたします。 https://docs.google.com/forms/d/e/1FAIpQLSfzf88OgKBFIQhPNjIa4dNULu6FsQzuCRx… どうぞよろしくお願いいたします。 ==== 第38回記号論理と情報科学研究集会（SLACS2021） https://sites.google.com/view/slacs2021/ 期間 2021年8月10日（火）から2021年8月11日（水）場所オンライン（Zoom）参加費無料幹事東京工業大学中村誠希連絡先 slacs2021(a)gmail.com SLACSとは以下はSLACSのページの冒頭からの抜粋です。 http://www.math.s.chiba-u.ac.jp/SLACS/ 「SLACS（スラックス）は，記号論理学と情報科学の境界領域に関する研究発表・研究討論の場を提供することを目的にして開催されている研究集会です． 1985年1月に第１回が開催されて以来，毎年１回のペースで開催されています． SLACS は，堅苦しい研究会ではなく，その年の幹事を中心とした参加者自らの手作りによるフレンドリーな雰囲気を持った集会です．気軽に発表できる場ですから，研究が進行中の話題を持ってきて議論したり，学生さんが発表する場としても適当です．もちろん，発展を続けるこの分野の最先端の研究テーマに関する発表も数多く聞くことができます．参加者の資格は問いませんので，原則として，どなたでも講演発表・聴講いただけます．発表はごく少数の例外を除いて日本語です．」より詳しい情報はSLACSのページや最近の開催情報をご確認ください。 SLACS2020（Zoom） https://sites.google.com/view/slacs2020/ SLACS2019（京都大学） https://sites.google.com/view/slacs-2019/home SLACS2018 (北海道大学) https://sites.google.com/view/slacs-2018/home SLACS2017 (千葉工業大学) http://super.para.media.kyoto-u.ac.jp/~abet/slacs2017/index.html SLACS2016 (名古屋大学) http://www.st.nanzan-u.ac.jp/info/sasaki/2016slacs/SLACS2016.html

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml August 2021