Kisoron-ml March 2022

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

5 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

Fwd: 会報１８５号の原稿依頼
by Yoshihito Tanaka 30 Mar '22

30 Mar '22

kisoron-mlの皆様，連絡責任評議員の田中義人です．下記および添付ファイルのように，日本数学会理事長名で，会報185号の原稿依頼を受けています．会報185号（数学通信27巻1号中に掲載）上で，全会員にお知らせする事項がありましたら，連絡責任評議員（田中義人）まで，ご連絡ください．数学会編集部への締切が4月8日ですので，それに間に合うようにお願いいたします． ******************************** 田中義人九州産業大学経済学部 813-8503 福岡市東区松香台2-3-1 092-673-5216 (直通) e-mail: ytanaka(a)ip.kyusan-u.ac.jp ********************************* ----- Original Message ----- 件名: 会報１８５号の原稿依頼送信者: "「数学通信」編集部" <msj-tushin(a)mathsoc.jp> 送信日時: 2022年03月30日(水) 13:04:54 宛先: msj-tushin(a)mathsoc.jp 2022年度分科会連絡責任評議員の皆さま　（bccでお送りしています）いつも大変お世話になっております。３月２８日に開催されました評議員会の資料としてすでにお受け取りいただいているかと存じますが、会報１８５号（「数学通信」２７巻１号）のご投稿について改めてお願い申し上げます。「数学通信」誌上で全会員にお知らせする事項がございましたら、下記アドレスまでご投稿をお願いいたします。締切：２０２２年４月８日（金）宛先：msj-tushin(a)mathsoc.jp 詳細は添付のPDFファイルをご覧ください。どうぞよろしくお願い申し上げます。なお、このメールは新年度分科会連絡責任評議員の皆さまにお送りしております。すでにご投稿いただきました場合には、重複してのお願いとなり、誠に恐れ入りますが今回のお願いにつきましてはご放念ください。日本数学会「数学通信」編集部 *

1 0

数学基礎論および歴史分科会総会ご報告
by Yoshihito Tanaka 30 Mar '22

30 Mar '22

kisoron-mlの皆様，連絡責任評議員の田中義人です． 3月29日に開催されました．分科会総会についてご報告いたします． [1] 評議員および運営委員等 [2] 主な研究集会 [3] 年会・秋季総合分科会 [4] シンポジウム・研究集会記録 [5] 企画特別講演，特別講演の録画配信 ==== [1] 評議員および運営委員等現在の評議員および運営委員等は以下のとおりです（括弧内は任期）．分科会の運営についてのご意見は，評議員または運営委員へどうぞ．評議員田中義人連絡責任評議員・非古典論理【2023.2】酒井拓史受賞候補推薦評議員・集合論【2024.2】運営委員等池上大祐分科会選出「数学」編集委員【2023.6】田村誠歴史（留任）【2023.2】田中紀子歴史（留任）【2023.2】桔梗宏孝モデル論（留任）【2023.2】横山啓太証明論および計算論（新規）【2023.2】 ==== [2] 主な研究集会数学基礎論若手の会・世話人：ディエゴ・メヒア（静岡大学）数学基礎論サマースクール（モデル理論）・開催方法：遠隔（ZOOM）・日程：2022年9月7日（水）〜9月9日（金）・幹事：米田郁生(徳山高専) 他・https://sites.google.com/view/kisoronsummerschool2022/home SAML2022 ・開催地：京都大学数理解析研究所・日程：6月21日（火）〜6月24日（金）・世話人：嘉田勝（大阪公立大学） ==== [3] 年会・秋季総合分科会 2022年度秋季総合分科会・北海道大学・9月13日（火）〜9月16日（金） 2023年度年会・中央大学・3月15日（水）〜3月18日（土） 2023 年度秋季総合分科会・東北大学・9月20日（水）〜9月23日（土） ==== [4] シンポジウム研究集会記録雑誌「数学」編集部より，以下に該当するシンポジウム・研究集会記録の原稿募集の依頼がありました．開催期間：2021年4 月1日から2022年3月31日まで開催地：日本国内（オンライン開催も含む）原則として20人以上の集会，または(20人以下でも) 報告集のある集会該当するシンポジウム・研究集会の幹事の方は，連絡責任評議員（田中義人：ytanaka(a)ip.kyusan-u.ac.jp) まで，以下の事項をご報告いただけると助かります．名称（主題）と主催者（所属）開催場所と開催時期報告集の有無と入手可能な場合の連絡先（氏名と所属）数学会編集部への締切：5月31日（「数学」4号に掲載予定） ==== [5] 企画特別講演，特別講演の録画配信企画特別講演：会員に加えて非会員も会員による紹介で録画視聴可能特別講演：会員のみ録画視聴可能録画視聴，ゲスト視聴申し込みの情報は年会のページに掲載（会員にのみ公開）

