Logic-ml

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

1792 discussions

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

25 May '23

logic-ml の皆様、北海道大学の山田友幸先生の代理で下記の情報を投稿いたします。佐野勝彦 2nd 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 Satoru Kuroda 18 May '23

18 May '23

皆様，群馬県立女子大学の黒田です．教員公募についてお知らせいたします．群馬県立女子大学では，2023年度より設置された文学部文化情報学科において，「情報学（情報科学に関連する数理科学を含む）」に関する教授，准教授または専任講師1名の公募を行なっています．この学科は文学部内に設置されていますが，担当科目は情報科学and/or数理科学に関する分野となっております．応募締め切りは2023年6月14日（水）必着です．ご興味のある方はぜひ応募をご検討ください．またお近くに適任の方がおられましたら，本公募についてお知らせいただければ幸いです．詳細につきましては以下のURLをご覧ください． https://www.gpwu.ac.jp/inf/emp/emp_02/post_307/index.html#jouhougaku よろしくお願いいたします． -- Satoru Kuroda Gunma Prefectural Women's University

1 0

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

18 May '23

関係者の皆様，以下の要領で数学基礎論サマースクール2023を開催いたします．周知および多くの方にご出席いただけますと幸いです．テーマ：連続体上の計算論日時：2023年9月11日(月)〜15日(金) 場所：明治大学駿河台キャンパス幹事：宮部賢志（明治大学），木原貴行（名古屋大学）連絡先：宮部賢志，research(a)kenshi.miyabe.name 講師および内容：鈴木登志雄：計算論速習(Turing機械，停止問題，算術的階層) 宮部賢志：実数の計算可能性 Holger Thies：実関数の計算可能性・計算量 Matthew de Brecht：計算可能位相空間論木原貴行：実現可能性理論／計算可能数学の圏詳細は以下のページで随時案内します． http://kenshi.miyabe.name/kisoron_school_2023/ どうぞよろしくおねがいします．宮部 -- 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

Kobe Set Theory Seminar のお知らせ
by Hiroshi SAKAI 12 May '23

12 May '23

皆様：神戸大学の酒井です． 5月15日(月) から Kobe Set Theory Seminar を開始します． Kobe Set Theory Seminar 日時：毎週月曜 16:30 — 形式：Zoom によるオンラインホームページ：http://www2.kobe-u.ac.jp/~fuchino/kobe-set-theory-seminar/ （講演者によって時間と形式は変更になる可能性があります．）初回（5月15日）と第２回（5月22日）の内容は以下の通りです．講演者：合浦岳彦 (TU Wien) タイトル：Chang models over derived models with supercompact measures （アブストラクトは上記ホームページにあります．）またその後の予定も随時ホームページに掲載して行きますのでご覧ください．セミナーへの参加をご希望の方は，私にご連絡ください． Zoom の情報等をお知らせします．連絡先： hsakai(a)people.kobe-u.ac.jp <mailto:hsakai@people.kobe-u.ac.jp> （酒井拓史）皆様の奮ってのご参加をお待ちしています．酒井拓史

1 0

准教授または助教の募集
by Jacques Garrigue 08 May '23

08 May '23

基礎論・論理MLの皆様、名古屋大学多元数理科学研究科で以下の公募を行なっていますので、よろしくお願いいたします。 Jacques Garrigue ==== 各位名古屋大学多元数理科学研究科では下記要領で教員公募を行うことになりました．つきましては貴関係者にお知らせいただくとともに，適任者をご存じの場合には，応募をお勧め下さるようお願い申し上げます．　　准教授(任期なし) または助教(テニュアトラック教員)　2名　　研究分野　　数学・数理科学　　応募期限　　2023年8月6日(日) 　　採用予定日　2024年2月1日以降できるだけ早く　　応募の詳細および問い合わせ先は以下のウェブページ参照　　https://www.math.nagoya-u.ac.jp/ja/job/2023/faculty-1.html 名古屋大学大学院多元数理科学研究科准教授・助教選考委員会委員長　Jacques Garrigue

1 0

東北大ロジックセミナーのご案内
by YOKOYAMA Keita 06 May '23

06 May '23

皆様，東北大学の横山です．直前のご案内で恐縮ですが，以下の通りセミナーを開催いたします． (通常と異なり火曜日となっております．) https://sites.google.com/view/sendai-logic/ 日時：5月9日(火)15:00〜場所：東北大学理学研究科合同A棟801号室 (zoom配信あり) 講演者：Antonio Montalban (University of California, Berkeley) Title: The game metatheorem. Abstract: We present a new metatheorem based on Ash and Kight’s original eta-system priority argument. The previous modification of Ash and Knight’s metatheorem by the author was more hands-on and slightly more general than the original. This new version is more abstract, less hands-on, less general, but much easier to apply. We will also mention a new topological version that is currently work in progress with Andrew Marks. どうぞよろしくお願いいたします．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 keita.yokoyama.c2(a)tohoku.ac.jp

1 0

CCC 2023 - call for contributions
by Takao Yuyama 02 May '23

02 May '23

logic-mlの皆様京都大学の湯山と申します．今年9月25日--9月29日にRIMSで開催される，Continuity, Computability, Constructivityに関するワークショップ(CCC 2023)の講演募集案内をお送りいたします．投稿締切は7月31日です．どうぞよろしくお願いいたします． Takao Yuyama 湯山孝雄京都大学数理解析研究所 yuyama(a)kurims.kyoto-u.ac.jp __________________________________ 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. ==================================================== Topics: constructive mathematics, constructive analysis, computable analysis, exact real number computation 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 0

