Kisoron-ml

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

599 discussions

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 23 Aug '21

23 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

モデル理論夏の学校　参加登録
by 池田宏一郎 27 Jul '21

27 Jul '21

1 0

2021年度数学基礎論サマースクールのご案内
by Katsumi Sasaki 22 Jul '21

22 Jul '21

みなさま　南山大の佐々木です．　2021年度数学基礎論サマースクールのウェブサイト：　　http://www.st.nanzan-u.ac.jp/info/sasaki/2021summerschool/sc2021.html で，参加申し込みなどの案内を更新しています．興味のありそうな方に周知いただけるとありがたいです， -- Katsumi Sasaki <sasaki(a)nanzan-u.ac.jp>

1 0

SLACS2021 (8月10日～11日) 講演・参加募集のお知らせ
by NAKAMURA Yoshiki 18 Jul '21

18 Jul '21

皆様（複数のメイリングリストに送信しています。重複して受信の際はご容赦ください。）東京工業大学の中村誠希と申します。 SLACS2021の講演募集を以下のとおり行います。ご検討よろしくお願いいたします。第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 参加申込方法：講演・聴講を希望される方は、以下のフォームからお申し込みください。申込をされた方に、参加方法等の連絡をおこないます（聴講のみを希望される方も申込をお願いいたします）。 https://docs.google.com/forms/d/e/1FAIpQLSfzf88OgKBFIQhPNjIa4dNULu6FsQzuCRx… 講演申込期限は **2021年7月26日（月）** とします。講演する意思があるという方は早めにご連絡いただけると幸いです。

1 1

（理事長メッセージ）コワレフスカヤ基金援助
by Masaru KADA 14 Jul '21

14 Jul '21

kisoron-ml のみなさま：連絡責任評議員嘉田です。 ICM2022コワレフスカヤ基金援助日本推薦の募集について、日本数学会理事長から下記の通知がありましたので、お知らせします。 ======== 分科会評議員各位特別セッション責任者各位平素より日本数学会の活動にご協力いただきまして有難うございます． ICM2022コワレフスカヤ基金援助日本推薦の募集について https://www.mathsoc.jp/publicity/icm2022/kovalevskaya/ のメーリングリストへの周知をお願いいたします．日本数学会(協力:日本応用数理学会)は，国際数学者会議(International Congress of Mathematics=ICM) 2022における Local Organizing Committee(=LOC)との協定に基づき，学位(博士)取得後１０年以内の有望研究者を本会が推薦することによって， 2022年7月6日〜14日にロシア・サンクトペテルブルクにて開催されるICM2022に参加のための資金援助を行います．４年に一度開催されるICMに多くの若手研究者が参加することによって，我が国の数学研究の深化を促進し，海外の研究者との国際交流を通じて世界の数学の発展に貢献することを目的としています. 詳しくは上記URLをご覧下さい．日本数学会では， 8月1日〜9月30日にLOCに推薦をする研究者を募集します．・募集要項 https://www.mathsoc.jp/assets/file/publicity/icm2022/kovalevskaya/guideline… ・申請書 https://www.mathsoc.jp/publicity/icm2022/kovalevskaya/ https://www.mathsoc.jp/assets/file/publicity/icm2022/kovalevskaya/form.pdf つきましては，各分科会および特別セッションのメーリングリストにて上記の情報，URL等を周知して頂くとともに，適任者に応募を勧めて頂きますようよろしくお願い申し上げます．何卒，分科会評議員・特別セッション責任者の皆様のご理解とご協力を賜われば幸いに存じます．日本数学会理事長清水扇丈 ======== 嘉田勝 -------- Masaru KADA （嘉田勝） kada(a)mi.s.osakafu-u.ac.jp --------

1 0

← Newer
1
...
13
14
15
16
17
18
19
...
60
Older →

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml