Logic-ml October 2023

9 participants
11 discussions

RIMS共同研究（公開型）のご案内
by kota takeuchi 19 Aug '24

19 Aug '24

皆様下記のようにモデル理論の研究集会を行います。ご参加をお待ちしております。 --------------------------------------------------------------------------------- RIMS共同研究(公開型)「モデル理論における独立概念と次元の研究」日時：2023年12月4日(月)～2023年12月6日(水) 場所：京都大学数理解析研究所110室+オンライン(ZOOM) 代表者：竹内耕太（筑波大学）副代表：桔梗宏孝（神戸大学） Webページ： https://sites.google.com/gsuite.kobe-u.ac.jp/rimsmodeltheoryworkshop2023/ --------------------------------------------------------------------------------- 参加申し込みは上記webページからお願いします。 ※参加申し込みの情報は京都大学数理解析研究所および次年度世話人に提供されます．以上、よろしくお願いします。筑波大学竹内耕太

2 3

山陰での研究集会のご案内
by 堀畑佳宏_米子教職員 06 Dec '23

06 Dec '23

logic-ml の皆さま（先ほどは不要な一文が入っていたため再送いたします）米子高専の堀畑です．『第9回山陰数学と基礎論の研究集会』を開催します．基礎論，数学，教育の気軽な研究交流の場を目指していきます！周りの方にも転送・お声がけし宣伝頂ければ幸いです！研究集会のHP https://sites.google.com/view/logic-and-math/2024 日程：2024年1月6日 (土) ~ 7日 (日) ※ 6日の夜には懇親会を予定しています．場所：米子コンベンションセンター（鳥取県米子市）締切：〜12月11日 (月)　講演申し込み〜12月25日 (月)　参加申し込み申し込み：以下のFormsより参加・講演登録をお願いします． https://forms.office.com/r/6q5uZdiikH ※ 講演者はアブストラクトのPDFを堀畑までメール添付願います（12月25日まで．例 horihata.pdf）不明な点，申込の不具合などがあれば堀畑まで連絡を下さい．堀畑佳宏 -- 米子工業高等専門学校教養教育部門・数学 horihata(a)yonago-k.ac.jp

1 1

証明論研究集会2023: RIMS共同研究(公開型)「証明論と計算論の最前線」のご案内
by YOKOYAMA Keita 02 Dec '23

02 Dec '23

みなさま，東北大学の横山です． 2023年度の証明論研究集会を以下の通りRIMS共同研究(公開型)として開催いたします．ご講演・ご参加をご検討いただけましたら幸いです．どうぞよろしくお願いいたします． ********************************* RIMS共同研究(公開型)「証明論と計算論の最前線」日時：2022/12/11(月)午後-2022/12/14(木)午前場所：京都大学数理解析研究所(RIMS)110号室(およびオンライン) 講演募集：11月20日締め切り詳細は研究集会のウェブページをご覧ください． https://sites.google.com/view/proof-theory-2023 また講演申し込み(11月20日締め切り)及び参加登録は以下のフォームよりお願いいたします． https://forms.gle/HoMR3wx595FbLxHc7 ********************************* どうぞよろしくお願いいたします．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 keita.yokoyama.c2(a)tohoku.ac.jp

1 2

早稲田ー神戸合同集合論セミナーの開催について
by Sakae Fuchino 31 Oct '23

31 Oct '23

渕野昌＠神戸大学 (emeritus) です．直前のお知らせになってしまい申し訳ありません． Waseda Set-Theory Seminar と Kobe Set-Theory Seminar の番外(?) 合同セミナーとして，以下のセミナーの sessions を in-person (in Kobe at the logic group of Kobe University) + zoom の hybrid seminar の形式で開催したく思っております．zoom 参加をご希望の方は，酒井拓史さん Hiroshi SAKAI <hsakai(a)people.kobe-u.ac.jp> または，私 Sakaé FUCHINO <fuchino(a)diamond.kobe-u.ac.jp> までご連絡ください． Wednesday (1. Nov.): 16:00 〜 Speaker: Joan Bagaria, Title: "Reflection on the edge: I0 cardinals and beyond" Thursday (2. Nov.) : 15:30 〜 Speaker: Gunter Fuchs, Title: "On the structure of the blurry HOD hierarchy" (there will be an in-person dinner after the talk) -- best regards Sakaé Fuchino (渕野昌, Prof.Emer., Dr.rer.nat.) ----------------------------------------------------------------------------- Kobe University Graduate School of System Informatics Rokko-dai 1-1, Nada, Kobe 657-8501 Japan e-mail: fuchino(a)diamond.kobe-u.ac.jp web pages: https://fuchino.ddo.jp/index-j.html (in Japanese) https://fuchino.ddo.jp/index-e.html (in English under construction) -----------------------------------------------------------------------------

1 0

山陰での研究集会のご案内
by 堀畑佳宏_米子教職員 29 Oct '23

29 Oct '23

皆さま（過去に参加頂いた方を中心に約60名に送ってます．重複はご容赦願います．）米子高専の堀畑です．『第9回山陰数学と基礎論の研究集会』を開催します．基礎論，数学，教育の気軽な研究交流の場を目指していきます！周りの方にも転送・お声がけし宣伝頂ければ幸いです！研究集会のHP https://sites.google.com/view/logic-and-math/2024 日程：2024年1月6日 (土) ~ 7日 (日) ※ 6日の夜には懇親会を予定しています．場所：米子コンベンションセンター（鳥取県米子市）締切：〜12月11日 (月)　講演申し込み〜12月25日 (月)　参加申し込み申し込み：以下のFormsより参加・講演登録をお願いします． https://forms.office.com/r/6q5uZdiikH ※ 講演者はアブストラクトのPDFを堀畑までメール添付願います（12月25日まで．例 horihata.pdf）不明な点，申込の不具合などがあれば堀畑まで連絡を下さい．堀畑佳宏 -- 米子工業高等専門学校教養教育部門・数学 horihata(a)yonago-k.ac.jp

1 0

Special Issue of RAP (Review of Analytic Philosophy) on Logics of Communicative Interaction ***** The Final Call for Papers (Deadline Extended) *****
by Katsuhiko Sano 28 Oct '23

28 Oct '23

logic-mlの皆様、北海道大学の佐野です。山田友幸先生の代理で下記の cfpの締め切り延長についてお知らせします。佐野勝彦 ***** The Final Call for Papers (Deadline Extended) ***** Due to some request, the submission deadline is extended to 15th November, 2023. ************************************************************ 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: 15th November 2023 (Extended) All inquiries should be sent to rap(a)myukk.org . Guest co-editors of the special issue: Sonja Smets Tomoyuki Yamada ************************************************************

1 0

教員公募（京都産業大学理学部数理科学科）
by Hiroyuki Miyoshi 22 Oct '23

22 Oct '23

各メーリングリストの皆様、京都産業大学理学部数理科学科の三好博之です。本学理学部数理科学科では来年度4月着任予定の教員公募を行っております。 https://jrecin.jst.go.jp/seek/SeekJorDetail?id=D123101200 https://www.kyoto-su.ac.jp/news/2023_sc/20231012_150_koubom01.html 応募締切は11月30日（木）です。上記のウェブページを見て頂ければわかると思いますが、今回の公募は研究面での専門を限定せず数学から情報科学まで含めて広く募っています。数学基礎論（数理論理学）・理論計算機科学を専門とされる方のご応募も歓迎いたします。その代わり、機械学習・データサイエンス系の授業を担当できることが条件となります。具体的には、他の理学部の授業担当者と共に、理系学部に共通して求められるデータサイエンス・機械学習の標準的内容を教える授業を想定しています。所属は理学部数理科学科であり、その授業以外の理学部での学部・大学院での学生指導についてはご専門に関わる内容が可能です。なお、この公募は教授・准教授・助教の公募で、助教採用の場合、5年の任期制でテニュアトラックと明記していないのですが、業績と教育経験について、明文化されている所定の基準を満たせば 4年終了時までに准教授への昇任審査を受けることが可能です。以上、ご興味をお持ちの方がいらっしゃいましたらご応募をご検討下さい。またお近くに適任の方がいらっしゃればお勧めいただければ幸いです。 ---- 京都産業大学理学部数理科学科三好博之 hxm(a)cc.kyoto-su.ac.jp

1 0

Last Call for Papers (Deadline Extended): 6th Asian Workshop on Philosophical Logic
by Katsuhiko Sano 17 Oct '23

17 Oct '23

===================================================== AWPL 2024: 6th Asian Workshop on Philosophical Logic 5-6 March 2024 Hokkaido University, Sapporo, Japan https://sites.google.com/view/awpl2024/ ===================================================== [CALL FOR PAPERS] The 6th Asian Workshop on Philosophical Logic will be held on 5-6 March 2024 at Hokkaido University in Sapporo, Japan. The Asian Workshop on Philosophical Logic (AWPL, http://awpl.org/Workshops.html) is a series of events initiated by a group of Asian logicians. Its first installment took place at JAIST in Japan in 2012. The primary goal of the workshop is to promote awareness, understanding, and collaborations among researchers in philosophical logic and related fields. It emphasizes the interaction between philosophical ideas and formal theories. Topics of interest include, but are not restricted to, non-classical logics, philosophical logics, algebraic logic, as well as their applications in computer science, cognitive science, and social sciences. So far, five successful workshops have been organized in Ishikawa (2012), Guangzhou (2014), Taipei (2016), Beijing (2018), and Hangzhou (2020). The post-conference proceedings are published in the Springer book series "Logic in Asia" (http://www.springer.com/series/13080?detailsPage=titles). [INVITED SPEAKERS] Patrick Blackburn (University of Roskilde) Ryo Kashima (Tokyo Institute of Technology) Shawn Standefer (National Taiwan University) Fan Yang (Utrecht University) [SUBMISSION] All submissions should present original works that have not been previously published. Submissions should be written in English and follow the LNCS template (https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…). Please prepare your submission as a PDF file with a maximum of 12 pages, including the reference list, appendixes, acknowledgements, etc. Submissions should be sent electronically via EasyChair (https://easychair.org/conferences/?conf=awpl2024) by the corresponding author within the specified deadline. It is expected that at least one of the authors will attend the workshop in person and present the accepted work. After the workshop, selected submissions will be invited to revise and resubmit for the post-conference proceedings, which will be published in the "Logic in Asia" series. [IMPORTANT DATES] Abstract submission deadline: 21 October 2023 (AOE) Paper submission deadline: 28 October 2023 (AOE) Notification of acceptance: 1 December 2023 Workshop dates: 5-6 March 2024 [STEERING COMMITTEE] Phan Minh Dung, Asian Institute of Technology, Bangkok Hu Liu, Sun Yat-sen University, Guangzhou Beishui Liao, Zhejiang University, Hangzhou Fenrong Liu, Tsinghua University, Beijing Hiroakira Ono, Japan Advanced Institute of Science and Technology, Ishikawa Ram Ramanujam, Institute of Mathematical Sciences, Chennai Hsing-chien Tsai, National Chung Cheng University, Chiayi [PROGRAM COMMITTEE] Thomas Ågotnes (University of Bergen) Hans van Ditmarsch (University of Toulouse, CNRS, IRIT) Sujata Ghosh (Indian Statistical Institute) Ryo Hatano (Tokyo University of Science) - Co-chair Ryo Ito (Waseda University) Makoto Kanazawa (Hosei University) Md. Aquil Khan (Indian Institute of Technology Indore) Kohei Kishida (University of Illinois Urbana-Champaign) Hidenori Kurokawa (Kanazawa University) Kok Yong Lee (National Chung Cheng University) Dazhu Li (Chinese Academy of Sciences) Hanti Lin (University of California, Davis) Fenrong Liu (Tsinghua University) Minghui Ma (Sun Yat-Sen University) Koji Mineshima (Keio University) Teeradaj Racharak (JAIST) Katsuhiko Sano (Hokkaido University) - Chair Yì Nicholas Wáng (Sun Yat-sen University) Ren-June Wang (National Chung-Cheng University) Tomoyuki Yamada (Hokkaido University) [LOCAL ORGANIZING COMMITTEE] Ryo Hatano (Tokyo University of Science) Katsuhiko Sano (Hokkaido University) - Chair Masanobu Toyooka (Hokkaido University) For more information about the workshop, please visit: https://sites.google.com/view/awpl2024

1 0

Mini-workshop on computability in Tokyo
by Kenshi Miyabe 10 Oct '23

10 Oct '23

皆様， Dr. Laurent Bienvenuが日本に滞在していることを記念して，以下のようなワークショップを行います．計算論関連の若手の研究者の自己紹介の場と考えています．英語での講演を募集しています． Zoomでも構いません． Date: 6th November, 2023 (Monday) Time: 10:00-16:00 (Subject to change) Location: The hybrid meeting; Meiji University Surugadai Campus (MAP) and Zoom Room: Academy Common 8th floor 308G (Japanese map), (English map) Language: All talks will be given in English. Contact: Kenshi Miyabe (research(a)kenshi.miyabe.name) 詳細はウェブサイトを御覧ください． http://kenshi.miyabe.name/computability2023/ 宮部 -- 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

助教公募案内東北大学大学院情報科学研究科ソフトウェア基礎科学分野
by Eijiro Sumii 09 Oct '23

09 Oct '23

logic-mlご各位、下のとおり公募いたします（大学WebページやJREC-INには追って掲載予定です）。周知・ご応募をどうぞ宜しくお願い申し上げます。 __ 東北大学大学院情報科学研究科・工学部電気情報物理工学科教授住井英二郎 022-795-7526 sumii(a)tohoku.ac.jp ---------- 東北大学大学院情報科学研究科ソフトウェア基礎科学分野助教公募案内 1. 募集人員助教1名 2. 勤務地東北大学大学院情報科学研究科ソフトウェア基礎科学分野（宮城県仙台市青葉区荒巻字青葉6-3-09） 3. 職務内容上述分野（参考：https://www.sf.ecei.tohoku.ac.jp/research ）における研究ならびに大学院生および学部生（工学部）の教育を行う。 4. 応募資格職務内容に関連した博士の学位（ないし着任時までに取得見込み）と研究業績を有すること。 5. 着任時期 2024年4月1日以降なるべく早い時期 6. 任期 6年（「国立大学法人東北大学教員の任期に関する規程」による） 7. 待遇月額制を基礎とした年俸制（給与額は経歴等にもとづき規定により決定。大まかな目安・参考として、ストレートに博士号取得直後の場合おおよそ500万円程度、諸手当別）扶養手当、住居手当、通勤手当、単身赴任手当、大学院担当手当（本給の調整額）、地域手当、退職手当（それぞれ規定により支給）研究に必要な機器・消耗品・旅費・通信費等は予算・規定の範囲で購入・支出可その他、国立大学法人東北大学職員就業規則に基づく 8. 勤務時間裁量労働制（1日に7時間45分労働したものとみなす）休日：土曜日、日曜日、祝日、年末年始（12月29日～1月3日） 9. 社会保険等国家公務員共済組合、雇用保険、労災保険加入 10. 提出書類・履歴書（学歴・職歴、学位、受賞歴、および連絡先メールアドレスを含むこと）・研究業績一覧（論文は査読の有無を明記すること）・照会可能者2名以上の氏名・所属・連絡先メールアドレス 11. 選考方法書類による一次選考および面接（オンラインまたは対面）による二次選考を行います。 12. 応募締切 2023年11月30日までただし、採用者が決定した時点で募集を打ち切ります。 13. 応募書類提出先および問い合わせ先東北大学大学院情報科学研究科住井英二郎 sumii(a)tohoku.ac.jp 宛電子メール件名に「ソフトウェア基礎科学分野助教応募」と明記のこと添付書類はクラウドストレージ利用も可 1週間以内に受信確認の返信がない場合はメールを再送してください。 ====================================================================== ・東北大学は多様性、公正性、包摂性（Diversity, Equity & Inclusion : DEI）を向上させる活動を推進しており、　多様な人材の積極的な応募を歓迎します。　東北大学DEI 推進宣言WEB ページ http://tumug.tohoku.ac.jp/dei/ ・雇用の分野における男女の均等な機会及び待遇の確保等に関する法律第8 条に基づき女性教員の在籍率を　改善するための措置として、公正な評価に基づき職務に必要とされている能力が同等と認められる場合は、　女性を優先的に採用します。・学生および教職員が学業・研究・職務の遂行において、多様な性を尊重する環境を実現することを目的として、　その方針と具体的な対応の内容を示した「東北大学-みんなが主役-多様な性に関するガイドライン」を制定しています。　ダイバーシティ・エクイティ・インクルージョン推進センターWEB ページ　http://tumug.tohoku.ac.jp/tu_guideline_rev2-2/ ・東北大学には全学教職員が利用できる川内けやき保育園（定員22 名）及び青葉山みどり保育園（定員116 名）の他、　大学病院所属の職員等が利用できる星の子保育園（定員120 名）があり、全国の国立大学の事業所内保育施設として　最大規模の保育環境が整っています。　また、大学病院内に軽症病児・病後児保育室もあり、全学教職員が利用できます。・その他、男性教職員の育児休業等促進策も含めた本学の両立支援、研究支援等の詳細及び共同参画の取組については、　下記URL をご覧ください。　ダイバーシティ・エクイティ・インクルージョン推進センターWEB ページ　http://www.tumug.tohoku.ac.jp/ 　人事企画部WEB ページ https://c.bureau.tohoku.ac.jp/jinji-top/external/a-4-kosodate/ ====================================================================== 以上

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml October 2023