東北大ロジックセミナーのご案内
by YOKOYAMA Keita 20 Apr '23

20 Apr '23

皆様，東北大学の横山です．直前のご案内で恐縮ですが，以下の通りセミナーを開催いたします． https://sites.google.com/view/sendai-logic/ 日時：4月21日(金)16:00〜場所：東北大学理学研究科合同A棟801号室 (zoom配信あり) 講演者：藤原誠(東京理科大学) Title: On the embedding of Kripke models into Beth models Abstract: Kripke showed in [1] that first-order Kripke models can be embedded into first-order Beth models with constant domains by a sophisticated transformation. Following [2, Chapter 13], we revisit the embedding from modern perspectives. [1] S. A. Kripke, Semantical Analysis of Intuitionistic Logic I, Studies in Logic and the Foundations of Mathematics, Vol.40, pp. 92-130, 1965. [2] A. S. Troelstra and D. van Dalen, Constructivism in Mathematics, Vol 2, Elsevier, 1988. どうぞよろしくお願いいたします．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 keita.yokoyama.c2(a)tohoku.ac.jp

1 0

【論文募集】コンピュータソフトウェア誌PPL特集号【6/16 17:00締切】
by Kazutaka Matsuda 11 Apr '23

11 Apr '23

皆様， # 重複してお受取になった場合はご容赦ください．東北大学の松田と申します．日本ソフトウェア科学会の学会誌「コンピュータソフトウェア」の「プログラミングおよびプログラミング言語（PPL）特集」の論文募集をご案内いたします．先月開催されました PPL 2023 に連動する特集号ではございますが，プログラミングおよびプログラミング言語分野に関する論文を広く募集しております．どうぞ投稿をご検討いただければ幸いです．特集号編集委員松田一孝（代表者，東北大学），小宮常康（電気通信大学）荒堀喜貴（東京工業大学），星野直彦（崇城大学） ================================================ 論文募集：「プログラミングおよびプログラミング言語」特集 (論文投稿締切: 2023年6月16日(金) 17:00) 日本ソフトウェア科学会プログラミング論研究会は，毎年「プログラミングおよびプログラミング言語ワークショップ (PPL)」を開催しており，2023年3 月に第25回ワークショップ PPL 2023 を開催しました．本「プログラミングおよびプログラミング言語」特集号は，PPL 2023 に連動した企画であり，プログラミングに関する最先端の研究成果を掲載することを目的にしています．PPL 2023 の発表論文を発展させた論文，PPL 2023 での発表論文の中から推薦された論文（PPL 2023 推薦論文），あるいはそれに限らず下記の対象分野に関連した論文を広く募集します．なお，PPL 2023 との連携を強化するために，PPL 2023 のプログラム共同委員長・松田一孝（東北大学）氏，小宮常康（電気通信大学）氏を中心として特集号編集委員を構成しています．PPL 2023 での発表論文を発展させた論文，および，PPL 2023 推薦論文の査読にあたっては，PPL 2023 の論文およびその査読結果を参考とさせていただきますので，迅速で一貫した査読が期待できます． <対象分野> プログラミングおよびプログラミング言語に関する研究成果 <募集論文> プログラミングおよびプログラミング言語に関する研究論文・解説論文・ソフトウェア論文 <執筆要領> 日本ソフトウェア科学会誌「コンピュータソフトウェア」の関連諸規定をご参照の上，投稿論文の PDF ファイルと「投稿メモ」を ppl2023si[at]jssst-ppl.org 宛にお送りください．([at]を@に置換下さい) * 学会誌関連諸規定は以下でご参照いただけます． http://www.jssst.or.jp/edit/kitei/ * PPL 2023 で発表した論文を改訂して投稿する場合は，その旨をお知らせください． * 特集号に投稿された論文の査読基準は，一般投稿論文と同じです． * レター論文による投稿を歓迎します．レター論文は，査読者 1名による査読を行い，「照会後判定」は行わず，一度の査読で採否を判定します．刷り上がりで 6ページ以下の速報性を重視した論文です．レター論文を発展させたものは通常論文として投稿可能です． * 二重投稿にならないよう，十分ご注意下さい．（国際会議であっても，査読期間が重複する場合は二重投稿に該当します） * 日本ソフトウェア科学会の非会員による投稿も受け付けております．詳しくは上記論文投稿規定をご覧ください． * PPL 2023 推薦論文であっても，論文投稿締切り後は非推薦論文として扱います． <スケジュール> 論文投稿締切　： 2023年6月16日(金) 17:00 特集号刊行予定： 2024年2月号査読プロセスの進行状況により掲載予定号に間に合わない場合があります．その場合でも特集論文として扱われます． <特集号編集委員> 松田一孝（代表者，東北大学），小宮常康（電気通信大学）荒堀喜貴（東京工業大学），星野直彦（崇城大学） <企画母体> 日本ソフトウェア科学会プログラミング論研究会 <問合せ先> 松田一孝（東北大学），小宮常康（電気通信大学） ppl2023si[at]jssst-ppl.org ([at]は@で置き換えて下さい)

1 0

（日本数学会）日本学術振興会育志賞の候補者の推薦について
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

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml