Kisoron-ml August 2023

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

5 participants
7 discussions

数学通信で周知する研究集会等の情報
by Hiroshi SAKAI 29 Aug '23

29 Aug '23

皆様：数学会「数学基礎論および歴史分科会」評議員の酒井拓史です．数学通信28巻3号（11月2日発送予定）で数学会会員に周知を希望する研究集会等がありましたら，その情報を酒井までお寄せください．研究集会の場合は，以下の情報のご連絡をお願いします．　集会名・日程・会場・幹事・連絡先・ホームページ連絡期限と連絡先は以下の通りです．　締切：9月25日(月) 　連絡先：hsakai(a)people.kobe-u.ac.jp <mailto:hsakai@people.kobe-u.ac.jp> よろしくお願いいたします．酒井拓史

1 0

Continuity, Computability, Constructivity - From Logic to Algorihms (CCC 2023), September 25-29, Kyoto
by Akitoshi Kawamura 27 Aug '23

27 Aug '23

皆様京都大学の河村と申します。今年9月25日～29日に京都で開催される Continuity, Computability, Constructivity – From Logic to Algorithms (CCC 2023) の講演募集をお送りいたします。投稿締切は7月31日です。 ------------------------------------------------------ CALL FOR CONTRIBUTIONS: CCC 2023: Continuity, Computability, Constructivity – From Logic to Algorithms Research Institute for Mathematical Sciences, Kyoto University Kyoto, Japan, September 25 - 29, 2023 Conference website: https://www.i.h.kyoto-u.ac.jp/ccc2023/ ============================================== Submission link: https://easychair.org/conferences/?conf=ccc2023 Deadline for Submissions July 31, 2023 Extended abstracts (1-2 pages) of original work should be submitted in pdf format. ==================================================== CCC is a workshop series that brings together researchers applying logical methods to the development of algorithms, with a particular focus on computation with infinite data, where issues of continuity, computability and constructivity play major roles. Specific topics include exact real number computation, computable analysis, effective descriptive set theory, constructive analysis, and related areas. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and other continuous data, which are of increasing importance in safety critical applications and scientific computation. Previous workshops have been held in Cologne 2009, Trier 2012, Gregynog 2013, Ljubljana 2014, Kochel 2015, Nancy 2017, Faro 2018, Ljubljana 2019, Faro 2020 (online), Birmingham 2021 (online), and Padova 2022. ======================================================== Invited Speakers: Takako Nemoto (Tohoku University, Sendai, JP) Linda Westrick (Penn State University, USA) Alexander G. Melnikov (Victoria University of Wellington, NZ) Siegfried M. Rump (Hamburg University of Technology, DE) ======================================================== Contributions The workshop invites all contributions relating to computation where issues of continuity, computability and constructivity play major roles. Specific areas of interest include: Exact real number computation Correctness of algorithms on infinite data Computable analysis Complexity of real numbers, real-valued functions, etc. Effective descriptive set theory Domain theory Constructive analysis and topology Constructive foundations Category-theoretic approaches to computation on infinite data Weihrauch degrees Other related areas Participation is open both in presence and online. ===================================================================== Programme Committee Ulrich Berger (Swansea, UK) Daniel Graça (Faro, Portugal) Takayuki Kihara (Nagoya, Japan) Milly Maietti (Padua, Italy) Norbert Müller (Trier, Germany) (chair) Sewon Park (Kyoto, Japan) Svetlana Selivanova (Novosibirsk, Russia) Chuangjie Xu (Munich, Germany) Martin Ziegler (KAIST, Republic of Korea) Organizing Committee Matthew de Brecht (Kyoto, Japan) Akitoshi Kawamura (Kyoto, Japan) (co-chair) Sewon Park (Kyoto, Japan) Holger Thies (Kyoto, Japan) (co-chair) Hideki Tsuiki (Kyoto, Japan) Takao Yuyama (Kyoto, Japan)

1 1

日韓数学会合同 MSJ-KMS Joint Meeting のお知らせ
by Hiroshi SAKAI 25 Aug '23

25 Aug '23

皆様：数学会「数学基礎論および歴史分科会」評議員の酒井拓史です．東北大学で開催される日本数学会秋季総合分科会に合わせて，下記のように日韓数学会合同の集会が開催されます． ***************************************** 大韓数学会共同主催　MSJ-KMS Joint Meeting 日時：9月19日(学会開催前日) 場所：仙台国際センター（学会会場から地下鉄で隣駅）（詳細は以下のページをご覧ください) https://www.mathsoc.jp/activity/meeting/JointMeeting2023/ ****************************************** 日韓を代表する数学者によるホットなトピックの講演が予定されていますが，現時点での事前登録者数が少なくなっているようです．ご興味のある方は奮ってご参加ください．酒井拓史

1 0

SLACS 2023（8月31日・9月1日）発表プログラム公開
by Yosuke Fukuda 24 Aug '23

24 Aug '23

皆様，第40回記号論理と情報科学研究集会（SLACS 2023）幹事の福田@京都橘大です． SLACS 2023の暫定の発表プログラム( https://lambda.ski/slacs2023 )を公開しましたのでお知らせいたします． ==== SLACS 2023 開催要領 ==== 詳細: https://lambda.ski/slacs2023 日程: 2023年8月31日（木）から2023年9月1日（金）の二日間形式: 対面およびオンラインのハイブリッド開催会場: 京都橘大学優心館2階 E201教室（〒607-8175 京都府京都市山科区大宅山田３４）費用: 参加費無料幹事: 福田陽介（京都橘大学, E-mail: yf(a)lambda.ski ） ======== 参加をご希望の方は上記ウェブページにあるフォームから登録をお願いいたします．研究集会への参加申し込みは開催前日まで受け付けます．以上，奮ってご参加ください．

1 0

数学基礎論サマースクール2023のお知らせ(第二報)
by Kenshi Miyabe 17 Aug '23

17 Aug '23

関係者の皆様，以下の要領で数学基礎論サマースクール2023を開催いたします．周知および多くの方にご出席いただけますと幸いです．テーマ：連続体上の計算論日時：2023年9月11日(月)〜15日(金) 場所：明治大学駿河台キャンパス幹事：宮部賢志（明治大学），木原貴行（名古屋大学）連絡先：宮部賢志，research(a)kenshi.miyabe.name 講師および内容：鈴木登志雄：計算論速習(Turing機械，停止問題，算術的階層) 宮部賢志：実数の計算可能性 Holger Thies：実関数の計算可能性・計算量 Matthew de Brecht：計算可能位相空間論木原貴行：実現可能性理論／計算可能数学の圏すべての講演は日本語で行います．詳細は以下のページで随時案内します． http://kenshi.miyabe.name/kisoron_school_2023/ スケジュールを公開しました．内容の詳細を加えました．人数把握のために参加登録をお願いします．参加登録は必須ではありません．懇親会の案内も加えました．日時：9月14日(木)の夜場所：スカイラウンジ暁（リバティタワー17階） https://www.meiji.ac.jp/koho/studentsservice/dining/di_surugadai.html 立食の予定です．時間がなくて申し訳ありませんが，懇親会参加希望される方は以下までに登録をお願いします．登録一次締切：9月3日(日)23:59，可能な範囲でこのときまでにお願いします．最終締切：9月8日(金)昼12:00 どうぞよろしくおねがいします．宮部 -- Kenshi Miyabe email (research): research(a)kenshi.miyabe.name email (other): miyabe(a)meiji.ac.jp Associate Professor Department of Mathematics School of Science and Technology Meiji University Tel: +81-44-934-7460

1 0

モデル理論夏の学校・研究集会2023のお知らせ
by kota takeuchi 17 Aug '23

17 Aug '23

皆さまモデル理論夏の学校は例年夏に開催されるモデル理論の研究集会です．モデル理論は数理論理学の１分野で，近年数学の各分野から注目を浴びています．今年は筑波大学で開催されます．モデル理論に興味のある幅広い分野の方を歓迎します．詳しくはwebpageをご覧ください。また参加をご希望の方はwebpageの申込フォームからお申し込みください。皆様の参加をお待ちしております。日程：2023年9月6日（水）午後－8日（金）午前場所：筑波大学総合B棟0110講義室連絡先：竹内耕太（筑波大学 kota(a)math.tsukuba.ac.jp) Webpage:https://sites.google.com/view/modeltheorysummerworkshop2023/home 竹内耕太

1 0

【リマインド】SLACS 2023（8月31日・9月1日）講演・参加募集のお知らせ
by Yosuke Fukuda 02 Aug '23

02 Aug '23

皆様，第40回記号論理と情報科学研究集会（SLACS 2023）幹事の京都橘大学の福田です．SLACS 2023は，2023年8月31日（木）〜9月1日（金）に京都橘大学 & オンラインでハイブリッド開催いたします．講演・参加のご検討ほど，どうぞよろしくお願いいたします． ==== SLACS 2023 開催要領 ==== 詳細: https://lambda.ski/slacs2023/ 申込: https://forms.office.com/r/xZvGcnwyzS 日程: 2023年8月31日（木）から2023年9月1日（金）の二日間形式: 対面およびオンラインのハイブリッド開催会場: 京都橘大学優心館2階 E201教室（〒607-8175 京都府京都市山科区大宅山田３４）費用: 参加費無料（懇親会費は別途徴収します）幹事: 福田陽介（京都橘大学, E-mail: yf(a)lambda.ski ） ======== 講演申し込み期限は ** 2023年8月21日（月） ** としますが，発表する意思がある方は早めに申し込みいただけると幸いです．研究集会への参加申し込みは開催前日まで受け付けます．以上，奮ってご参加ください．

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml August 2023