Logic-ml

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

1792 discussions

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 吉信康夫 24 Mar '23

24 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 02 Mar '23

02 Mar '23

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

1 0

【講演追加募集】第57回MLG数理論理学研究集会
by kawano.t.af 27 Feb '23

27 Feb '23

みなさま第57回MLG数理論理学研究集会の講演追加募集のお知らせです。講演にかなりの空きがございますので、3月1日(水)まで、講演申し込み期限を延長いたします。皆様のご参加をお待ちしています。なお、聴講のみ希望の方の申し込みは、集会当日まで受け付けます。以上、よろしくお願いいたします。 ------------------------------------------------------------------- 第57回MLG数理論理学研究集会を以下の要領で開催させていただきます．日時：2023年3月4日(土) - 3月5日(日) 場所：zoomオンライン開催発表申し込みや参加方法など，詳細は https://sites.google.com/view/57thmlg/ をご覧ください．講演を希望される方は，日程調整のため 2月26日までにお申し込みいただきますようよろしくお願いいたします． MLG数理論理学研究集会は，1971年開始された，この分野の多くの研究者が参加している50年以上続く研究集会です．成果を発表し合ったり，アイデアを交換したりと，ザックバランな雰囲気で行われています．数学の他分野や，広く数理科学，情報科学，哲学の方々や，外国からの研究者を迎えるなど，オープンに運営されています．今年度も多くのみなさまのご参加をお待ちしております． ------------------------------------------------------------------- 河野友亮

1 0

CADE-29 Call for Papers
by Nao Hirokawa 24 Feb '23

24 Feb '23

皆様 7月に FSCD とともにローマで開催されます、自動演繹に関する国際会議 CADE-29 の論文募集案内をお送り致します。ぜひ論文の投稿をご検討下さい。廣川 (JAIST) ****************************************************************** CALL FOR PAPERS CADE-29: 29th international Conference on Automated Deduction Sapienza University of Rome Rome, Italy, 1-5 July 2023 https://easyconferences.eu/cade2023 ****************************************************************** -- Overview -- CADE is the major international forum for presenting research on all aspects of automated deduction. High-quality submissions on the general topic of automated deduction, including logical foundations, theory and principles, applications in and beyond computer science and mathematics, and implementations of automated reasoning systems are solicited. CADE-29 aims to present research that reflects the broad range of interesting and relevant topics in automated deduction. CADE-29 is in cooperation with ACM SIGLOG. -- Venue -- CADE-29 and affiliated satellite events will take place in Rome, Italy and will be co-located with FSCD 2023. -- Publication -- CADE-29 proceedings will be published in Springer's Lecture Notes in Artificial Intelligence series in Gold Open Access mode at a CADE special rate of €200.00 per paper. Funding will be available for authors of accepted papers who cannot cover the €200 fee. -- Special Issue -- The authors of a selection of the best CADE-29 papers will be invited to submit an extended version of their paper after the conference, to be published in a special issue of the Journal of Automated Reasoning. -- Submission Guidelines -- Submissions can be made in two categories: - **Regular papers**. Up to 15 pages in LNCS style, excluding references. Proofs of theoretical results that do not fit in the page limit may be provided in an appendix. - **Short papers**. This includes system descriptions, user experiences, case studies and domain models. Up to 10 pages in LNCS style, excluding references. Reviewers may consider material provided in appendices, but submissions must be self-contained within the page limit. Submissions must be unpublished and not submitted for publication elsewhere. They will be judged on relevance, originality, significance, correctness, and readability. If software or data is relevant to a paper, a link that provides access to the software/data must be provided to enable reproduction of results. The review process will include a feedback/rebuttal period where authors will have the option to respond to reviewer comments. The PC chairs may solicit further reviews after the rebuttal period. Selected accepted papers will be considered by Program Committee for the CADE Best Paper Award. Papers must be submitted to https://easychair.org/conferences/?conf=cade29 All submission must be formatted in the LNCS style and must include the ORCID id of at least the corresponding author, and preferably of all authors. -- Important Dates -- Abstract deadline: February 27, 2023 Submission deadline: March 6, 2023 Rebuttal phase: April 18-20, 2023 Notification: May 3, 2023 Final version: May 24, 2023 Main Conference: July 1-4, 2023 Satellite events: July 4-5, 2023 -- Program Committee Chairs -- Brigitte Pientka, MacGill University Cesare Tinelli, The University of Iowa -- Policies-- CADE implements the ACM policy against harassment. -- Contacts -- All questions about CADE-29 paper submissions should be emailed to the PC Chairs (cade29 at easychair.org).

1 1

CSCAT 2023 発表・参加募集
by Koko Akazaki Muroya 22 Feb '23

22 Feb '23

みなさま、 CSCAT 2023 の幹事を務めます京都大学の室屋です。重ねてのご案内になりますが、プログラムにはまだまだ余裕がありますので、みなさまのご参加・ご発表を大募集しております。現在進行中の研究でも構いません。 3月1日までの参加登録・発表申込をお願いいたします。 CSCAT 2023 日程：3月9日(木)午後〜10日(金) 場所：京都大学（吉田キャンパス総合研究2号館 478号室）幹事：室屋晃子（京都大学数理解析研究所） kmuroya(a)kurims.kyoto-u.ac.jp Webページ：https://sites.google.com/view/cscat2023/home （参加登録・発表申込フォームへのリンクがあります）多くのみなさまのご発表・ご参加をお待ち申し上げます。室屋晃子 ~~~~~~~~~~~~~~~~ 室屋晃子 Koko Muroya (kmuroya(a)kurims.kyoto-u.ac.jp / koko.muro.m(a)gmail.com) 京都大学数理解析研究所助教 ~~~~~~~~~~~~~~~~

1 0

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml