Logic-ml May 2023

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

10 participants
11 discussions

CFP: 59th TRS Meeting
by Munehiro Iwami 24 Jul '23

24 Jul '23

皆様島根大学の岩見と申します。 9月27～29日に第59回TRS meetingを出雲市で開催します。現在、講演者を募集しております。講演希望の方は7月28日までに下記の登録フォームをメールにて岩見へ送ってください。 -------------------------------------------------------------------- Dear all, Please find below CFP for the 59th TRS meeting. Please send the registration form below to Munehiro Iwami (munehiro(a)cis.shimane-u.ac.jp) no later than July 28 (Fri), 2023. Best regards, Munehiro Iwami Shimane University E-mail: munehiro(a)cis.shimane-u.ac.jp ====================================================================== CALL FOR PARTICIPATION 59th TRS Meeting September 27 – 29, 2023, Shimane, Japan http://www.cis.shimane-u.ac.jp/~munehiro/trs-meeting59/ ====================================================================== The Term Rewriting Meeting (TRS Meeting) is a biannual informal workshop that aims at promoting the research on rewriting and related areas. All participants are requested to present their recent activities, observations, etc. (in English). The subject of the talk, however, is not required to be one's original result; for example, it is perfectly acceptable to explain a paper of your interest or a tool that you're developing. See http://www.jaist.ac.jp/~hirokawa/trs-meeting/ for further information. * Basic information Dates: September 27(Wed) – 29(Fri), 2023 Venue: New Welcity IZUMO 2-15-1 Enyaarihara, Izumo, Shimane, Japan https://nwci.jp/ Registration Fee: 15,000 yen Accommodation Fee: 13,500 yen per night (incl. breakfast, dinner, drinks at dinner and tax) The accommodation fee above is for using a single room. * Registration Please send the registration form below to Munehiro Iwami (munehiro(a)cis.shimane-u.ac.jp) no later than July 28 (Fri), 2023. ---------------------------------------------------------------------- Registration Form of the 59th TRS meeting Name: Affiliation: Title of talk (*): Duration of talk (*): Other requests/comments (on foods, partial participation, etc.): ---------------------------------------------------------------------- The items marked with * can be sent later. ====================================================================== -- 以上、よろしくお願い致します。岩見宗弘島根大学学術研究院理工学系 E-mail: munehiro(a)cis.shimane-u.ac.jp

1 2

Reachability Problems (RP 2023) CFP
by Akitoshi Kawamura 30 May '23

30 May '23

皆様京都大学の河村と申します。10月にニースで開催される 17th International Conference on Reachability Problems (RP 2023) についてご案内させていただきます。どうぞご検討ください。 ------------------------------------------- RP 2023: CALL FOR PAPERS ------------------------------------------- The 17th International Conference on Reachability Problems (RP'23) will be organised by the laboratory I3S (Université Côte d'Azur, CNRS) and LIX (Ecole Polytechnique, CNRS). Website: https://www.lix.polytechnique.fr/RP2023 In 2020 and 2021 the conference was virtual due to COVID restrictions. As in 2022, this year RP will be organised as a physical meeting in Nice, offering a possibility to authors with travel restrictions to give online presentations. Papers presenting original contributions related to reachability problems in different computational models and systems are being sought. This will also be the occasion to review recent breakthroughs by renowned invited experts and survey emerging trends and emphasise on key open challenges. Participants are kindly encouraged to discuss core scientific issues that need to be further tackled. The conference proceedings will be published in Springer's Lecture Notes in Computer Science (LNCS). A selection of articles among the contributed papers will be invited to a special issue of a journal (TBA). TOPICS The conference is specifically aimed at gathering together scholars from diverse disciplines and backgrounds interested in reachability problems that appear in Algebraic structures Automata theory and formal languages Computational game theory Concurrency and distributed computation Decision procedures in computational models Graphs and dynamical networks Hybrid dynamical systems Logic and model checking Verification of finite and infinite-state systems Topics of interest include (but are not limited to): - reachability problems in infinite-state systems, - rewriting systems, dynamical and hybrid systems; - reachability problems in computational games and distributed systems; - reachability problems in dynamical networks, - reachability problems in logic and verification; - reachability problems in formal methods; - reachability analysis in different computational models, counter timed/ cellular/ communicating automata; - Petri nets; computational and combinatorial aspects of algebraic structures (semigroups, groups and rings); - frontiers between decidable and undecidable reachability problems; - predictability in iterative maps and new computational paradigms. INVITED SPEAKERS Confirmed: - Nathalie Aubrun (CNRS, Paris-Saclay, France) - Jarkko Kari (University of Turku, Finland) - Bruno Martin (University of Nice, France) - Shinnosuke Seki (University of Electro-Communications, Japan) GUIDELINES FOR SUBMISSION. THERE ARE TWO CATEGORIES OF SUBMISSIONS: 1) REGULAR PAPERS Authors are invited to submit an extended abstract of a full paper with at most 12 pages (excluding the bibliography and potential appendices) formatted according to the LNCS guidelines, through EasyChair: https://easychair.org/conferences/?conf=rp2023 2) PRESENTATION-ONLY In addition to the formal presentations based on our LNCS proceedings volume, we invite researchers to submit a paper which recently appeared (or which is going to appear) in proceedings of another conference, or which has not yet been submitted. Neither the paper nor the abstract will be published in the proceedings. IMPORTANT DATES Abstract of full papers: 19 June 2023 Full papers: 26 June 2023 Notification: 13 August 2023 Final Version: 20 August 2023 Presentation-only papers - Abstracts: 23 August 2023 - Notification: 30 August 2023 RP CONFERENCE: OCTOBER 11-13, 2023 CONFERENCE CHAIRS: - Olivier Bournez (IP Paris, Ecole Polytechnique, FR) - Enrico Formenti (Univ. Côté d'Azur, FR) - Igor Potapov, University of Liverpool - Publication chair PROGRAM COMMITTEE: - Parosh Aziz Abdulla (Uppsala University, Sweden) - Udi Boker (Reichman University, Herzliya, Israel) - Christel Baier (Technical University of Dresden, Germany) - Veronica Becher (Universidad de Buenos Aires, Argentina) - Benedikt Bollig (CNRS, LMF, ENS Paris-Saclay, France) - Olivier Bournez (Ecole Polytechnique, LIX, IPP, France) - Emilie Charlier (Université de Liège Belgium) - Stéphane Demri (CNRS, LMF, ENS Paris-Saclay, France) - Javier Esparza (Technical University of Munich, Germany) - Enrico Formenti (Université Côte d'Azur, France) - Gilles Geeraerts (Université libre de Bruxelles, Belgium) - Roberto Giacobazzi (University of Verona, Italy) - Daniel Graça (University of Algarve, Portugal) - Christoph Haase (University of Oxford, United Kingdon) - Peter Habermehl (IRIF, Université Paris Cité, France) - Vesa Halava (University of Turku, Finland) - Mika Hirvensalo (Department of Mathematics and Statistics, University of Turku, Finland) - Akitoshi Kawamura (Kyoto Univeristy, Japan) - Dietrich Kuske (Technical University of Ilmenau, Germany) - Martin Kutrib (University of Giessen, Germany) - Jérôme Leroux (CNRS, LaBRI, Université de Bordeaux, France) - Igor Potapov (University of Liverpool, United Kingdom) - Tali (Nathalie) Sznajder (LIP6, Sorbonne Université, France) STEERING COMMITTEE - Parosh Aziz Abdulla (SE) - Olivier Bournez (FR) - Vesa Halava (FI) - Alain Finkel (FR) - Oscar Ibarra (USA) - Juhani Karhumaki (FI) - Jérôme Leroux (FR) - Joël Ouaknine (GER) - Igor Potapov (UK) - James Worrell (UK)

1 0

2023年度日本数学会秋季総合分科会（講演申込の受付開始）
by Hiroshi SAKAI 26 May '23

26 May '23

皆様：（重複して受け取られた場合は申し訳ございません．）数学会「数学基礎論および歴史分科会」連絡責任評議員の酒井拓史です．今年の数学会秋季総合分科会は以下のように開催され，本日から一般講演の申込受付が始まっています． 2023年度日本数学会秋季総合分科会 https://www.mathsoc.jp/activity/meeting/tohoku23sept/index.html 日程：9月20日(水) — 23日(土) 　　　（数学基礎論および歴史分科会は 22日(金)・23日(土) の予定）会場：東北大学講演申込期間：5月26日(金) — 6月16日(金) 皆様の奮ってのご参加とご講演をお待ちしております．どうぞよろしくお願いいたします．酒井拓史

1 0

J-Y Girard博士講演及び討論会　Prof. Girard's Lecture and Discussion
by Mitsu Okada 26 May '23

26 May '23

メールリストの皆さま直前のお知らせとなり申し訳ありません。ご参加のご検討をお願い申し上げます。。この告知は転送自由です。岡田光弘（慶應義塾大学） ---------------------------------------- J-Y, Girard博士講演・討論会 Prof. Jean-Yves Girard's Lecture and Discussion 2023年5月29日（月）18:00-19:30 (Monday May 29th) (ハイブリッド開催 Hybrid ) 会場/Place 慶應義塾大学三田キャンパス東館6階G-Lab / G-Lab, 6th floor, East Building, Mita Campus, Keio University (7 minutes walk from JR-Tamachi, Subway Mita or Akabanebashi) キャンパスマップ 13番の建物: https://www.keio.ac.jp/ja/maps/mita.html Campus Map Building #13: https://www.keio.ac.jp/ja/maps/mita.html Zoom: https://forms.gle/BBxrLDg3Pf5747sh9 Prerigistration Here / ここから事前登録をお願いします。最新情報は次のURLで更新します / The Meeting webpage: https://abelard.flet.keio.ac.jp/seminar/j_y_girard_lecture_and_discussion_2… Preregistration Form: https://forms.gle/BBxrLDg3Pf5747sh9 《PROGRAM》 ◆18:00-19:00 Speaker: Prof. Jean-Yves Girard Title: AGAINST SYSTEMS ◆19:00-19:30 Discussion 講師プロフィール: Jean-Yves Girard博士は1972年、System F のhigher order normalizationに関する学位論文発表以来、よく知られていますように、半世紀の間一貫して基本定理（Cut elimination theorem）の多角的・発展的な研究を進めておられる研究者です。(Linear Logic, Geometry of Interaction, Ludics, 近年のTranscendental Syntaxに関する一連の研究などもこれに含まれます。) 今回の講演でもこのlineの延長上の最新成果を講義していただきます。問い合わせ先: logic(a)abelatd.flet.keio.ac.jp 岡田光弘峯島宏次（慶應義塾大学論理と感性のグローバル研究センター論理班)

1 0

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 05 May '23

05 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

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml May 2023