1 0

(fwd) Call for 10 PhD Positions in Computer Science at TU Wien, Vienna, Austria
by Norbert Preining 29 Mar '22

29 Mar '22

皆さんプライニング＠富士通研究です。ウィーン工科大学で「full time」（給料があり）のPhD１０こを募集しています。素晴らしいCSと数学論理学の場所なので、興味がある方を知りましたら、ぜひお伝えください。申請締め切りは4月末です。質問など遠慮なくプライニングへ (メール： norbert(a)preining.info) よろしくお願いいたします。プライニング ----- Forwarded message from Agata Ciabattoni ----- > Second Call for Applications > > The novel interdisciplinary Marie Skłodowska-Curie COFUND doctoral training > programme LogiCS@TUWien – Logics for Computer Science Program at TU Wien, > co-funded by the European Commission, offers *10* full-time PhD positions. > > The program is hosted by TU Wien, one of the most successful technical > Universities in Europe and the largest one in Austria. The Faculty of > Informatics of TU Wien is a leading research and teaching institution which > consistently ranks among the top 100 computer science faculties in the > global Times Higher Education ranking. In the heart of Europe, Vienna has a > prominent history in mathematics, computer science, and logic research, and > offers one of the highest living standards in the world. > > The programme provides a 4-year doctoral training for international PhD > candidates within an English-language curriculum. The doctoral positions are > open to international high-potential early-stage researchers with a strong > background in Logical Methods in Computer Science and > their applications in areas like Artificial Intelligence, Databases, > Verification, Algorithms, Knowledge Representation and Computational Logic. > > Each PhD candidate will be supervised by at least one of the LogiCS@TUWien > professors, see > > http://www.vcla.at/msca/supervisors/. > > We are looking for exceptional candidates to allocate twenty positions as a > university assistant (Pre-Doc) for 4 years for 40 hours/week. Expected start: > June-September 2022. > > > > Your tasks: > > Deepening of scientific knowledge and independent research work on the > specific PhD topic > Collaboration on current research projects > Preparation of scientific publications and a PhD thesis in English > Presentation of research results at international conferences and other > scientific events > Successful completion of important milestones of the program, see > http://www.vcla.at/msca/training/ > Participation in events organized by the program LogiCS@TUWien > > Your profile: > > Completion of a Masters and Bachelor degree or equivalent in computer > science, computational > logic, discrete mathematics or related disciplines, with outstanding > academic performance > Previous research experience in the subjects of the specific project is > highly desirable, see for details http://www.vcla.at/msca/topics/ > Excellent skills in English communication and writing > Active readiness for scientific collaboration > Team competences and problem-solving skills > Positive attitude and contribution to the work environment > Striving for continuous personal development > > We offer: > > Diverse and exciting research projects on cutting edge topics, see > http://www.vcla.at/msca/topics/ > Continuing personal and professional education and flexible working hours > High-quality supervision by renowned professors > Ample possibilities for building an international research network, doing > internships, and establishing research collaborations > Very competitive salary > Administrative support in study and life questions > Central location with excellent accessibility (U1/U2/U4 Karlsplatz) in a > city regularly ranked first worldwide for life quality > > > > TU Wien is committed to increasing female employment in leading scientific > positions. Female candidates are explicitly encouraged to apply. Preference will > be given when equally qualified. > > People with special needs are equally encouraged to apply. In case of any > questions, please contact the confidant for disabled persons at the university. > > Entry level salary as a predoctoral researcher is covered by level B1 of the > Austrian Collective Agreement for university staff, and receives a minimum of > currently EUR 2971,50/month gross (14 times/year) for 40 hours/week. > > NOTE: Please make sure to state in your motivation letter which research > projects (among http://www.vcla.at/msca/topics/) are your 1st, 2nd and 3rd > choice. > > Please check eligibility criteria such as MSCA mobility rule, early-stage > researchers and PhD qualification, see http://www.vcla.at/msca/apply. > > > For more detail please check our website http://www.vcla.at/msca/programme/ > > We look forward to receiving your application until 30.04.2022. ----- End forwarded message ----- -- PREINING Norbert https://www.preining.info Fujitsu Research + IFMGA Guide + TU Wien + TeX Live GPG: 0x860CDC13 fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13

