Kisoron-ml

1 participants
589 discussions

Kobe Set Theory Workshop 2021 -- on the occasion of Sakaé Fuchino's retirement --
by Hiroshi SAKAI 01 Mar '21

01 Mar '21

皆様：（度々申し訳ございません．昨日お送りしたアナウンスで， Workshop の講演者に誤りがありましたので，案内を再送させていただきます．）神戸大学の酒井拓史です．昨年3月に渕野昌先生が神戸大学を退職され，それにあわせた研究集会をこのメーリングリストでもアナウンスさせていただきましたが，新型コロナウイルス感染拡大で延期となっておりました．この度，改めて以下のようにオンライン研究集会を開催することとなりましたので，アナウンスさせていただきます． Kobe Set Theory Workshop 2021 — on the occasion of Sakaé Fuchino’s retirement — (Online Workshop via ZOOM) 日程：3月9日(火) — 3月11日(木) ホームページ： http://www2.kobe-u.ac.jp/~hsakai/Fuchino2021/ <http://www2.kobe-u.ac.jp/~hsakai/Fuchino2021/> 講演者： - 渕野昌 (神戸大学) - Joan Bagaria (University of Barcelona) - Joel David Hamkins (Oxford University) - Paul Larson (Miami University) - David Aspero (University of East Anglia) - Piotr Borodulin-Nadzieja (University of Wrocław) - Andrew Brooke-Taylor (University of Leeds) - Chris Lambie-Hanson (Virginia Commonwealth University) - 依岡輝幸 (静岡大学) - 薄葉季路 (早稲田大学) - 池上大祐 (芝浦工業大学) - Diego Mejia (静岡大学) 参加方法：以下のリンクから事前にご登録ください． https://kobe-u-ac-jp.zoom.us/meeting/register/tZYqde2oqjstH9QW5CXr6eWuUM3oM… <https://kobe-u-ac-jp.zoom.us/meeting/register/tZYqde2oqjstH9QW5CXr6eWuUM3oM…> ご登録後，1日以内にこちらで登録を承認いたします．その後，ZOOM Meeting link がメールで送られますので， Workshop 当日に web browser で link にアクセスしてください．プログラム等の詳細はホームページをご覧ください．また，不明な点がありましたら，酒井までお問い合わせください．連絡先： hsakai(a)people.kobe-u.ac.jp <mailto:[email protected]> 年度末のお忙しい折かと思いますが，皆様のふるってのご参加をお待ちしております．神戸大学大学院システム情報学研究科准教授酒井拓史 E-mail: hsakai(a)people.kobe-u.ac.jp <mailto:[email protected]> Tel: 078-803-6245

1 0

Kobe Set Theory Workshop 2021 -- on the occasion of Sakaé Fuchino's retirement --
by Hiroshi SAKAI 28 Feb '21

28 Feb '21

皆様：神戸大学の酒井拓史です．昨年3月に渕野昌先生が神戸大学を退職され，それにあわせた研究集会をこのメーリングリストでもアナウンスさせていただきましたが，新型コロナウイルス感染拡大で延期となっておりました．この度，改めて以下のようにオンライン研究集会を開催することとなりましたので，アナウンスさせていただきます． Kobe Set Theory Workshop 2021 — on the occasion of Sakaé Fuchino’s retirement — (Online Workshop via ZOOM) 日程：3月9日(火) — 3月11日(木) ホームページ： http://www2.kobe-u.ac.jp/~hsakai/Fuchino2021/ <http://www2.kobe-u.ac.jp/~hsakai/Fuchino2021/> 講演者： - 渕野昌 (神戸大学) - Joan Bagaria (University of Barcelona) - Joel David Hamkins (Oxford University) - Paul Larson (Miami University) - David Aspero (University of East Anglia) - Piotr Borodulin-Nadzieja (University of Wrocław) - Chris Lambie-Hanson (Virginia Commonwealth University) - 依岡輝幸 (静岡大学) - 薄葉季路 (早稲田大学) - 池上大祐 (芝浦工業大学) - Diego Mejia (静岡大学) 参加方法：以下のリンクから事前にご登録ください． https://kobe-u-ac-jp.zoom.us/meeting/register/tZYqde2oqjstH9QW5CXr6eWuUM3oM… <https://kobe-u-ac-jp.zoom.us/meeting/register/tZYqde2oqjstH9QW5CXr6eWuUM3oM…> ご登録後，1日以内にこちらで登録を承認いたします．その後，ZOOM Meeting link がメールで送られますので， Workshop 当日に web browser で link にアクセスしてください．プログラム等の詳細はホームページをご覧ください．また，不明な点がありましたら，酒井までお問い合わせください．連絡先： hsakai(a)people.kobe-u.ac.jp <mailto:[email protected]> 年度末のお忙しい折かと思いますが，皆様のふるってのご参加をお待ちしております．神戸大学大学院システム情報学研究科准教授酒井拓史 E-mail: hsakai(a)people.kobe-u.ac.jp <mailto:[email protected]> Tel: 078-803-6245

1 0

2020年度数学基礎論若手の会
by Daisuke Ikegami 19 Feb '21

19 Feb '21

（重複して受け取られた方はご容赦ください）みなさま芝浦工業大学の池上と申します。 2020年度数学基礎論若手の会を以下の要領で開催いたします。日時：2021年3月26日(金) - 3月28日(日) 場所：オンライン開催参加方法など、詳細は https://sites.google.com/view/younglogicians2020/ をご覧ください。多くのみなさまのご参加をお待ちしております。池上大祐

1 0

学術振興会の聴取に関する周知
by Katsumi Sasaki 18 Feb '21

18 Feb '21

kisoron-mlのみなさま　お世話になります．　日本数学会数学基礎論および歴史分科会評議員の佐々木です．　　標記の件ですが，日本数学会理事長経由で，後述の周知依頼がきています．聴取は締め切りが3月1日とたいへんタイトな日程となっておりますが，ご検討いただけると幸いです．佐々木克巳 ******************************************************** 日本数学会理事長　寺杣友秀先生日本学術振興会では現在、令和５(2023)年度科研費の公募にむけての検討に際し「審査区分表の見直し」に係る意見の聴取を広く行なっております。 https://www.jsps.go.jp/j-grantsinaid/02_koubo/shinsakubun_uketsuke.html <https://www.jsps.go.jp/j-grantsinaid/02_koubo/shinsakubun_uketsuke.html> 数学にとって科研費は非常に重要な競争的研究資金であり、高い関心をお持ちの方も多いかと存じます。もしできましたらメーリングリストなどを通して周知をして頂ければ幸甚です。提出期限が3月1日になっており、あまり時間がなく恐縮ですが、どうぞよろしくご高配の程、お願い申し上げます。日本学術振興会学術システム研究センター専門研究員木村　芳文栗原　将人中川　泰宏 -- Katsumi Sasaki <sasaki(a)nanzan-u.ac.jp>

1 0

Louis de Broglie
by logic 04 Feb '21

04 Feb '21

この前、ご案内しましたドブロイの学位論文（フランス語）の英訳、先月出版されました。こちらから入手可能です。 https://www.amazon.co.jp/Research-Theory-Quanta-Louis-Broglie/dp/1927763983… にしむら https://www.researchgate.net/profile/Hirokazu_Nishimura https://www.youtube.com/watch?v=0LFVxavjHfw

1 0

日本数学会　２０２１年度奨励研究生の募集について
by Katsumi Sasaki 21 Dec '20

21 Dec '20

関係のみなさま　お世話になります．　日本数学会数学基礎論および歴史分科会連絡責任評議員の佐々木です．　標記の募集が11月1日より開始されています．詳細は，数学会ウェブサイト　　https://www.mathsoc.jp/publicity/news20201012/2021shourei.html にあります．このサイトでは，募集期限は1月12日となっていますが，　　1月25日（月）まで延長の予定だそうです．　該当する方はご検討いただければありがたいです．佐々木克巳

1 0

12月18日の談話会・数理科学講演会
by Katsumi Sasaki 14 Dec '20

14 Dec '20

関係のみなさま新井敏康先生 (東京大学大学院数理科学研究科)が12月18日に東京大学大学院数理科学研究科の談話会・数理科学講演会で講演されるそうです．詳細は以下のとおりです． https://www.ms.u-tokyo.ac.jp/seminar/colloquium/index.html 日本数学会数学基礎論および歴史分科会評議員佐々木克巳

1 0

渕野先生の最終講義動画について
by Hiroshi SAKAI 03 Dec '20

03 Dec '20

皆様：神戸大学の酒井拓史です．今年３月に神戸大学を退職された渕野昌先生の最終講義動画についてアナウンスさせていただきます．渕野先生の最終講義と，それに合わせた研究集会を，今年３月に予定していましたが，新型コロナウイルス感染拡大の影響で，残念ながら延期となっておりました．この度，神戸大学工学部のホームカミング月間併催企画として，渕野先生の最終講義が以下のページで動画配信されることになりました．神戸大学工学部ホームカミングデー特設サイト http://www.office.kobe-u.ac.jp/plan-hcd-online/engineering/index.html <http://www.office.kobe-u.ac.jp/plan-hcd-online/engineering/index.html> 最終講義の Youtube 動画ページ https://youtu.be/itBTKEK1t5Y <https://youtu.be/itBTKEK1t5Y> 最終講義では，集合論の基礎的な内容から始めて，渕野先生の最近の研究成果や今後の研究課題が紹介されており，先生の研究が集合論の大きな流れの中でどのような位置付けにあるかが分かるものになっています．一般向けの講義ですが，専門家の皆様にも見応えのあるものになっていると思いますので，ぜひご覧ください．また，延期になっていた研究集会も，何らかの形で開催できればと思っております．こちらについては，改めてこちらでアナウンスさせていただこうと思っております．よろしくお願いいたします．神戸大学大学院システム情報学研究科准教授酒井拓史 E-mail: hsakai(a)people.kobe-u.ac.jp <mailto:[email protected]> Tel: 078-803-6245

1 1

[First call for papers] CiE 2021: Connecting with computability, 5 – 9 July 2021
by Ishihara Hajime 26 Nov '20

26 Nov '20

(Apologies for multiple postings.) ========================= FIRST CALL FOR PAPERS: ========================= CiE 2021: Connecting with computability 5 – 9 July 2021 website: www.CiE2021.ugent.be **Due to the current pandemic CiE 2021 will be held as a virtual conference.** CiE 2021 is the seventeenth conference organized by the Association Computability in Europe. The /Computability in Europe/ conference (CiE) series has built up a strong tradition for developing a scientific program which is interdisciplinary at its core bringing together all aspects of computability and foundations of computer science, as well as the interplay of these theoretical areas with practical issues in CS and other disciplines such as biology, mathematics, history, philosophy, and physics. For more information about the CiE conferences and the Association CiE, please have a look at: https://www.acie.eu/. CiE 2021 will be the second CiE conference that is organized as a virtual event and aims at a high-quality meeting that allows and invites active participation from all participants. It will be hosted virtually by Ghent University. Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010), Sofia (2011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest (2015), Paris (2016), Turku (2017), Kiel (2018), Durham (2019) and virtually in Salerno (2020) PLENARY SPEAKERS ========================= Laura Crosilla (University of Oslo, Norway) Markus Lohrey (Universität Siegen. Germany) Russell Miller (tutorial speaker, CUNY, US) Joan Rand Moschovakis (UCLA, US) Joël Ouaknine (Max Planck Institute for software systems, Germany) Christine Tasson (tutorial speaker, Université Paris Diderot, France) Keita Yokoyama (Japan Advanced Institute of Science and Technology, Japan) Henry Yuen (University of Toronto, Canada) SPECIAL SESSIONS ========================= /Classical Computability theory: Open problems and solutions/ Noam Greenberg (Victoria University of Wellington, New Zealand) and Steffen Lempp (University of Wisconsin) /Proof theory and computation/ David Fernández Duque (Ghent University, Belgium) and Juan Pablo Aguilera (Ghent University, Belgium) /Quantum computation and information/ Harry Buhrman (Universiteit van Amsterdam, Netherlands) and Frank Verstraete (Ghent University, Belgium) /Church's thesis in constructive mathematics (HaPoC session)/ Marianna Antonutti-Marfori (Ludwig-Maximilians-Universität München, Germany) and Alberto Naibo (Université Paris 1 Panthéon-Sorbonne) /Computational geometry/ Maike Buchin (Ruhr-Universität Bochum, Germany) and Maarten Löffler (Utrecht University, Netherlands) /Computational Pangenomics/ Nadia Pisanti (University of Pisa, Italy) and Solon Pissis (University of Amsterdam, Netherlands) WOMEN IN COMPUTABILITY ========================= The Computability in Europe conference series has a long tradition in setting up a Women in Computability program. For CiE 2021 we plan a Women in Computability workshop combined with an online mentoring program. For more details on the Special Interest Group Women in Computability, see: https://www.acie.eu/cie-conference-series/cie-cs-women-in-computability/ IMPORTANT DATES: ========================= Deadline for article registration (abstract submission): January 17, 2021 Deadline for article submission: February 5, 2021 Notification of acceptance: April 13, 2021 Final versions due: April 27, 2021 Deadline for informal presentations submission: May 1, 2021 The notifications of acceptance for informal presentations will be sent a few days after submission. ORGANIZED BY: ========================= Department of Mathematics WE16, Ghent University Organizing Committee: a (Ghent University) David Bélanger (Ghent University) Liesbeth De Mol (CNRS, Université de Lille) David Fernández-Duque (chair, Ghent University) Fedor Pakhomov (Ghent University) Frederik Van De Putte (Ghent University) Andreas Weiermann (Ghent University) CONTRIBUTED PAPERS: ========================= The Programme Committee cordially invites all researchers (European and non-European) to submit their papers in computability related areas for presentation at the conference and inclusion in the proceedings. Papers building bridges between different parts of the research community are particularly welcome. Papers should be in English and anonymized. They must be submitted in PDF format, using the LNCS style (available at ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip) and should have a maximum of 10 pages, including references but excluding a possible appendix in which one can include proofs and other additional material. Authors should submit their papers electronically using EasyChair: https://easychair.org/conferences/?conf=cie2021 Abstracts should be submitted by January 17th 2021, followed by the full papers to be submitted by February 5 2021. Each submitted paper will be peer-reviewed by a panel of PC members based on originality, significance, technical soundness, clarity of exposition, and relevance for the conference. For each accepted paper, at least one author is required to register for the conference and should plan to present the paper. The CONFERENCE PROCEEDINGS will be published with LNCS, Springer Verlag. INFORMAL PRESENTATIONS: ========================= Continuing the tradition of past CiE conferences, in addition to the formal presentations based on the LNCS proceedings volume, CiE 2021 will host a track of informal presentations, that are prepared very shortly before the conference and inform the participants about current research and work in progress. The deadline for the submission of abstracts for informal presentations is May 1st, 2021. PROGRAMME COMMITTEE ========================= Marianna Antonutti Marfori (Ludwig Maximilian University of Munich) Nathalie Aubrun (CNRS, Université Paris-Saclay) Christel Baier (TU Dresden) Nikolay Bazhenov (Sobolev Institute of Mathematics) Marie-Pierre Béal (Université Paris-Est) Arnold Beckmann (Swansea University) David Bélanger (Ghent University) Joel Day (Loughborough University) Liesbeth De Mol (CNRS, Université de Lille, PC co-chair) Carola Doerr (Sorbonne University, CNRS) Jérôme Durand-Lose (Université d'Orléans) David Fernández-Duque (Ghent University) Zuzana Haniková (Academy of Sciences of the Czech Republic) Mathieu Hoyrup (LORIA) Assia Mahboubi (INRIA) Florin Manea (University of Göttingen) Irène Marcovici (Université de Lorraine) Klaus Meer (BTU Cottbus-Senftenberg) Ludovic Patey (Institut Camille Jordan) Cinzia Pizzi (University of Padova) Giuseppe Primiero (University of Milan) Simona Ronchi Della Rocca (Università di Torino) Paul Schafer (University of Leeds) Svetlana Selivanova (KAIST) Monika Seisenberger (Swansea University) Alexander Shen (CNRS & Univ. Montpellier 2) Alexandra Soskova (Sofia University) Mariya Soskova (University of Wisconsin-Madison) Frank Stephan (National University of Singapore) Peter Van Emde Boas (Universiteit van Amsterdam) Sergey Verlan (Université Paris Est - Créteil Val de Marne) Andreas Weiermann (Ghent University, PC co-chair) Damien Woods (Maynooth University)

1 0

証明論研究集会2020のご案内
by ikeda 21 Nov '20

21 Nov '20

（複数のメーリングリストにお送りしています．重複してお受け取りの際はご容赦ください）皆様 2020年度の証明論研究集会のご案内をお送りさせていただきます．現在の新型コロナの感染拡大状況を鑑みて，今回の研究集会はオンラインで開催する予定です．講演は，証明論に限らず，数理論理学とその周辺を含めた分野から，幅広く募集しています．多くの方のご参加・ご講演をお待ちしています． --------------------------------------------------------------------------------- 研究集会：証明論研究集会2020 日程：2020年12月19日（土）-12月20日（日）場所：オンライン Webページ：https://www.kyorin-u.ac.jp/univ/user/health/proof_theory-2020/ 講演を希望される方も，参加のみを希望される方も12月7日(月) 17:00までに， ikedak(a)ks.kyorin-u.ac.xn--jp,-u63b4b3ai1g9d5a01b2131a7kcs21e9wzf2tvan26ezw3a. 氏名：所属： e-mailアドレス：講演の有無：（講演有の場合は，タイトルと講演時間や講演日時等のご希望）杏林大学池田一磨 -- ikeda <ikedak(a)ks.kyorin-u.ac.jp>

1 1

← Newer
1
...
14
15
16
17
18
19
20
...
59
Older →

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml