Logic-ml March 2023

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

6 participants
8 discussions

（日本数学会）日本学術振興会育志賞の候補者の推薦について
by Hiroshi SAKAI 28 Mar '23

28 Mar '23

皆様：（重複して受け取られた場合はご容赦ください．）数学会「数学基礎論および歴史分科会」評議員の酒井拓史です． JSPS 育志賞の数学会からの推薦について，下記連絡がありました．候補の大学院生がいらっしゃる場合は，下記要領に従って数学会にご推薦ください．よろしくお願いします．酒井拓史 ========= 差出人: "president" <president(a)mathsoc.jp> 件名: （日本数学会）日本学術振興会育志賞の候補者の推薦について日付: 2023年3月27日 15:58:16 JST 宛先: "'msjprize'" <msjprize(a)mathsoc.jp> 全国区代議員、地方区代議員　各位理事　各位 ※本メールはBccでお送りしております。平素より日本数学会の運営にご協力を賜り厚く御礼申し上げます。先般、数学通信（会報）第２７巻第３号および第４号において、「令和５年度日本学術振興会育志賞」の数学会からの推薦募集について【４月７日（金）】を推薦期限としてお知らせいたしました。 https://www.mathsoc.jp/assets/file/publications/tushin/2704/kaiho274-07.pdf<https://jpn01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.maths…> 育志賞は将来、我が国の学術研究の発展に寄与することが期待される優秀な大学院博士課程学生を顕彰する大変名誉ある賞です。日本数学会からも優秀な大学院生を積極的に推薦したいと思いますので、お心あたりの大学院生をご存知のかたは是非ご応募いただきますよう、関係各所に広くご周知のほど、よろしくお願い申し上げます。　（参考）育志賞対象者：下記1ページ目「４．対象者」　　https://www.jsps.go.jp/file/storage/j-ikushi-prize/recommendation/candidate…<https://jpn01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.jsps.…> 推薦書の様式は「２０２３年度日本数学会賞建部賢弘賞推薦票」をご使用ください。（下記URLからダウンロードしていただけます） https://www.mathsoc.jp/activity/awards/takebe/<https://jpn01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.maths…> ご協力の程どうぞよろしくお願い申し上げます。日本数学会理事長　清水　扇丈次期理事長　鎌田　聖一 =========

1 0

数学会秋季賞の推薦募集
by Hiroshi SAKAI 24 Mar '23

24 Mar '23

皆様：（重複して受け取られた場合はご容赦ください．）神戸大学の酒井です．数学会の数学基礎論および歴史分科会で評議員をしております．お世話になっております．数学会から2023年度秋季賞の受賞候補推薦依頼が来ております．もし推薦がありましたら，私と受賞候補推薦評議員の関先生にご連絡いただくようお願いいたします．連絡先：関隆宏 tseki(a)adm.niigata-u.ac.jp <mailto:tseki@adm.niigata-u.ac.jp> 　　　　酒井拓史 hsakai(a)people.kobe-u.ac.jp <mailto:hsakai@people.kobe-u.ac.jp> 連絡期限：4月30日(日) ご連絡をいただいたあと，推薦者と関先生で推薦票を作成し，数学会に提出することになります．参考までに数学会からの推薦依頼文と推薦票様式の pdf を添付しております．よろしくお願いいたします．酒井拓史

1 0

名古屋ロジックセミナーのお知らせ
by 吉信康夫 23 Mar '23

23 Mar '23

みなさま：名古屋大学の吉信と申します。下記の要領でオンラインによるロジックセミナーを開催したいと思います。参加を希望される方にはZoom のURLをお知らせします(同じものを使います)ので、吉信までご連絡ください。 ---案内ここから日時：3月31日(金)15:30〜講演者：林佑亮(神戸大学) 題目：特異基数$\mu$に一般化されたdominating numberについてアブストラクト：基数特徴量は集合論における古典的な研究対象であるが，それらの非可算基数への一般化には未だ研究の余地が残されている．本発表ではとくにdominating numberの特異基数$\mu$への一般化に焦点を当て，その振る舞いについて観察する．日時：4月7日(金)15:30〜講演者：丹野俊将(神戸大学) 題目：定常塔強制と普遍ベール集合アブストラクト：Woodinは定常塔強制と呼ばれる強制法を導入し、巨大基数の存在がL(R)に属する実数の集合の正則性を導くことを示した。この定理に関して、Woodin基数のような巨大基数を用いることなく、定常塔についての仮定から同様の結果を導けることが知られている。本発表では、より強い性質である普遍ベール性についても仮定を定常塔強制の条件に統合できることを示す。 ---案内ここまで吉信

1 0

Sapporo Mini-workshop on Non-classical Logic (24th March 2023 13:00~)
by Katsuhiko Sano 19 Mar '23

19 Mar '23

logic-ml の皆様、北海道大学の佐野勝彦と申します。Tadeusz Litak (Friedrich-Alexander-Universität Erlangen-Nürnberg)さんをお迎えして、北海道大学で、今週金曜日(3/24)の午後一時から Sapporo Mini-workshop on Non-classical Logic https://sites.google.com/view/sapporo-workshop-logic-2023/home を開催いたします。タイトルやアブストラクトについてはwebsiteをご覧ください。 Tadeusz Litakさんには、 "Lewis meets Brouwer: A quick overview of constructive strict implication" というタイトルで最近のご研究についてお話しいただきます。興味をおもちの方はどなたでもフラリと気楽におたちより下さい。佐野勝彦

1 0

The 17th ALC (中国、天津)
by Hirotaka Kikyo 15 Mar '23

15 Mar '23

皆様 (複数受け取られた方はご容赦ください) 2023年(今年）の10月9-13日に中国の天津で開催される The 17th Asian Logic ConferenceのFirst Announcement をお届けいたします。ホームページは次の通りです。 https://logic.nankai.edu.cn/alc2023 参加や発表のご検討をお願いいたします。神戸大学桔梗宏孝

1 0

第55回MLG数理論理学研究集会
by Naosuke MATSUDA 15 Mar '23

15 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

Special Issue of RAP (Review of Analytic Philosophy) on 'Logics of Communicative Interaction'
by Katsuhiko Sano 08 Mar '23

08 Mar '23

Logic-ml の皆様、北海道大学の佐野です。北海道大学の山田友幸先生の代理で Special Issue of RAP (Review of Analytic Philosophy) on 'Logics of Communicative Interaction' の情報について投稿いたします。佐野勝彦 ------------------------------------------------------------------------------------------ First Call for Papers *********************** Special Issue of RAP (Review of Analytic Philosophy) on 'Logics of Communicative Interaction' We invite submissions to a Special Issue on 'Logics of Communicative Interaction'. This special issue will appear in the peer-reviewed international journal called the 'Review of Analytic Philosophy', which was first launched in 2021 as a new Open Access journal in analytic philosophy. This special issue welcomes new work on the logical study of dynamic changes that take place in scenarios of communicative interaction. Complex forms of change in cognitive states of agents and their social relations can occur in the process of communicative interaction, which calls for a detailed logical analysis. A central topic in such an analysis is the triggers of such changes and their effects during the process of communication. The triggers can include a variety of possible speech acts while an analysis of their effect will typically zoom-in on the formal representations of agent's doxastic and epistemic attitudes as well as the deontic status of action types available to them. The study of such logics for communicative interaction can be approached from different disciplines, including logic, epistemology, argumentation theory, social choice theory, AI, Computer Science, and Philosophy. More specifically, this special issue welcomes work on the following topics: - Dynamic Logics of Communication - Logics of Speech Acts - Logics for Belief Change and Knowledge Updates - Dynamic Epistemic Logics - Logical analysis of Communication in Social Networks - Dynamic Deontic Logic All papers will be peer reviewed according to the standards of the Journal. Authors are advised to read the CFP of the journal downloadable from the following page: https://rap-journal.net/call-for-papers/ . All the conditions specified in the CFP of the journal apply except the condition on the publication fee: papers accepted for publication in this special issue will be published free of charge. Submission details: Manuscripts should be between 8000 and 10000 words and submitted as a double-spaced Word document or PDF file with an abstract of around 150 words. They should be fully anonymized to ensure double-blind reviewing. Manuscripts are submitted under the understanding that they have not been published elsewhere, either in whole or in part, and are not currently under review elsewhere. Submissions can be made via the online submission form at https://rap-journal.net/submit-for-authors/ or by email attachments (rap(a)myukk.org). If the authors intend to use LaTeX for preparing the manuscript, please use the standard article class and submit the manuscript in the form of a PDF file (neither the source files nor the dvi file). Submission Deadline: 30th September 2023 All inquiries should be sent to rap(a)myukk.org . Guest co-editors of the special issue: Sonja Smets Tomoyuki Yamada

1 0

静岡大学グローバル共創科学部　公募
by Teruyuki YORIOKA 01 Mar '23

01 Mar '23

みなさま静岡大学の依岡です。静岡大学で募集している公募を紹介させていただきます。静岡大学グローバル共創科学部　公募 https://www.shizuoka.ac.jp/cms/files/shizudai/MASTER/0200/pNH3y6vr.pdf 静岡大学グローバル共創科学部は令和5年度から静岡キャンパス（静岡市）に設置される新しい学部です。文部科学省の大学設置・学校法人審議会による教員資格審査において、予定職位・担当授業科目、特に「AI基礎」「AI演習」において、「可」の判定を受けることができる方を募集しています。公募の締め切りは4月28日（金）必着です。本公募にご興味のある方は、応募書類をご確認いただき、ぜひ応募をご検討ください。また、お心当たりの方にも情報を共有いただけますと幸いです。よろしくお願いします。

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml March 2023