1 0

数学基礎論および歴史分科会特別講演および総会Zoomミーティング情報
by Yoshihito Tanaka 28 Mar '22

28 Mar '22

kisoron-mlの皆様，連絡責任評議員の田中義人です．数学基礎論および歴史分科会の特別講演および総会が，Zoomで実施されます．また企画特別講演もZoomで実施されます．皆様のご参加をお願い申し上げます．また，企画特別講演については，数学会非会員の方も録画されたものをゲスト視聴することが可能です（ゲスト視聴のための申し込みアドレスは会員にのみ公開されています）．これらの視聴情報等は以下のページからアクセスすることができます（会員限定）： https://app.mathsoc.jp/meeting/saitama22mar/video/ よろしくお願いいたします． ********************************* 田中義人九州産業大学経済学部 813-8503 福岡市東区松香台2-3-1 092-673-5216 (直通) e-mail: ytanaka(a)ip.kyusan-u.ac.jp *********************************

2 1

雑誌「数学」シンポジウム・研究会記録について
by Yoshihito Tanaka 28 Mar '22

28 Mar '22

kisoron-mlの皆様，連絡責任評議員の田中義人です．雑誌「数学」編集部より，以下に該当するシンポジウム・研究集会記録の原稿募集の依頼がありました：開催期間： 2021年4月1日から2022年3月31日まで開催地：日本国内（オンライン開催も含む）原則として20人以上の集会，または (20人以下でも) 報告集のある集会該当するシンポジウム・研究集会の幹事の方は，連絡責任評議員田中義人：ytanaka(a)ip.kyusan-u.ac.jp まで，以下の事項をご報告いただけると助かります：名称（主題）と主催者（所属）開催場所と開催時期報告集の有無と入手可能な場合の連絡先（氏名と所属）数学会編集部への締切が，5月31日（「数学」4月号に掲載予定）ですので，それまでにお送りください．以上，よろしくお願いいたします． ********************************* 田中義人九州産業大学経済学部 813-8503 福岡市東区松香台2-3-1 092-673-5216 (直通) e-mail: ytanaka(a)ip.kyusan-u.ac.jp *********************************

2 2

“女性だれでも懇談会”のお知らせ
by Yoshihito Tanaka 10 Mar '22

10 Mar '22

数学基礎論および歴史分科会評議員の田中義人です．篠田万穂先生の代理で投稿いたします：数学基礎論および歴史分科会の皆様, 日本数学会2022年度年会(於:埼玉大学, オンライン開催)にて, “女性だれでも懇談会” を以下の要領で開催することをお知らせ致します． ****************************** 女性だれでも懇談会 https://www.mathsoc.jp/activity/meeting/saitama22mar/news20211214.html 日時: 2022年3月27日(日) 9:30-10:30 (出入り自由) 会場: Zoom にて開催（URL は参加登録者にお知らせします．）対象: 女性研究者(大学院生の方も歓迎) 趣旨: 意見交換・情報交換を目的とする. 参加登録URL：https://forms.gle/BzPMtYsupwrzSWLh9 ****************************** 会議ではなく懇談を趣旨とした女性研究者限定のイベントです．お近くの女性数学者・学生へもご案内いただけましたら幸いです．どうぞよろしくお願いいたします．日本数学会男女共同参画社会推進委員会石田祥子(千葉大学），篠田万穂（お茶の水女子大学，問い合わせ先：shinoda.mao[at]ocha.ac.jp）

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml March 2022