Logic-ml

9 participants
1781 discussions

「若手による数理論理研究集会」開催について
by 西村祐輝 20 Jun '23

20 Jun '23

logic-ml の皆様、東京工業大学の西村です。さて、「若手による数理論理研究集会」を、以下のとおり開催いたします。日時：2023年9月9日(土)〜10日(日) 場所：国立オリンピック記念青少年総合センター幹事：渡部耀介（名古屋大学）、高木翼（北陸先端科学技術大学院大学）、西村祐輝（東京工業大学）連絡先：高木翼 tsubasa(a)jaist.ac.jp 本研究会では、通常の研究発表のほか、研究途中の学生を対象としたショートトークの枠を設けています。また、第一線で活躍する先生方の招待講演も予定しています。詳細は以下のページをご覧ください。 https://sites.google.com/view/xbmyl3svm2zgtsfmnyeq94xp43 たくさんの方々の出席をお待ちしています。また、先生方におかれましては、研究室の学生のみなさんに周知していただけると幸いです。よろしくお願いいたします。 -- 西村祐輝東京工業大学情報理工学院数理・計算科学系 mail: nishimura.y.as(a)m.titech.ac.jp

1 0

数学会秋季総合分科会講演申込受付中（リマインダ）
by Hiroshi SAKAI 11 Jun '23

11 Jun '23

皆様：（重複して受け取られた場合は申し訳ございません．）数学会「数学基礎論および歴史分科会」連絡責任評議員の酒井拓史です．数学会秋季総合分科会の講演申込締切が ** 6月16日(金) ** となっておりますが，現時点で一般講演の申込が6件と，少なめになっております．お話いただける話題をお持ちの方はぜひご講演いただき，分科会を盛り上げていただければ幸いです．どうかよろしくお願いいたします． 2023年度日本数学会秋季総合分科会 https://www.mathsoc.jp/activity/meeting/tohoku23sept/index.html 日程：9月20日(水) — 23日(土) 　　　（数学基礎論および歴史分科会は 22日(金)・23日(土) の予定）会場：東北大学講演申込期間：5月26日(金) — 6月16日(金) 酒井拓史

1 0

(no subject)
by Kohei SUENAGA 10 Jun '23

10 Jun '23

皆様，（複数お受け取りの際はご容赦ください．）京都大学の末永です． 9月11日〜9月14日に東大本郷キャンパスで開催予定の日本ソフトウェア科学会第40回大会の発表募集をお送りします．今年度は対面に重点を置いたハイブリッド開催とする予定です．（ご発表は基本的に対面でお願いする予定です．）どうぞご発表をご検討ください．昨年までは登壇発表を「一般セッション」と「研究会セッション」「ソフトウェア論文セッション」の３つのトラックに分けて募集していましたが，今年度は「一般セッション」「ソフトウェア論文セッション」の２つのトラックに分けて募集します．去年まで「研究会セッション」に申し込んでいた発表は今年は一般セッションにお申し込みください．トピックに応じてプログラムを編成します． # EasyChair のリンクは近日公開予定です．よろしくお願いいたします． == 日本ソフトウェア科学会第40回大会発表募集 • 開催日時：　- 併設イベント：2023年9月11日（月）　- 大会：2023年9月12日（火）〜14日（木） • 会場：東京大学本郷キャンパスとオンラインのハイブリッド開催（予定） • ホームページ URL：https://jssst2023.wordpress.com/cfp/ • 登壇発表申込締切：2023年7月14日（金） • 講演論文原稿締切：2023年8月10日（木） • デモ・ポスター発表申込締切：2023年8月10日（木） # ご発表のお誘い登壇発表とデモ・ポスター発表の場が用意されています．登壇発表は一般論文もソフトウェア論文も歓迎します．萌芽的な研究の発表の場としてもご検討ください．講演論文の共著者に会員が含まれていれば非会員でも登壇発表できます．未来のソフトウェアとそれを支えるソフトウェア科学に関する活発な議論を期待します．今年の大会は，対面開催に重点を置いたハイブリッド方式での開催を予定しております． # 昨年度からの変更点昨年までは登壇発表を「一般セッション」と「研究会セッション」「ソフトウェア論文セッション」の３つのトラックに分けて募集していましたが，今年度は「一般セッション」「ソフトウェア論文セッション」の２つのトラックに分けて募集します．去年まで「研究会セッション」に申し込んでいた発表は今年は一般セッションに申し込んでください．トピックに応じてプログラムを編成します．優秀なデモ・ポスター発表に対して与えられる「優秀デモ・ポスター賞」を新設しました．発表者は対面（現地参加）での発表をお願いします． # 締切 • 登壇発表申込締切：2023年7月14日（金） • 講演論文原稿締切：2023年8月10日（木） • デモ・ポスター発表申込締切：2023年8月10日（木） # トラックおよびセッション今大会では以下のトラックおよびセッションを設けます． - 登壇発表トラック - 一般セッション：ソフトウェア科学全般についての発表の場です．昨年まで「研究会セッション」での発表として募集していた論文は，今年はこのセッションでの発表として募集します．プログラムはトピックに応じて編成する予定です． - ソフトウェア論文セッション：先進的なアイデアを実現したソフトウェアの成果発表の場です．ソフトウェア論文特集号への投稿を前提としたメンタリングを受けることもできます．詳細はホームページをご覧ください． - デモ・ポスター発表トラック研究アイデアやそれを実現したソフトウェアの紹介と議論の場です．講演論文なしで発表することができます． # 発表申し込み要領 • 講演論文の著者 (デモ・ポスターセッションの場合は発表者) に正会員，学生会員または名誉会員が含まれている必要があります．ただし，発表申込時に入会手続中の場合も含みます．会場で登壇する人，会場で説明を行う人は非会員でも構いません． • 講演論文は EasyChair システムを使って PDF ファイルで提出してください． EasyChair へのリンクは近日中に公開します．詳しい講演論文作成要領はホームページで追ってお知らせします． • 講演論文を収録した講演論文集は学会ウェブサイトで大会終了後に公開予定です． # 授賞特に優秀な登壇発表を行った本会会員には「高橋奨励賞」が授与されます．また優秀な登壇発表を行った学生には「学生奨励賞」が，聴衆から多くの支持を集めた登壇発表を行った発表者には「優秀発表賞」が授与されます．優秀なデモ・ポスター発表には「優秀デモ・ポスター賞」が授与されます． # 学会誌への同時投稿講演論文は通常論文あるいはレター論文として学会誌に同時投稿できます．大会発表で得られたコメントを反映した上での大会後投稿も可能です．詳細は，ホームページをご覧ください． # お問合せ先 jssst2023pc at fos.kuis.kyoto-u.ac.jp このアドレスへの特定電子メール（広告・宣伝メール）の送信は拒否いたします． -- Kohei Suenaga (末永幸平), Ph.D Associate professor (准教授) Graduate School of Informatics, Kyoto University (京都大学情報学研究科) ksuenaga(a)gmail.com http://www.fos.kuis.kyoto-u.ac.jp/~ksuenaga/

1 0

教員公募（2件）：島根大学（セキュリティ分野／データサイエンス分野)
by Munehiro Iwami 09 Jun '23

09 Jun '23

皆様島根大学の岩見と申します。本学において以下2件の公募を行っております。関連する分野の方がおられましたら、ぜひ応募をご検討ください。お心当たりの方にも情報を共有いただけますと幸いです。よろしくお願いいたします。 ---------------------------------------------------------------- 募集人員：准教授または助教計2名所属：島根大学学術研究院理工学系担当：総合理工学部知能情報デザイン学科、自然科学研究科所在地：島根県松江市西川津町1060 勤務形態：常勤任期なし応募締切：2023年08月31日（必着）それぞれの詳細は以下をご覧ください。【セキュリティ分野】1名 https://www.shimane-u.ac.jp/introduction/recruit/recruit_prof/04_recruit_ri… 採用予定時期：2023年10月1日以降のできるだけ早い時期【データサイエンス分野】1名 https://www.shimane-u.ac.jp/introduction/recruit/recruit_prof/04_recruit_ri… 採用予定時期：2023年10月1日以降のできるだけ早い時期 ---------------------------------------------------------------- -- 以上、よろしくお願い致します。岩見宗弘島根大学学術研究院理工学系 E-mail: munehiro(a)cis.shimane-u.ac.jp

1 0

東北大ロジックセミナーのご案内(6月9日)
by YOKOYAMA Keita 06 Jun '23

06 Jun '23

皆様，東北大学の横山です．以下の通りセミナーを開催いたしますのでご案内いたします． https://sites.google.com/view/sendai-logic/ 日時：6月9日(金)15:00〜場所：東北大学理学研究科合同A棟801号室 (zoom配信あり) 講演者：Paul Shafer (University of Leeds) Title: The Rival--Sands theorem for partial orders, ascending/descending sequences, and Sigma_2 induction. Abstract: In their 1980 article, Rival and Sands proved two theorems inspired by Ramsey’s theorem for pairs. The second of these theorems states that every infinite partial order P of finite width contains an infinite chain C with the property that every element of P is comparable either with no element of C or with infinitely many elements of C. We show that this theorem is equivalent to the ascending/descending sequence principle plus the Sigma_2 induction scheme over RCA_0. This work is joint with Marta Fiori-Carones, Alberto Marcone, and Giovanni Soldà. どうぞよろしくお願いいたします．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 keita.yokoyama.c2(a)tohoku.ac.jp

1 0

RIMS 集合論研究集会の日程について
by FUJITA Hiroshi 03 Jun '23

03 Jun '23

Logic-ML購読者のみなさま、毎年開催されている RIMS 集合論研究集会ですが、今年度は、愛媛大学の藤田が世話人となって、 10月24日(火)から同27日(金)に、京都大学数理解析研究所にて、開催いたします。講演募集等のアナウンスは、もう少々お待ちください。藤田博司 <fujita.hiroshi.mh(a)ehime-u.ac.jp>

1 0

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

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml