- Logic-ml - fos.kuis.kyoto-u.ac.jp

集合論の特別なセミナー@静岡大学
by Diego A. Mejia 28 Feb '24

28 Feb '24

皆様、静岡大学理学部のメヒアです。静岡大学で3月6日（水）～8日（金）に集合論の特別なセミナーを開催します。メイントピックは Malliaris and Shelah の p=t の証明です。また、神戸大学から訪問していただく博士課程学生の講演も開催します。対象は大学院生ですが、集合論に興味のある方はだれでも歓迎します。場所：静岡大学静岡キャンパス理学部B棟213室プログラム: 3月6日（水） 10:00～12:00 Diego Mejia（静岡大学）: Malliaris' and Shelah's p=t (1/5) 13:00～15:00 Diego Mejia（静岡大学）: Malliaris' and Shelah's p=t (2/5) 15:30～17:00 後藤達哉（神戸大学） : 比較可能性と比較不可能性が定める基数不変量 18:00～懇親会（JR静岡駅の辺） 3月7日（木） 10:00～12:00 Diego Mejia（静岡大学）: Malliaris' and Shelah's p=t (3/5) 3月8日（金） 10:00～12:00 Diego Mejia（静岡大学）: Malliaris' and Shelah's p=t (4/5) 13:00～15:00 Diego Mejia（静岡大学）: Malliaris' and Shelah's p=t (5/5) 15:30～17:00 山添隆志（神戸大学） : On splitting* game: Avoiding head-on battles is sometimes useful -- Diego A. Mejía (PhD) Associate Professor Faculty of Science, Shizuoka University 836 Ohya, Suruga-ku, Shizuoka 422-8529 Japan Tel: +81-54-2384787

1 0

最終案内：PPL2024 (第26回プログラミングおよびプログラミング言語ワークショップ)
by Daisuke Kimura 27 Feb '24

27 Feb '24

皆様， 3月5日(火) -- 7日(木) に開催予定の第26回プログラミングおよびプログラミング言語ワークショップ (PPL2024) について参加登録締切直前ですので，最終案内をお送りいたします． ** お近くに参加未登録だが興味をもってもらえそうな方がいらっしゃいましたらお声掛けいただければ幸いです． ** 現地参加が難しい方も Zoom によるオンライン参加が可能ですので，是非ご検討下さい！参加登録の締切は以下の通りです．　2月29日(木) 23:59 (JST) (オプションのお弁当のご注文は本日中 2月27日(火) 23:59(JST) です) 詳しい情報は以下のウェブサイトをご覧ください． https://jssst-ppl.org/workshop/2024/ 多くの方々のご参加をお待ちしております． PPL2024 組織委員長木村大輔 -------------------------------------------------------------------------- 第26回プログラミングおよびプログラミング言語ワークショップ (PPL2024) 主催：日本ソフトウェア科学会プログラミング論研究会日程：2024年3月5日（火）-- 3月7日（木）会場：朱鷺メッセ新潟コンベンションセンターおよびオンラインのハイブリッド開催 URL ：https://jssst-ppl.org/workshop/2024/ PPL 2024 は，通常の研究会形式での，対面を中心としたハイブリッド開催を予定しています．対面を中心とするのは，PPL 2024 を以前の PPL と同様にカジュアルかつインフォーマルな意見交換や交流の場にするためであり，発表者には原則対面でご参加いただくことを考えております．それに加えて，より広範な方々に研究の議論にご参加いただくためにも，COVID-19 状況下で獲得した知見を生かしてオンラインでも参加者に非同期・同期的な聴講および質疑の場を提供する予定です．ただし，ポスター・デモセッションは対面でのみ行い，オンラインへの提供は行わない予定です．参加登録を学会支援機構のウェブサービスにて受け付けております．参加費および参加登録方法については次のウェブページをご参照ください． https://jssst-ppl.org/workshop/2024/registration.html ***** 参加登録締切 *************************************** 2月29日(木) 23:59 (JST) (お弁当を希望の場合は 2月27日(火) 23:59(JST) までです) ********************************************************** 問い合わせ先： ppl2024-oc(a)googlegroups.xn--com()-m53d8hra6b34cycyguk0hje6i3045cmp3h ppl2024-pc-chair(a)jssst-ppl.org （発表/プログラムについて） ================================================================ ・プラチナスポンサー株式会社ディー・エヌ・エー　KLab株式会社・ゴールドスポンサー株式会社フィックスターズ　合同会社コトイコンサルタンシー STORES株式会社・シルバースポンサー　株式会社HERP ** プログラム委員会 ** プログラム共同委員長　安部達也（千葉工業大学）プログラム共同委員長　川端英之（広島市立大学）石尾隆　　（公立はこだて未来大学）岩見宗弘　（島根大学）緒方一則　（日本IBM）倉光君郎　（日本女子大学）光来健一　（九州工業大学）酒井正彦　（名古屋大学）新屋良磨　（秋田大学）澄川靖信　（拓殖大学）高野保真　（北里大学）滝坂透　　（電子科技大学）田中哲　　（産業技術総合研究所）千田忠賢　（NTT社会情報研究所）長慎也　　（明星大学）立木秀樹　（京都大学）塚田武志　（千葉大学）中正和久　（山口大学）中村誠希　（東京工業大学）西村進　　（京都大学）蓮尾一郎　（国立情報学研究所）日高宗一郎（法政大学）細部博史　（法政大学）山崎進　　（北九州市立大学）山崎徹郎　（東京大学）和賀正樹　（京都大学） ** 組織委員会 ** 組織委員長　　　　　　　木村大輔　（東邦大学）組織副委員長　　　　　　今井敬吾　（ディー・エヌ・エー）財務担当　　　　　　　　池渕未来　（京都大学）財務副担当　　　　　　　森口草介　（東京工業大学）会場担当　　　　　　　　松田直祐　（湘南工科大学）会場副担当　　　　　　　橋本健二　（名古屋大学）渉外担当　　　　　　　　浅田和之　（東北大学）プログラム共同委員長　　安部達也　（千葉工業大学）プログラム共同委員長　　川端英之　（広島市立大学）前プログラム共同委員長　小宮常康　（電気通信大学）前プログラム共同委員長　松田一孝　（東北大学） ** 問い合わせ先 ** ・ワークショップ全般について　組織委員会：ppl2024-oc(a)googlegroups.com ・発表/プログラムについて　プログラム共同委員長：ppl2024-pc-chair(a)jssst-ppl.org

1 0

参加募集リマインダ：第26回プログラミングおよびプログラミング言語ワークショップ (PPL2024)
by Daisuke Kimura 22 Feb '24

22 Feb '24

皆様，東邦大学の木村と申します． 3月5日(火) -- 7日(木) に開催予定の第26回プログラミングおよびプログラミング言語ワークショップ (PPL2024) について ** 登録締切日の1週間前 ** となりましたのでリマインダをお送りいたします．参加登録の締切は以下の通りです．　2月29日(木) 23:59 (JST) なお，オプションのお弁当をご希望の方は少し早めの 2月27日(火) 23:59(JST) までですのでご注意ください．詳しい情報は以下のウェブサイトをご覧ください． https://jssst-ppl.org/workshop/2024/ 多くの方々のご参加をお待ちしております． PPL2024 組織委員長木村大輔 -------------------------------------------------------------------------- 第26回プログラミングおよびプログラミング言語ワークショップ (PPL2024) 主催：日本ソフトウェア科学会プログラミング論研究会日程：2024年3月5日（火）-- 3月7日（木）会場：朱鷺メッセ新潟コンベンションセンターおよびオンラインのハイブリッド開催 URL ：https://jssst-ppl.org/workshop/2024/ PPL 2024 は，通常の研究会形式での，対面を中心としたハイブリッド開催を予定しています．対面を中心とするのは，PPL 2024 を以前の PPL と同様にカジュアルかつインフォーマルな意見交換や交流の場にするためであり，発表者には原則対面でご参加いただくことを考えております．それに加えて，より広範な方々に研究の議論にご参加いただくためにも，COVID-19 状況下で獲得した知見を生かしてオンラインでも参加者に非同期・同期的な聴講および質疑の場を提供する予定です．ただし，ポスター・デモセッションは対面でのみ行い，オンラインへの提供は行わない予定です．参加登録を学会支援機構のウェブサービスにて受け付けております．参加費および参加登録方法については次のウェブページをご参照ください． https://jssst-ppl.org/workshop/2024/registration.html ***** 参加登録締切 *************************************** 2月29日(木) 23:59 (JST) (お弁当を希望の場合は 2月27日(火) 23:59(JST) までです) ********************************************************** 問い合わせ先： ppl2024-oc(a)googlegroups.xn--com()-m53d8hra6b34cycyguk0hje6i3045cmp3h ppl2024-pc-chair(a)jssst-ppl.org （発表/プログラムについて） ================================================================ ・プラチナスポンサー株式会社ディー・エヌ・エー　KLab株式会社・ゴールドスポンサー株式会社フィックスターズ　合同会社コトイコンサルタンシー STORES株式会社・シルバースポンサー　株式会社HERP ** プログラム委員会 ** プログラム共同委員長　安部達也（千葉工業大学）プログラム共同委員長　川端英之（広島市立大学）石尾隆　　（公立はこだて未来大学）岩見宗弘　（島根大学）緒方一則　（日本IBM）倉光君郎　（日本女子大学）光来健一　（九州工業大学）酒井正彦　（名古屋大学）新屋良磨　（秋田大学）澄川靖信　（拓殖大学）高野保真　（北里大学）滝坂透　　（電子科技大学）田中哲　　（産業技術総合研究所）千田忠賢　（NTT社会情報研究所）長慎也　　（明星大学）立木秀樹　（京都大学）塚田武志　（千葉大学）中正和久　（山口大学）中村誠希　（東京工業大学）西村進　　（京都大学）蓮尾一郎　（国立情報学研究所）日高宗一郎（法政大学）細部博史　（法政大学）山崎進　　（北九州市立大学）山崎徹郎　（東京大学）和賀正樹　（京都大学） ** 組織委員会 ** 組織委員長　　　　　　　木村大輔　（東邦大学）組織副委員長　　　　　　今井敬吾　（ディー・エヌ・エー）財務担当　　　　　　　　池渕未来　（京都大学）財務副担当　　　　　　　森口草介　（東京工業大学）会場担当　　　　　　　　松田直祐　（湘南工科大学）会場副担当　　　　　　　橋本健二　（名古屋大学）渉外担当　　　　　　　　浅田和之　（東北大学）プログラム共同委員長　　安部達也　（千葉工業大学）プログラム共同委員長　　川端英之　（広島市立大学）前プログラム共同委員長　小宮常康　（電気通信大学）前プログラム共同委員長　松田一孝　（東北大学） ** 問い合わせ先 ** ・ワークショップ全般について　組織委員会：ppl2024-oc(a)googlegroups.com ・発表/プログラムについて　プログラム共同委員長：ppl2024-pc-chair(a)jssst-ppl.org

1 0

新井敏康先生の最終講義
by Hiroshi SAKAI 22 Feb '24

22 Feb '24

皆様：神戸大学の酒井です．今年度で東京大学を退職される新井敏康先生が，次の日時・会場で最終講義をされます．日時：3月14日(木) 14:30 — 15:30 会場：東京大学駒場キャンパス数理科学研究科棟大講義室詳細および参加登録フォームが下記 web page にありますのでご覧ください．（参加には参加登録が必要となっています．）東京大学数理科学研究科談話会・数理科学講演会 https://www.ms.u-tokyo.ac.jp/seminar/colloquium/index.html よろしくお願いいたします．酒井拓史

1 0

TASE 2024: Deadline Extension (March 5, 2024)
by Daisuke Kimura 20 Feb '24

20 Feb '24

みなさま，東邦大学の木村です． 7月29日〜8月1日に中国貴州省で開催予定の国際会議 TASE 2024 の論文募集のご案内です． **** 締切が延長されました **** Abstract Submission (mandatory): February 27, 2024 (extended) Paper Submission : March 5, 2024 (extended) *************************** TASE2024 は，理論的知見を生かしてソフトウェア工学を発展させることを目的にしており，理論から実装まで幅広く論文を募集しております．招待講演はオックスフォード大学の吉田展子先生と北京大学の Zhenjiang Hu 先生の予定です．投稿をご検討いただければ幸いです．木村大輔 --------------------------------------------------------------------------------------------- CALL FOR PAPERS --------------------------------------------------------------------------------------------- TASE 2024: 18th International Symposium on Theoretical Aspects of Software Engineering July 29 - August 1, Guiyang City, China https://tase2024.github.io/ Overview: The 18th Theoretical Aspects of Software Engineering Conference (TASE 2024) will be held in Guiyang City, China on July 29 - August 1, 2024. TASE 2024 aims to bring together researchers and developers from academia and industry with interest in the theoretical aspects of software engineering. Modern society is increasingly dependent on software systems that are becoming larger and more complex. This poses new challenges to current software engineering methodologies that need to be enhanced using modern results from theoretical computer science. We invite submission of research papers on topics covering all theoretical aspects of software engineering, including those describing applications of theoretical computer science in industrial applications and software engineering methodologies. Topics of Interest: Authors are invited to submit high quality technical papers describing original and unpublished work in all theoretical aspects of software engineering. Topics of interest include, but are not limited to: * Abstract interpretation * Algebraic and co-algebraic specifications * AI for formal methods * Component-based software engineering * Cyber-physical systems * Deductive verification * Distributed and concurrent systems * Domain Engineering * Embedded and real-time systems * Feature-oriented software * Formal methods, verification and testing for AI systems * Run-time verification and monitoring * Semantic web and web services * Service-oriented and cloud computing * Software processes and workflows * Software architectures and design * Formal verification and program semantics * Fundamental theories and techniques for trustworthy AI systems * Integration of formal methods * Language design * Model checking and theorem proving * Model-driven engineering * Object-oriented systems * Probability in software engineering * Program analysis * Program logics and calculi * Requirements engineering * Reverse engineering and software maintenance * Software testing and quality assurance * Software safety, security and reliability * Specification and verification * Type systems and behavioral typing * Tools exploiting theoretical results Important Dates: Abstract Submission (mandatory): February 27, 2024 (extended) Paper Submission : March 5, 2024 (extended) Workshop Proposal Submission : March 10, 2024 Workshop Proposal Notification : March 21, 2024 Author Notification : April 10, 2024 Camera-ready Versions : May 10, 2024 Conference : July 29 - August 1, 2024 Submission: Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. The proceedings will be published in the Springer Lecture Notes in Computer Science series. Papers should be written in English and should not exceed 16 pages (excluding bibliography) for long papers and 6 pages (excluding bibliography) for short papers in LNCS format. Submissions should be made through the TASE 2024 submission page, handled by the EasyChair conference management system. Submission link: https://easychair.org/conferences/?conf=tase2024. Keynote Speakers: Nobuko Yoshida (University of Oxford) Zhenjiang Hu (Peking University) Committees: * General Chairs: Yongbin Qin (Guizhou University) Huibiao Zhu (East China Normal University) * Program Co-Chairs: Wei-Ngan Chin (National University of Singapore) Zhiwu Xu (Shenzhen University) * Workshop Chair: Qin Li (East China Normal University) * Program Committee: Yamine Ait Ameur (IRIT/INPT-ENSEEIHT) Guangdong Bai (The University of Queensland) Yuqi Chen (ShanghaiTech University) Liqian Chen (National University of Defense Technology) Wei-Ngan Chin (National University of Singapore) Zhe Hou (Griffith University) Daisuke Kimura (Toho University) Guoqiang Li (Shanghai Jiaotong University) Jiaxiang Liu (Shenzhen University) Yepang Liu (Southern University of Science and Technology) Frederic Mallet (Universite Nice Sophia-Antipolis) Dominique Mery (Universite de Lorraine, LORIA) Jun Pang (University of Luxembourg) Yu Pei (The Hong Kong Polytechnic University) Shengchao Qin (Xidian University) Yahui Song (National University of Singapore) Peter Thiemann (Universite Freiburg) Jingyi Wang (Zhejiang University) Cheng Wen (Xidian University) Zhilin Wu (Institute of Software, Chinese Academy of Sciences) Lili Xiao (Donghua University) Zhiwu Xu (Shenzhen University) Hui Xu (Fudan University) Bai Xue (Institute of Software, Chinese Academy of Sciences) Naijun Zhan (Institute of Software, Chinese Academy of Sciences) Min Zhang (East China Normal University) Hengjun Zhao (Southwest University) Lixiao Zheng (Huaqiao University) Huibiao Zhu (East China Normal University)

1 0

東大数理の３月の談話会のご案内
by Daisuke Ikegami 20 Feb '24

20 Feb '24

（重複して受け取られた方はご容赦ください） Logic-ml, kisoron-ml のみなさま：中山大学の池上と申します。東大数理の新井先生が今年度をもって定年退職されます。３月に東大数理の談話会で講演をされるので、東大の知り合いから以下のご案内の代理投稿を頼まれました。興味のある方、ぜひご参加ください。池上大祐 ------------------------------------------------ Logic-ml, kisoron-ml の皆様：東京大学大学院数理科学研究科における3月の談話会についてご案内申し上げます．講演者は本研究科の新井敏康先生と山本昌宏先生です．曜日と時間が通常と異なりますのでご注意ください．講演は対面形式で行い，オンラインでのライブ配信はいたしません．東大数理メンバー以外の方が参加される場合は後述のリンクからの参加登録をお願いいたします． ============================================== 日時：３月１４日（木）１４：３０～１７：００場所：東京大学大学院数理科学研究科大講義室（対面のみ） https://www.ms.u-tokyo.ac.jp/access/ ------ １４：３０～１５：３０講演者：新井敏康氏 (東京大学大学院数理科学研究科) 題目：40年くらい摘要：1980年代から証明論を研究してきました．この講演ではこの40年くらいの間に私に起きたことと順序数解析に関する最新の結果をお話しします． ------ １６：００～１７：００講演者：山本昌宏氏 (東京大学大学院数理科学研究科) 題目：結局，好きだった数学：外縁部を歩んで摘要：40年余りたってから，今から振り返ってみると，異分野連携や運営業務にも携わってきたなかで結局，自分の数学が大好きだったと思いいたりました．自分の数学は，制御理論，逆問題，非整数階偏微分方程式の３つで尽くされます．これらは，現在では研究が盛んな分野に発展していたり，依然としてマイナーな部分もありますが，私が，たとえば逆問題をやり始めた頃は我が国では研究者人口が少なかったです．その頃は（今でもそうかもしれません），これらの分野は，華々しい注目を浴びてはおらず数学研究の外縁部に位置していましたが，基礎として使いうる発想や方法論が辛抱強く蓄積されていた時期でした．そのような状況にひかれて研究者としての歩みを始めました．研究活動の状況もあって，海外との研究者との共同研究が最初から大半を占めました．このような経過は，第3者の評価はともかくとして，自分に大きな楽しみを恵んでくれました．この講演では，自分の数学の内容にふれつつ，研究の進め方などにも関連させて，回顧的になりすぎないようにお話しをしたいと思います． ------ 東大数理メンバー以外の方が参加される場合は、以下のリンクから参加登録をお願いいたします． https://forms.gle/m38f1KRi67ECuA7MA 多くの皆様のご参加をお待ちしております． 2023年度談話会委員阿部紀行，岩木耕平，河澄響矢（委員長），小池祐太補足1：談話会の情報は，下記の談話会のホームページに掲載されております． https://www.ms.u-tokyo.ac.jp/seminar/colloquium/ 補足2：次回の談話会は新学期4月以降となります． %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1 0

Call for Papers CIAA 2024
by Ryoma Sin'ya 19 Feb '24

19 Feb '24

みなさま，秋田大学の新屋です．（重複してお受け取りの節は何卒ご容赦ください）今年の9月3日から6日に秋田で開催されるオートマトンの応用・実装に関する国際会議 Conference on Implementation and Application of Automata (CIAA 2024) の論文募集の案内をお送りいたします． CIAAは今年で28回目の開催となりますが，日本での開催は初となります．応用・実装の名を冠していますが純粋に理論的な結果もスコープの範囲内です．投稿・参加をご検討いただければ幸いです．よろしくお願いいたします．新屋 Call for Papers --------------- The 28th International Conference on Implementation and Application of Automata (CIAA 2024) will be held in Akita, Japan, between September 3 – 6, 2024. CIAA 2024 website: http://www.math.akita-u.ac.jp/ciaa2024/ The International Conference on Implementation and Application of Automata (CIAA) is an annual conference in the field of theoretical computer science. The website of the conference series: http://www.informatik.uni-giessen.de/ciaa/ciaa_welcome.html The purpose of CIAA is to bring together members of the academic, research, and industrial community who have an interest in the theory, implementation, and application of automata and related structures. The conference concerns research on all aspects of implementation and application of automata and related structures, including theoretical aspects. The first edition was held under the name Workshop on Implementing Automata (WIA’96) in London, Ontario, Canada, in 1996. In 2000, the workshop WIA became the conference CIAA. The last 10 editions of the conference took place in: • CIAA 2023 Famagusta, Northern Cyprus • CIAA 2022 Rouen, France • CIAA 2021 Bremen, Germany • CIAA 2020 (cancelled), Loughborough, United Kingdom • CIAA 2019, Kosice, Slovakia • CIAA 2018, Charlottetown, PEI, Canada • CIAA 2017, Marne-la-Vallée (Paris), France • CIAA 2016, Seoul, South Korea • CIAA 2015, Umeå, Sweden • CIAA 2014, Giessen, Germany A “Best Paper Awards” will be presented to the author(s) of the paper judged to be the best on the basis of the referee reports. From 2014, these “Best Paper Awards” are named “Sheng Yu Awards” in honor of our late colleague, Sheng YU. Submission Guidelines --------------------- Submissions must be written in LaTeX using the LNCS LaTeX2e style and must not exceed 12 pages, bibliography included. If the authors believe that more details are essential to substantiate the main claims, they may include a clearly marked appendix that will be read at the discretion of the program committee. Simultaneous submissions of papers to journals or any other conference with published proceedings, or submitting previously published papers is not allowed. Only electronic submission of PDF documents is possible. The proceedings will be published in the Springer LNCS series and will be available at the conference. Authors should submit their contributions through Easychair: https://easychair.org/conferences/?conf=ciaa2024 List of Topics -------------- We solicit papers on all aspects of implementation and application of automata and related structures, including theoretical aspects, including but not limited to: • Algorithms on automata • Automata and logic • Bioinformatics • Complexity of automata operations • Compilers • Computer-aided verification • Concurrency • Data structure design for automata • Data and image compression • Design and architecture of automata software • Digital libraries • DNA/molecular/membrane computing • Document engineering • Editors, environments • Experimental studies and practical experiences • Industrial applications • Natural language processing • Networking • New algorithms for manipulating automata • Object-oriented modeling • Pattern-matching • Quantum computing • Speech and speaker recognition • Structured and semi-structured documents • Symbolic manipulation environments for automata • Teaching • Text processing • Techniques for graphical display of automata • VLSI • Viruses, related phenomena • World-wide web Important Dates --------------- • Submission deadline: April 19, 2024 • Notification to authors: May 24, 2024 • Camera-ready version: June 9, 2024 Invited Speakers ---------------- • Sang-Ki Ko, University of Seoul, Republic of Korea, • Orna Kupferman, Hebrew University, Israel • Hiroyuki Seki, Nagoya University, Japan Program Committee ----------------- • Marie-Pierre Béal, Université Paris-Est Marne-la-Vallée, France • Cezar Câmpeanu, University of Prince Edward Island, Canada • Pascal Caron, University of Rouen Normandy, France • Giuseppa Castiglione, University of Palermo, Italy • Erzsébet Csuhaj-Varjú, Eötvös Loránd University, Hungary • Frank Drewes, Umeå University, Sweden • Ömer Egecioglu, University of California Santa Barbara, US • Attila Egri-Nagy, Akita International University, Japan • Szilárd Zsolt Fazekas, Akita University, Japan (chair) • Yo-Sub Han, Yonsei University, South Korea • Markus Holzer, University of Giessen, Germany • Jarkko Kari, University of Turku, Finland • Manfred Kufleitner, University of Stuttgart, Germany • Martin Kutrib, University of Giessen, Germany • Galina Jirásková, Slovak Academy of Sciences, Slovakia • Markus Lohrey, University of Siegen, Germany • Sylvain Lombardy, LaBRI — CNRS — Institut Polytechnique de Bordeaux, France • Andreas Maletti, University of Leipzig, Germany • Andreas Malcher, University of Giessen, Germany • Florin Manea, University of Göttingen, Germany • Sebastian Maneth, University of Bremen, Germany • Ian McQuillan, University of Saskatchewan, Canada • Brink van der Merwe, Stellenbosch University, South Africa • Roland Meyer, Technical University of Braunschweig, Germany • Victor Mitrana, Polytechnic University of Madrid, Spain • Nelma Moreira, University of Porto, Portugal • František Mráz, Charles University, Czech Republic • Benedek Nagy, Eastern Mediterranean University, Northern Cyprus • Friedrich Otto, University of Kassel, Germany • Giovanni Pighizzini, University of Milan, Italy • Luca Prigioniero, Loughborough University, UK • Rogério Reis, University of Porto, Portugal • Michel Rigo, University of Liège, Belgium • Kai Salomaa, Queen’s University, Canada • Shinnosuke Seki, University of Electro-Communications, Japan • Ryoma Shinya, Akita University, Japan • Nicholas Tran, Santa Clara University, US • György Vaszil, University of Debrecen, Hungary • Mikhail Volkov, Ural Federal University, Russia • Hsu-Chun Yen, National Taiwan University, Taiwan Organizing Committee -------------------- • Szilárd Zsolt Fazekas (Akita University) • Shinnosuke Seki (University of Electro-Communications) • Ryoma Shinya (Akita University) • Akihiro Yamamura (Akita University) Publication ----------- CIAA 2024 proceedings will be published in the Springer Lecture Notes in Computer Science (LNCS). Extended versions of selected papers from the conference will be invited for consideration in a special issue of a journal to be announced. Venue ----- The conference will be held in the Atorion building in Akita, Japan. Contact ------- All questions should be addressed to Szilard Fazekas by email to ciaa2024(a)math.akita-u.ac.jp

1 0

（代理投稿）Friday Tea Time Zoom Seminar のお知らせ
by 西村祐輝 19 Feb '24

19 Feb '24

皆様東京工業大学の西村です。お茶の水女子大学の植木様より、代理投稿の依頼をいただきましたので、こちらに転送いたします。 --- 皆さま、第61回「Friday Tea Time Zoom Seminar」のお知らせです。皆様のご参加をお待ちしております。日時：2024年2月23日（金）（祝日開催にご注意ください） - 10:40〜11:00（コーヒータイム） - 11:00〜12:00（セミナー）開催形式：お茶の水女子大学からのハイブリッド形式講演者：高木翼さん（東京工業大学）タイトル：代数的仕様記述における始代数の特徴付けアブストラクト：代数的仕様記述とは, 普遍代数を応用して計算機科学における様々な仕様（自然数, 整数, 集合, リスト, スタック, 二分木など）を多ソート代数として記述する分野である. 代数的仕様記述では, 多ソートシグネチャから多ソート代数を構成する方法は一通りではないため, シグネチャの意図とは異なる代数が構成されてしまう可能性がある. 「シグネチャの意図通りである」ような代数は始代数であるとされ, その存在は同型の違いを除いて一意である. 本発表では, 多ソート代数が等式の公理からなる集合のモデルがなすクラス（このクラスはバラエティと呼ばれる）の始代数であることと, その代数が「ゴミ(junk)」と「混同(confusion)」を含まないことの同値性を示す. これはバラエティの始代数の特徴付けを与えていることになる. * Zoomでの参加方法については、本セミナーのウェブページ https://sites.google.com/view/fridayteatime/ をご確認ください。 * 現地でのご参加をご希望される方は、2/21までに担当の世話人（植木: uekijun46(a)gmail.xn--com)-853cnc8aj2hzc5nk648es22b. 世話人：植木潤（お茶の水女子大学）篠田万穂（お茶の水女子大学）関真一朗（青山学院大学）松坂俊輝（九州大学） --- 西村祐輝東京工業大学情報理工学院数理・計算科学系 mail: nishimura.y.as(a)m.titech.ac.jp

1 0

2nd call for paper of QEST-FORMATS 2024
by Masaki Waga 13 Feb '24

13 Feb '24

みなさま、京都大学の和賀です。重複してお受け取りの節は何卒ご容赦ください。今年9月9日から13日にカナダ・カルガリーにて開催される、量的システムに関する国際会議 QEST+FORMATS 2024 の第2回の論文募集の案内をお送りいたします。前回お送りしたものから、以下のように投稿期日などに変更があります。 IMPORTANT DATES (UPDATED) Abstract deadline: 10 April 2024 (Anytime on Earth) Paper deadline: 15 April 2024 (Anytime on Earth) Author notification: 31 May 2024 Camera ready submission: 17 June 2024 Conference: 9-13 September 2024 何卒投稿をご検討いただければ幸いです。和賀 The joint event for the International Conferences on Quantitative Evaluation of SysTems (QEST) and on Formal Modeling and Analysis of Timed Systems (FORMATS) 9-13 September 2024, Calgary, Canada, as part of the CONFEST 2024 umbrella conference https://www.qest-formats.org/ IMPORTANT DATES (UPDATED) Abstract deadline: 10 April 2024 (Anytime on Earth) Paper deadline: 15 April 2024 (Anytime on Earth) Author notification: 31 May 2024 Camera ready submission: 17 June 2024 Conference: 9-13 September 2024 SCOPE AND TOPICS The two flagship conferences of QEST (International Conference on Quantitative Evaluation of SysTems) and FORMATS (International Conference on Formal Modeling and Analysis of Timed Systems) are pursuing a strategic process of joining forces and sparking a new joint conference for quantitative modelling, analysis, and verification. This year, the two conferences form the QEST+FORMATS joint conference in 2024, which will be held on 9-13 September 2024 in Calgary, Canada, as part of the CONFEST 2024 umbrella conference. The joint conference is the leading forum for the quantitative evaluation and verification of systems, which aims to promote the study of fundamental and practical aspects of systems with quantitative nature (such as probability, timing, and cost), and brings together researchers from different disciplines that share interests in the modelling, design and analysis of computational systems. Systems of interest include biological and chemical systems; computer networks; cyber-physical systems; critical infrastructures; data-driven AI systems; energy systems; hardware and software systems; industrial systems; and mobility networks. The QEST+FORMATS joint conference also aims to attract researchers interested in real-time issues in hardware design, performance analysis, real-time software, scheduling, semantics and verification of timed, hybrid and probabilistic systems. Topics and scientific areas of interest include: -- Models and metrics for the correctness, performance, reliability, safety, and security of systems (stochastic, probabilistic, and non-deterministic models including Markov chains, Markov decision processes, automata, Petri nets, process algebra, max-plus algebra, and their variations); -- Languages and methods for the specification of quantitative properties of systems; -- Techniques, algorithms, and data structures for analysis, evaluation, and verification of the models mentioned above, e.g., for model checking, testing, constraint solving, scheduling, optimization, and worst-case execution time analysis; -- Quantitative and probabilistic aspects of programming; -- Data-driven and machine-learning techniques for the analysis, prediction, and verification of quantitative properties of systems; -- Case studies that highlight the role of quantitative specification, modelling, and evaluation in the design and analysis of systems, with emphasis on emerging problems and technologies; -- Novel software tools to support the practical application of research results in all of the above areas; The joint QEST+FORMATS conference is open to theoretical, experimental, and applicative research and will set up an artifact evaluation process. Papers may advance the state of the art on empirical approaches, simulation methods, analysis techniques, and applications to industrially relevant case studies. The joint conference will have two tracks associated with QEST and FORMATS. The authors are required to select one of these tracks when submitting their papers. This is only used to facilitate the review process. This year, QEST+FORMATS will incorporate a special session on: -- Data-driven verification and synthesis of cyber-physical systems. We encourage the submission of papers on all data-driven approaches related to the formal analysis, verification, and synthesis of cyber-physical systems, including learning techniques for safety-critical systems and safe learning of such systems. SUBMISSIONS QEST+FORMATS 2024 considers three types of papers (authors will be able to specify the type of contribution upon submission): -- Research papers: Theoretical, methodological, and application-based contributions that advance the understanding on a topic or issue, describe the development of new analysis processes and techniques, or apply quantitative methods to relevant case studies. -- Tool papers: New tools and the formalisms they support. focusing on the software architecture and practical implementation and use. Tool papers must be accompanied by an artifact in the Artifact Evaluation. -- Work-in-progress papers: We offer an opportunity to present preliminary results and receive feedback from the community. Work-in-progress contributions are not required to be fully worked-out approaches, for example regarding validation or technical depth; however the presented ideas should be mature enough to appreciate soundness and how they advance our knowledge. Research and tool papers can be regular or short: -- Regular papers must not exceed 14 pages, excluding references. -- Short papers should be limited to 7 pages, also excluding references. All papers can have an appendix containing supporting material. Note that reviewers are not required to read the appendix to fully assess the merits of the paper. Work-in-progress papers must not exceed 4 pages including references. All papers must be submitted in Springer’s LNCS format. All submitted papers must be unpublished and not be submitted for publication elsewhere. Papers should be submitted electronically using EasyChair: https://easychair.org/conferences/?conf=qestformats2024 Springer encourages authors to include their ORCIDs in their papers. Authors should consult Springer's authors' guidelines and use Springer's LaTeX templates for the preparation of their papers. Submitted papers not complying with the above guidelines may be rejected without undergoing review. The top two best papers of the conference will be selected for the QEST Award and the FORMATS Oded Maler Award. PUBLICATIONS All accepted papers will be presented and discussed at the conference by one of the authors. The QEST+FORMATS 2024 proceedings will be published in the Springer LNCS series and indexed by ISI Web of Science, Scopus, ACM Digital Library, dblp, Google Scholar. All submitted papers will be evaluated by at least three reviewers on the basis of their originality, technical quality, scientific or practical contribution to the state of the art, methodology, clarity, and adequacy of references. ARTIFACT EVALUATION Reproducibility of experimental results is crucial to foster an atmosphere of trustworthy, open, and reusable research. To improve and reward reproducibility, QEST+FORMATS 2024 includes a dedicated Artifact Evaluation (AE). Submission of an artifact is mandatory for tool papers (both regular and short), and optional but encouraged for research papers where it can support the results presented in the paper. Artifacts will be reviewed concurrently with the paper review process, and accepted papers with a successfully evaluated artifact will receive a badge to be shown on the published paper's title page. Detailed guidelines for preparation and submission of artifacts will be available on the conference website. Exceptions to the submission guidelines may be granted by the PC chairs in cases where the tool cannot in any reasonable way be run by the AE committee. SPECIAL ISSUES A selection of the best papers (excluding work-in-progress papers) will be invited to submit an extended version of their work to special issues in the International Journal on Software Tools for Technology Transfer (STTT) and the Performance Evaluation (PEVA) journals. COMMITTEES Program Chairs Jane Hillston, Edinburgh University, UK Sadegh Soudjani, Max Planck Institute, Germany Track Chairs Morteza Lahijanian, UC Boulder, USA (QEST) Masaki Waga, Kyoto University, Japan (FORMATS) Publicity Chairs Jyotirmoy Deshmukh, University of Southern California, USA Patrick Totzke, University of Liverpool, UK Jie An, National Institute of Informatics (NII) in Tokyo, Japan Artifact Evaluation Chairs Tobias Meggendorfer, Lancaster University Leipzig, Germany Andrea Vandin, Sant'Anna School for Advanced Studies, Italy For any questions, feel free to contact the program chairs Jane Hillston (Jane.Hillston(a)ed.ac.uk) and Sadegh Soudjani (sadegh(a)mpi-sws.org). -- Masaki Waga Assistant Professor, Graduate School of Informatics, Kyoto University mwaga(a)fos.kuis.kyoto-u.ac.jp https://www.fos.kuis.kyoto-u.ac.jp/~mwaga/

1 0

Fwd: CfP: Relational and Algebraic Methods in Computer Science, RAMiCS 2024, Prague
by Jérémy Dubut 12 Feb '24

12 Feb '24

FYI ---------- Forwarded message --------- From: <fahrenberg(a)gmail.com> Date: Sun, Jan 21, 2024 at 15:10 Subject: CfP: Relational and Algebraic Methods in Computer Science, RAMiCS 2024, Prague To: <dubutjeremy(a)gmail.com> Apologies for multiple copies of this email; please distribute as you see fit. CALL FOR PAPERS RAMiCS 2024 21st International Conference on Relational and Algebraic Methods in Computer Science Prague, Czech Republic 19--23 August 2024 collocated with AiML https://ramics-conf.github.io/2024/ IMPORTANT DATES Abstract submission: 16 February 2024 Paper submission: 23 February 2024 Author notification: 4 May 2024 Final version due: 1 June 2024 Conference dates: 19-23 August 2024 INVITED SPEAKERS Tomasz Kowalski, Jagiellonian University in Kraków, Poland Sarah Winter, IRIF, Université Paris Cité, France SCOPE Since 1994, the RAMiCS conference series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond. Theoretical aspects include semigroups, residuated lattices, semi- rings, Kleene algebras, relation algebras, quantales and other algebras; their connections with program logics and other logics; their use in the theories of automata, concurrency, formal languages, games, networks and programming languages; the development of algebraic, algorithmic, category-theoretic, coalgebraic and proof- theoretic methods for these theories; their formalisation with theorem provers. Applications include tools and techniques for program correctness, specification and verification; quantitative and qualitative models and semantics of computing systems and processes; algorithm design, automated reasoning, network protocol analysis, social choice, optimisation and control. We are calling for submission of original work not published or under review for publication elsewhere. The proceedings will be published as part of Springer LNCS. As for earlier RAMiCS conferences, we intend to publish a journal special issue with revised and extended versions of a selection of the best papers. Submission is via EasyChair at https://easychair.org/conferences/?conf=ramics2024 For more information, see https://ramics-conf.github.io/2024/

1 1

第58回MLG数理論理学研究集会(2/16--18)
by Hitoshi Omori 09 Feb '24

09 Feb '24

みなさま (重複してお受け取りの際はどうぞご容赦ください。) 東北大学の大森仁と申します。直前の連絡になってしまいましたが、第58回MLG数理論理学研究集会のプログラムが確定しましたのでご案内申し上げます。 https://sites.google.com/view/mlg58/home/program 参加は無料ですので、お気軽にお越しください。なお、懇親会への参加を希望される方は予約などの都合上14日までに私までご連絡いただけますと幸いです。どうぞよろしくお願いいたします。大森仁

1 0

Talk by Mance about ``Descriptive complexity in number theory and dynamics'' on 1 March
by 赤間陽二 08 Feb '24

08 Feb '24

お誘い合わせの上ご来訪ください。正規数の背景の説明も丁寧にするようにお願いしています。 TITLE: Descriptive complexity in number theory and dynamics SPEAKER: William Mance, University of Adam Mickiewicz in Poznan, Poland DATE: 16:00-18:00, 1 March 2024 VENUE: Sendai Logic Seminar, The Mathematical Institute, Graduate School of Science, Tohoku University Room 801, Science Complex A ABSTRACT: Informally, a real number is normal in base b if in its b-ary expansion, all digits and blocks of digits occur as often as one would expect them to, uniformly at random. We will denote the set of numbers normal in base b by \mathcal{N}(b). Kechris asked several questions involving descriptive complexity of sets of normal numbers. The first of these was resolved in 1994 when Ki and Linton proved that \mathcal{N}(b) is \boldsymbol{Pi}_3^0-complete. Further questions were resolved by Becher, Heiber, and Slaman who showed that \bigcap_{b=2}^\infty \mathcal{N}(b) is \boldsymbol{\Pi}_3^0-complete and that \bigcup_{b=2}^infty \mathcal{N}(b) is \boldsymbol{\Sigma}_4^0-complete. Many of the techniques used in these proofs can be used elsewhere. We will discuss recent results where similar techniques were applied to solve a problem of Sharkovsky and Sivak and a question of Kolyada, Misiurewicz, and Snoha. Furthermore, we will discuss a recent result where the set of numbers that are continued fraction normal, but not normal in any base b, was shown to be complete at the expected level of D_2(\boldsymbol{\Pi}_3^0). An immediate corollary is that this set is uncountable, a result (due to Vandehey) only known previously assuming the generalized Riemann hypothesis. Contact: Yohji Akama The Mathematical Institute, Graduate School of Science, Tohoku University yoji.akama.e8(a)tohoku.ac.jp

1 0

[CALL FOR PARTICIPATION] AWPL 2024: 6th Asian Workshop on Philosophical Logic 4-6 March 2024
by Katsuhiko Sano 07 Feb '24

07 Feb '24

===================================================== AWPL 2024: 6th Asian Workshop on Philosophical Logic 4-6 March 2024 Hokkaido University, Sapporo, Japan https://sites.google.com/view/awpl2024/ ===================================================== [CALL FOR PARTICIPATION] We are happy to announce that registration for Asian Workshop on Philosophical Logic 2024 (AWPL 2024) is now open: https://sites.google.com/view/awpl2024/registration 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). AWPL2024 is hosted by the Laboratory of Philosophy and Ethics, Hokkaido University, and co-sponsored by Grant-in-Aid for Scientific Research (C) Grant No. JP19K12113, and under the auspices of CAEP (Center for Applied Ethics and Philosophy), Faculty of Humanities and Human Sciences, Hokkaido University. [IMPORTANT DATES] Registration deadline: *20 February, 2024* Workshop dates: *4*-6 March 2024 Satellite event: 7 March 2024 (Sapporo Workshop on Hybrid Logic and Proof Theory: https://sites.google.com/view/sapporoworkshop2024spring) [REGISTRATION] To register for the workshop please refer to the registration section of https://sites.google.com/view/awpl2024/registration. [INVITED SPEAKERS] Patrick Blackburn (University of Roskilde) Ryo Kashima (Tokyo Institute of Technology) Shawn Standefer (National Taiwan University) Fan Yang (Utrecht University) [ACCEPTED PAPERS] https://sites.google.com/view/awpl2024/accepted-papers [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) Sankha S Basu (Indraprastha Institute of Information Technology Delhi) Hans van Ditmarsch (University of Toulouse, CNRS, IRIT) Sujata Ghosh (Indian Statistical Institute) Ryo Hatano (Tokyo University of Science) - Co-chair Yuichiro Hosokawa (Gunma Prefectural Women’s University) Ryo Ito (Waseda University) Raheleh Jalali (Utrecht University) Fengkui Ju (Beijing Normal University) Makoto Kanazawa (Hosei University) Md. Aquil Khan (Indian Institute of Technology Indore) Daisuke Kimura (Toho University) 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) Tadeusz Litak (FAU Erlangen-Nürnberg) Fenrong Liu (Tsinghua University) Hu Liu (Sun Yat-Sen University) Minghui Ma (Sun Yat-Sen University) Koji Mineshima (Keio University) Hitoshi Omori (Tohoku University) Takuro Onishi (Kyoto University) Elise Perrotin (CRIL, Lens) Teeradaj Racharak (Japan Advanced Institute of Science and Technology) Ram Ramanujam (Institute of Mathematical Sciences, Chennai) Katsuhiko Sano (Hokkaido University) - Chair Takahiro Sawasaki (National Institute of Informatics) Satoshi Tojo (Asia University) Jonni Virtema (University of Sheffield) Ren-June Wang (National Chung-Cheng University) Yì Nicholas Wáng (Sun Yat-sen University) Tomoyuki Yamada (Hokkaido University) Byeong-Uk Yi (University of Toronto) [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 the website: https://sites.google.com/view/awpl2024

1 0

参加募集：PPL2024 (第26回プログラミングおよびプログラミング言語ワークショップ)
by Daisuke Kimura 05 Feb '24

05 Feb '24

皆様（重複ご容赦ください），東邦大学の木村と申します． 3月5日(火) -- 7日(木) に朱鷺メッセ新潟コンベンションセンター (およびオンライン) で開催される，第26回プログラミングおよびプログラミング言語ワークショップ (PPL2024) の参加登録についてのご案内です．詳しい情報は以下のウェブサイトをご覧ください． https://jssst-ppl.org/workshop/2024/ プログラムも公開されました！参加登録の締切は以下の通りです．　2月29日(木) 23:59 (JST) なお，オプションのお弁当をご希望の方は少し早めの 2月27日(火) 23:59(JST) までですのでご注意ください．多くの方々のご参加をお待ちしております． PPL2024 組織委員長木村大輔 -------------------------------------------------------------------------- 第26回プログラミングおよびプログラミング言語ワークショップ (PPL2024) 主催：日本ソフトウェア科学会プログラミング論研究会日程：2024年3月5日（火）-- 3月7日（木）会場：朱鷺メッセ新潟コンベンションセンターおよびオンラインのハイブリッド開催 URL ：https://jssst-ppl.org/workshop/2024/ PPL 2024 は，通常の研究会形式での，対面を中心としたハイブリッド開催を予定しています．対面を中心とするのは，PPL 2024 を以前の PPL と同様にカジュアルかつインフォーマルな意見交換や交流の場にするためであり，発表者には原則対面でご参加いただくことを考えております．それに加えて，より広範な方々に研究の議論にご参加いただくためにも，COVID-19 状況下で獲得した知見を生かしてオンラインでも参加者に非同期・同期的な聴講および質疑の場を提供する予定です．ただし，ポスター・デモセッションは対面でのみ行い，オンラインへの提供は行わない予定です．参加登録を学会支援機構のウェブサービスにて受け付けております．参加費および参加登録方法については次のウェブページをご参照ください． https://jssst-ppl.org/workshop/2024/registration.html ***** 参加登録締切 *************************************** 2月29日(木) 23:59 (JST) (お弁当を希望の場合は 2月27日(火) 23:59(JST) までです) ********************************************************** 問い合わせ先： ppl2024-oc(a)googlegroups.xn--com()-m53d8hra6b34cycyguk0hje6i3045cmp3h ppl2024-pc-chair(a)jssst-ppl.org （発表/プログラムについて） ================================================================ ・プラチナスポンサー株式会社ディー・エヌ・エー　KLab株式会社・ゴールドスポンサー株式会社フィックスターズ　合同会社コトイコンサルタンシー STORES株式会社・シルバースポンサー　株式会社HERP ** プログラム委員会 ** プログラム共同委員長　安部達也（千葉工業大学）プログラム共同委員長　川端英之（広島市立大学）石尾隆　　（公立はこだて未来大学）岩見宗弘　（島根大学）緒方一則　（日本IBM）倉光君郎　（日本女子大学）光来健一　（九州工業大学）酒井正彦　（名古屋大学）新屋良磨　（秋田大学）澄川靖信　（拓殖大学）高野保真　（北里大学）滝坂透　　（電子科技大学）田中哲　　（産業技術総合研究所）千田忠賢　（NTT社会情報研究所）長慎也　　（明星大学）立木秀樹　（京都大学）塚田武志　（千葉大学）中正和久　（山口大学）中村誠希　（東京工業大学）西村進　　（京都大学）蓮尾一郎　（国立情報学研究所）日高宗一郎（法政大学）細部博史　（法政大学）山崎進　　（北九州市立大学）山崎徹郎　（東京大学）和賀正樹　（京都大学） ** 組織委員会 ** 組織委員長　　　　　　　木村大輔　（東邦大学）組織副委員長　　　　　　今井敬吾　（ディー・エヌ・エー）財務担当　　　　　　　　池渕未来　（京都大学）財務副担当　　　　　　　森口草介　（東京工業大学）会場担当　　　　　　　　松田直祐　（湘南工科大学）会場副担当　　　　　　　橋本健二　（名古屋大学）渉外担当　　　　　　　　浅田和之　（東北大学）プログラム共同委員長　　安部達也　（千葉工業大学）プログラム共同委員長　　川端英之　（広島市立大学）前プログラム共同委員長　小宮常康　（電気通信大学）前プログラム共同委員長　松田一孝　（東北大学） ** 問い合わせ先 ** ・ワークショップ全般について　組織委員会：ppl2024-oc(a)googlegroups.com ・発表/プログラムについて　プログラム共同委員長：ppl2024-pc-chair(a)jssst-ppl.org

1 0

Talk by Bakh Khoussainov (Feb 8, 11.00- at Kyoto University)
by Kazushige TERUI 02 Feb '24

02 Feb '24

みなさま来週木曜日に京都大学にて下記の講演があります。よろしければ、皆様お誘いあわせの上ご参加ください。数理解析研究所照井一成 Dear all, There will be a seminar talk next Thursday at Kyoto University. See below for the detail. Best regards, Kazushige Terui ----------------------------- Date: February 8th, starting at 11.00am Venue: Room 478 in the Research Building No.2, Main Campus of Kyoto University (#34 on the map below) https://www.kyoto-u.ac.jp/en/access/main-campus-map 場所：京都大学本部構内総合研究２号館４７８号室（下記リンク３４番の建物です） https://www.kyoto-u.ac.jp/ja/access/campus/yoshida/map6r-y Speaker: Bakh Khoussainov (UESTC, China and The University of Auckland, New Zealand) Title: Probability structures Abstract: We develop a framework for reasoning about statistical properties in relational structures. To achieve this, we introduce smooth probability structures defined as relational structures equipped with a sequence of probability distributions. We design a language, termed LSPS, which is dedicated to reasoning about statistical properties in relational structures. Given a smooth probability structure, with each formula $\phi(\bar{x})$ in the LSPS language we associate a family of probability spaces that encapsulate the statistical information about all tuples that satisfy $\phi$. This fusion of connecting relational structures and statistics is a novel concept. We study the questions of axiomatizability, decidability, and undecidability of valid LSPS formulas. Finally, if time permits, we initiate the investigation of algorithmic questions suited for smooth probability structures.

1 0

量子コンピュータ・ハンズオンワークショップ開催＠中部大学のお知らせ
by NISHIMURA Harumichi 30 Jan '24

30 Jan '24

logic-mlの皆様名古屋大学の西村治道と申します。下記の量子コンピューティングイベントの運営者の一員として本案内を流させていただきます。ご参加いただけましたら幸甚です。中部大学にて2024年3月4日(月)～3月 7日(木)の日程で、量子コンピュータ・ハンズオンワークショップを開催します。登録フォーム( https://forms.office.com/r/R7bPRitNEA )から【事前登録の上】どうぞご気軽にご参加ください。部分的なご参加も歓迎しております。参加申込締切・対面参加申込締切：2024年2月4日（日）・ウェビナー参加申込締切：2024年3月1日（金）定員・ウェビナー：3月4、5、6日 500名・対面：2024年3月4、5、6日100名、7日 40名イベントの詳細はホームページhttps://quantinuum.co.jp/n20231225/ をご確認ください. 皆様のご参加を心よりお待ちしております。よろしくお願いいたします。以下、開催概要です。 •イベント概要：量子力学を計算理論に応用する新しい分野，量子計算に関するハンズオンワークショップです。このハンズオンワークショップでは，量子計算の分野で活躍する研究者による講演、量子コンピュータの研究・事業開発を行っている企業による講演やTKETを利用した量子プログラミングのハンズオン・演習を実施します。 •開催期間：2024年3月4日(月)～3月7日(木) •開催場所：中部大学（〒487-8501 愛知県春日井市松本町1200番地）10号館 •開催方法：対面(中部大学10号館)とZoomウェビナーによるハイブリッド開催 •主催：Quantinuum K.K. •共催：中部大学AI数理データサイエンスセンター •協力：名古屋大学、日本マイクロソフト株式会社、三井物産株式会社 •プログラム概要： ○3月4日：ハイブリット形式（対面＋ウェビナー）内容 •量子コンピュータ研究の歴史的俯瞰 (小澤正直中部大学特任教授) •量子コンピュータの現状 (米澤康好 Quantinuum K.K.) •三井物産における量子コンピュータ取組 (濱野倫弥三井物産株式会社) •Microsoftにおける量子コンピュータの取り組みとAzure Quantumのご紹介 (講演者調整中日本マイクロソフト株式会社) ○3月5日：ハイブリット形式（対面＋ウェビナー）内容 •量子コンピュータの基礎 (西村治道名古屋大学教授) •量子アルゴリズム-1 (フランソワ・ルガル名古屋大学教授) •量子アルゴリズム-2 (河野泰人中部大学教授) •量子コンピュータの応用 (鈴木肇中部大学教授) ○3月6日：ハイブリット形式（対面＋ウェビナー）内容 •TKETを用いた量子コンピューティング (米澤康好 Quantinuum K.K.) ○3月7日：対面のみ内容 •TKETを用いた量子コンピューティング演習 (米澤康好 Quantinuum K.K.) •運営メンバー：小澤正直(中部大学)、河野泰人(中部大学)、鈴木肇(中部大学)、西村治道(名古屋大学)、ルガルフランソワ(名古屋大学)、米澤康好(Quantinuum K.K.) •問い合わせ先：米澤康好 yasuyoshi.yonezawa(at)quantinuum.com<http://quantinuum.com> <http://quantinuum.com>

1 0

ラムダ計算と論理のセミナー
by Naosuke Matsuda 27 Jan '24

27 Jan '24

みなさま湘南工科大学の松田直祐と申します。以下の要領でラムダ計算と論理のセミナーを開催させていただきます。 [日程] 2024年3月8日(金)13:00 - 10日(日)12:00 [開催場所] ロッジ丘 949-6212 新潟県南魚沼郡湯沢町大字三国469-7 [世話人] 松田直祐（湘南工科大学）新屋良磨（秋田大学） [ホームページ] https://sites.google.com/view/lls2024 講演枠や講演時間を事前に固定せず，当日の参加者に状況に合わせて柔軟に計画をしてもらうようになっています。議論し成果を挙げる場・学生の簡単な発表の場・研究者同士の交流の場など，さまざまな用途で利用していただければ幸いです。ラムダ計算・論理の話題に拘わらず，周辺の分野についての講演を広く募集しております。詳細や申し込み方法についてはホームページをご確認ください。 -- 松田直祐湘南工科大学情報学部情報学科〒251-8511 神奈川県藤沢市辻堂西海岸1-1-25 Tel: 0466-30-0219 matsuda.naosuke(a)gmail.com

1 0

TASE 2024: Call for Papers
by Daisuke Kimura 25 Jan '24

25 Jan '24

みなさま，東邦大学の木村です．重複してお受け取りの場合はご容赦ください． 7月29日〜8月1日に中国貴州省で開催予定の国際会議 TASE 2024 の論文募集のご案内です． TASE2024 は，理論的知見を生かしてソフトウェア工学を発展させることを目的にしており，理論から実装まで幅広く論文を募集しております．招待講演はオックスフォード大学の吉田展子先生と北京大学の Zhenjiang Hu 先生の予定です．投稿をご検討いただければ幸いです．木村大輔 --------------------------------------------------------------------------------------------- CALL FOR PAPERS --------------------------------------------------------------------------------------------- TASE 2024: 18th International Symposium on Theoretical Aspects of Software Engineering https://tase2024.github.io/ Overview: The 18th Theoretical Aspects of Software Engineering Conference (TASE 2024) will be held in Guiyang City, China on July 29 - August 1, 2024. TASE 2024 aims to bring together researchers and developers from academia and industry with interest in the theoretical aspects of software engineering. Modern society is increasingly dependent on software systems that are becoming larger and more complex. This poses new challenges to current software engineering methodologies that need to be enhanced using modern results from theoretical computer science. We invite submission of research papers on topics covering all theoretical aspects of software engineering, including those describing applications of theoretical computer science in industrial applications and software engineering methodologies. Topics of Interest: Authors are invited to submit high quality technical papers describing original and unpublished work in all theoretical aspects of software engineering. Topics of interest include, but are not limited to: * Abstract interpretation * Algebraic and co-algebraic specifications * AI for formal methods * Component-based software engineering * Cyber-physical systems * Deductive verification * Distributed and concurrent systems * Domain Engineering * Embedded and real-time systems * Feature-oriented software * Formal methods, verification and testing for AI systems * Run-time verification and monitoring * Semantic web and web services * Service-oriented and cloud computing * Software processes and workflows * Software architectures and design * Formal verification and program semantics * Fundamental theories and techniques for trustworthy AI systems * Integration of formal methods * Language design * Model checking and theorem proving * Model-driven engineering * Object-oriented systems * Probability in software engineering * Program analysis * Program logics and calculi * Requirements engineering * Reverse engineering and software maintenance * Software testing and quality assurance * Software safety, security and reliability * Specification and verification * Type systems and behavioral typing * Tools exploiting theoretical results Important Dates: Abstract Submission : February 17, 2024 (not necessary even if missed) Paper Submission : February 24, 2024 (AoE) Workshop Proposal Submission : March 10, 2024 Workshop Proposal Notification : March 21, 2024 Author Notification : April 10, 2024 Camera-ready Versions : May 10, 2024 Conference : July 29 - August 1, 2024 Submission: Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. The proceedings will be published in the Springer Lecture Notes in Computer Science series. Papers should be written in English and should not exceed 16 pages (excluding bibliography) for long papers and 6 pages (excluding bibliography) for short papers in LNCS format. Submissions should be made through the TASE 2024 submission page, handled by the EasyChair conference management system. Submission link: https://easychair.org/conferences/?conf=tase2024. Keynote Speakers: Nobuko Yoshida (University of Oxford) Zhenjiang Hu (Peking University) Committees: * General Chairs: Yongbin Qin (Guizhou University) Huibiao Zhu (East China Normal University) * Program Co-Chairs: Wei-Ngan Chin (National University of Singapore) Zhiwu Xu (Shenzhen University) * Workshop Chair: Qin Li (East China Normal University)

1 0

QEST+FORMATS 2024: Call for Papers
by Masaki Waga 16 Jan '24

16 Jan '24

みなさま、京都大学の和賀です (上手く配送できていなかったようですので再送いたします)。重複してお受け取りの節は何卒ご容赦ください。今年9月9日から13日にカナダ・カルガリーにて開催される、量的システムに関する国際会議 QEST+FORMATS 2024 の論文募集の案内をお送りいたします。本年より運営面などで変更がありますので、補足説明をさせてください。システムに対する量的解析に関する国際会議 QEST (International Conference on Quantitative Evaluation of SysTems)と実時間制約付きシステムに関する国際会議 FORMATS (Formal Modeling and Analysis of Timed Systems) は共に量的な性質が重要となるシステムに関する旗艦国際会議として、20年以上に渡り運営されてきました。確率・時間・コストなどが重要となる、量的システム全般に関する研究を更に発展させるべく、本年よりQESTとFORMATSを統合して新たな国際会議とするプロセスを始めることとなりました。本年はその第一歩として QEST+FORMATS としての合同運営をいたします。例えば Webページ (https://www.qest-formats.org/committees.html) にもありますように、PCチェアやPCメンバーは QEST+FORMATS 全体でのプログラム委員となります。一方で、本年は査読上の都合で QEST と FORMATS のそれぞれのトラックに論文を投稿する形となります。ご投稿の際は旧QESTと旧FORMATSの近い方のトラックに投稿いただければと存じます。Proceeding やプログラム自体は合同のものとなります。 # なお先程確認した際にはEasy ChairにTrackの選択肢がありませんでした。PC Chairに確認いたします。また旧来の QEST や FORMATS と同様に、 CONCUR などを含む CONFEST 2024 の一部としての開催になります。何卒投稿をご検討いただければ幸いです。和賀 The joint event for the International Conferences on Quantitative Evaluation of SysTems (QEST) and on Formal Modeling and Analysis of Timed Systems (FORMATS) 9-13 September 2024, Calgary, Canada, as part of the CONFEST 2024 umbrella conference https://www.qest-formats.org/ Abstract deadline: 26 March 2024 (Anytime on Earth) Paper deadline: 31 March 2024 (Anytime on Earth) SCOPE AND TOPICS The two flagship conferences of QEST (International Conference on Quantitative Evaluation of SysTems) and FORMATS (International Conference on Formal Modeling and Analysis of Timed Systems) are pursuing a strategic process of joining forces and sparking a new joint conference for quantitative modelling, analysis, and verification. This year, the two conferences form the QEST+FORMATS joint conference in 2024, which will be held on 9-13 September 2024 in Calgary, Canada, as part of the CONFEST 2024 umbrella conference. The joint conference is the leading forum for the quantitative evaluation and verification of systems, which aims to promote the study of fundamental and practical aspects of systems with quantitative nature (such as probability, timing, and cost), and brings together researchers from different disciplines that share interests in the modelling, design and analysis of computational systems. Systems of interest include biological and chemical systems; computer networks; cyber-physical systems; critical infrastructures; data-driven AI systems; energy systems; hardware and software systems; industrial systems; and mobility networks. The QEST+FORMATS joint conference also aims to attract researchers interested in real-time issues in hardware design, performance analysis, real-time software, scheduling, semantics and verification of timed, hybrid and probabilistic systems. Topics and scientific areas of interest include: -- Models and metrics for the correctness, performance, reliability, safety, and security of systems (stochastic, probabilistic, and non-deterministic models including Markov chains, Markov decision processes, automata, Petri nets, process algebra, max-plus algebra, and their variations); -- Languages and methods for the specification of quantitative properties of systems; -- Techniques, algorithms, and data structures for analysis, evaluation, and verification of the models mentioned above, e.g., for model checking, testing, constraint solving, scheduling, optimization, and worst-case execution time analysis; -- Quantitative and probabilistic aspects of programming; -- Data-driven and machine-learning techniques for the analysis, prediction, and verification of quantitative properties of systems; -- Case studies that highlight the role of quantitative specification, modelling, and evaluation in the design and analysis of systems, with emphasis on emerging problems and technologies; -- Novel software tools to support the practical application of research results in all of the above areas; The joint QEST+FORMATS conference is open to theoretical, experimental, and applicative research and will set up an artifact evaluation process. Papers may advance the state of the art on empirical approaches, simulation methods, analysis techniques, and applications to industrially relevant case studies. The joint conference will have two tracks associated with QEST and FORMATS. The authors are required to select one of these tracks when submitting their papers. This is only used to facilitate the review process. This year, QEST+FORMATS will incorporate a special session on: -- Data-driven verification and synthesis of cyber-physical systems. We encourage the submission of papers on all data-driven approaches related to the formal analysis, verification, and synthesis of cyber-physical systems, including learning techniques for safety-critical systems and safe learning of such systems. SUBMISSIONS QEST+FORMATS 2024 considers three types of papers (authors will be able to specify the type of contribution upon submission): -- Research papers: Theoretical, methodological, and application-based contributions that advance the understanding on a topic or issue, describe the development of new analysis processes and techniques, or apply quantitative methods to relevant case studies. -- Tool papers: New tools and the formalisms they support. focusing on the software architecture and practical implementation and use. Tool papers must be accompanied by an artifact in the Artifact Evaluation. -- Work-in-progress papers: We offer an opportunity to present preliminary results and receive feedback from the community. Work-in-progress contributions are not required to be fully worked-out approaches, for example regarding validation or technical depth; however the presented ideas should be mature enough to appreciate soundness and how they advance our knowledge. Research and tool papers can be regular or short: -- Regular papers must not exceed 14 pages, excluding references. -- Short papers should be limited to 7 pages, also excluding references. All papers can have an appendix containing supporting material. Note that reviewers are not required to read the appendix to fully assess the merits of the paper. Work-in-progress papers must not exceed 4 pages including references. All papers must be submitted in Springer’s LNCS format. All submitted papers must be unpublished and not be submitted for publication elsewhere. Papers should be submitted electronically using EasyChair: https://easychair.org/conferences/?conf=qestformats2024 Springer encourages authors to include their ORCIDs in their papers. Authors should consult Springer's authors' guidelines and use Springer's LaTeX templates for the preparation of their papers. Submitted papers not complying with the above guidelines may be rejected without undergoing review. The top two best papers of the conference will be selected for the QEST Award and the FORMATS Oded Maler Award. PUBLICATIONS All accepted papers will be presented and discussed at the conference by one of the authors. The QEST+FORMATS 2024 proceedings will be published in the Springer LNCS series and indexed by ISI Web of Science, Scopus, ACM Digital Library, dblp, Google Scholar. All submitted papers will be evaluated by at least three reviewers on the basis of their originality, technical quality, scientific or practical contribution to the state of the art, methodology, clarity, and adequacy of references. ARTIFACT EVALUATION Reproducibility of experimental results is crucial to foster an atmosphere of trustworthy, open, and reusable research. To improve and reward reproducibility, QEST+FORMATS 2024 includes a dedicated Artifact Evaluation (AE). Submission of an artifact is mandatory for tool papers (both regular and short), and optional but encouraged for research papers where it can support the results presented in the paper. Artifacts will be reviewed concurrently with the paper review process, and accepted papers with a successfully evaluated artifact will receive a badge to be shown on the published paper's title page. Detailed guidelines for preparation and submission of artifacts will be available on the conference website. Exceptions to the submission guidelines may be granted by the PC chairs in cases where the tool cannot in any reasonable way be run by the AE committee. SPECIAL ISSUES A selection of the best papers (excluding work-in-progress papers) will be invited to submit an extended version of their work to special issues in the International Journal on Software Tools for Technology Transfer (STTT) and the Performance Evaluation (PEVA) journals. COMMITTEES Program Chairs Jane Hillston, Edinburgh University, UK Sadegh Soudjani, Max Planck Institute, Germany Track Chairs Morteza Lahijanian, UC Boulder, USA (QEST) Masaki Waga, Kyoto University, Japan (FORMATS) Publicity Chairs Jyotirmoy Deshmukh, University of Southern California, USA Patrick Totzke, University of Liverpool, UK Jie An, National Institute of Informatics (NII) in Tokyo, Japan For any questions, feel free to contact the program chairs Jane Hillston (Jane.Hillston(a)ed.ac.uk) and Sadegh Soudjani (sadegh(a)mpi-sws.org). -- Masaki Waga Assistant Professor, Graduate School of Informatics, Kyoto University mwaga(a)fos.kuis.kyoto-u.ac.jp https://www.fos.kuis.kyoto-u.ac.jp/~mwaga/"

1 0

第11回量子ソフトウェア研究会のご案内
by NISHIMURA Harumichi 11 Jan '24

11 Jan '24

logic-mlの皆様名古屋大学の西村と申します．第11回量子ソフトウェア研究会 https://www.ipsj.or.jp/kenkyukai/event/qs11.html が名古屋大学で3月28日～29日に開催されます．よろしければご発表およびご参加をご検討いただけますと幸甚です．どうぞよろしくお願い致します．名古屋大学大学院情報学研究科西村治道

1 0

CSCAT 2024 開催案内
by Kazuyuki ASADA 10 Jan '24

10 Jan '24

（代理で東北大学浅田がお送り致します．）皆様（重複投稿ご容赦ください）今年度CSCATの幹事をしております千葉大学の塚田です。 CSCAT 2024 の開催のご案内です。 CSCAT（理論計算機科学と圏論ワークショップ）は、数学の分野である圏論の情報科学への応用に関心を持つ研究者による研究集会です。 CSCAT 2024 は以下の要領で開催予定です日程：3/14(木)--15(金) 会場：千葉大学西千葉キャンパス理学部４号館マルチメディア１ CSCATの案内ページ https://sites.google.com/faculty.gs.chiba-u.jp/cscat2024/home に発表についての情報などを随時掲載します。ご参加・ご発表を検討されている方は3/7までに上記ページにあるフォームからお申込をお願いいたします。皆様の参加をお待ち申し上げます。また、お知り合いの方で興味のございます方がいらっしゃいましたらお誘いいただけますと幸いです。 -- 塚田武志千葉大学大学院理学研究院数学・情報数理学研究部門 tsukada(a)math.s.chiba-u.ac.jp

1 0

CICM 2024 - 17th Conference on Intelligent Computer Mathematics - Call for Papers
by Nao Hirokawa 09 Jan '24

09 Jan '24

皆様来年８月にモントリオールで開催される国際会議 CICM の論文募集の案内をお送り致します。ぜひ論文の投稿をご検討下さい。廣川（JAIST） --------------------------------------------------------------------------- Call for Papers formal papers - doctoral programme 17th Conference on Intelligent Computer Mathematics - CICM 2024 - August 5-9, 2024 Montreal, Canada https://cicm-conference.org/2024/ --------------------------------------------------------------------------- More and more mathematical information is digitally processed, generated, communicated, stored and curated. CICM brings together the many separate communities that have developed theoretical and practical solutions for mathematical applications such as computation, deduction, knowledge management, and user interfaces. It offers a venue for discussing problems and solutions in each of these areas and their integration. CICM 2024 invites submissions in all topics relating to intelligent computer mathematics, in particular but not limited to * theorem proving and computer algebra * mathematical knowledge management * digital mathematical libraries *** Important Dates *** Formal submissions - Abstract deadline: March 11, 2024 - Full paper deadline: March 18, 2024 - Reviews sent to authors: April 29, 2024 - Rebuttals due: May 1, 2024 - Notification of acceptance: May 16, 2024 - Camera-ready copies due: June 3, 2024 - Conference: August 5-9, 2024 Doctoral programme applications - Submission deadline: June 13, 2024 - Notification of acceptance: June 28, 2024 CICM appreciates the varying nature of the relevant research in this area and invites submissions of two different forms: *** Formal Paper Submissions *** Formal submissions will be reviewed rigorously and accepted papers will be published in a volume of Springer LNAI: * regular papers (up to 15 pages + bibliography) present novel research results * project and survey papers (up to 15 pages + bibliography) summarize existing results * system and dataset descriptions (4 to 5 pages + bibliography) present digital artifacts *** Doctoral Symposium: Two-Page Abstracts*** The doctoral programme provides PhD students a forum to present early results to receive constructive feedback and mentoring. To attend, submissions of two-page abstracts are expected in which the focus and research questions of the expected PhD theses are described; details on completed research tasks and remaining research plans should be given. In addition to these abstracts, a two-page CV of the applicant should also be submitted, detailing background information (name, university, supervisor), education (sought degree, previous degrees), employments and relevant research experience (publications, attended conferences/workshops). *** Submissions *** All submissions should be made via EasyChair at https://easychair.org/conferences/?conf=3Dcicm2024 using the Springer LNCS style files https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu… CICM 2024 proceedings, containing the accepted formal submissions, will be published in the Springer LNAI series. *** Participation - Physical Event *** CICM 2024 will be held as a physical event and participation is possible only on-site. At least one of the authors of accepted papers is expected to register to CICM 2024 and present the work(s) on-site. *** Best Papers *** CICM 2024 honors the best paper and best student paper with respect to reviews and program committee discussions with an award.

1 1

CSCAT 2024 開催案内
by Takeshi Tsukada 05 Jan '24

05 Jan '24

皆様（重複投稿ご容赦ください）今年度CSCATの幹事をしております千葉大学の塚田です。 CSCAT 2024 の開催のご案内です。 CSCAT（理論計算機科学と圏論ワークショップ）は、数学の分野である圏論の情報科学への応用に関心を持つ研究者による研究集会です。 CSCAT 2024 は以下の要領で開催予定です日程：3/14(木)--15(金) 会場：千葉大学西千葉キャンパス理学部４号館マルチメディア１ CSCATの案内ページ https://sites.google.com/faculty.gs.chiba-u.jp/cscat2024/home に発表についての情報などを随時掲載します。ご参加・ご発表を検討されている方は3/7までに上記ページにあるフォームからお申込をお願いいたします。皆様の参加をお待ち申し上げます。また、お知り合いの方で興味のございます方がいらっしゃいましたらお誘いいただけますと幸いです。 -- 塚田武志千葉大学大学院理学研究院数学・情報数理学研究部門 tsukada(a)math.s.chiba-u.ac.jp

1 0

MLメンテ作業
by Atsushi Igarashi 29 Dec '23

29 Dec '23

fos.kuis.kyoto-u.ac.jp でホストしている各種ＭＬのみなさま，管理人の五十嵐です．メイリングリスト管理に使っているソフトウェアのバージョンアップのため，一時的に使用できなくなります．うまくいけば1時間程度で終わると思います．終了しましたら改めてお知らせいたします． -- 五十嵐淳 (IGARASHI Atsushi) E-mail: igarashi(a)kuis.kyoto-u.ac.jp url: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/

1 1

大阪公立大学特任講師（数学）の公募
by Masaru KADA 27 Dec '23

27 Dec '23

logic-ml のみなさま：大阪公立大学嘉田勝です。大阪公立大学では、下記の特任講師（数学）の公募を開始しました。詳細は下記URLの情報をご覧ください。適任者をご存知でしたら応募をお勧めいただけますと幸いです。 https://www.omu.ac.jp/research/recruit/faculty-sp/entry-00196.html -- ==== Masaru KADA （嘉田勝） kada(a)omu.ac.jp ====

1 0

助教（任期制）2名の公募（東京理科大学理学部第一部応用数学科）
by Makoto Fujiwara 18 Dec '23

18 Dec '23

皆様東京理科大学の藤原誠です．本学理学部第一部応用数学科にて来年度4月着任予定の助教（任期制）2名の公募を行っております． https://jrecin.jst.go.jp/seek/SeekJorDetail?id=D123111966 応募締切は12月25日です．もしよろしければ応募をご検討下さい．また，お近くに適任の方がいらっしゃればご紹介いただければ幸いです．どうぞよろしくお願いいたします． ---------------------------------------------------------- 藤原誠 (Makoto FUJIWARA) 東京理科大学理学部第一部応用数学科助教 E-mail: makotofujiwara(a)rs.tus.ac.jp<mailto:makotofujiwara@rs.tus.ac.jp> ----------------------------------------------------------

1 0

東北大ロジックセミナーのご案内
by 鈴木悠大 18 Dec '23

18 Dec '23

皆様，東北大学の鈴木です．以下の通りセミナーを開催いたしますのでご案内いたします． https://sites.google.com/view/sendai-logic/ 日時：12月22日(金)15:00〜場所：東北大学理学研究科合同A棟801号室 (zoom配信あり) 講演者：一倉海斗 (静岡大学) 題目 Subintuitionistic logicsの間の非可算濃度の論理の存在概要 Jankovは1968年に古典論理と直観主義論理の間に非可算濃度の論理の存在を示している. このJankovの結果は, その間に存在する論理の濃度が大きいという意味で, 古典論理と直観主義論理との間に大きな隔たりがあることを表現していると考えられる. Bezhanishvili-Colacito-de Jongは, 2020年に幾つかのsubminimal logics の間における非可算濃度の論理の存在を近傍意味論を用いて示した. この結果は, subintuitionistic logicsの間にも多くの大きな隔たりがあることを示唆している. 今回は2020年の結果を出した方法とは別の1974年のWro\’{n}skiによる代数的手法を工夫した方法を用いて, 上記の2020年の結果も含めて多くのsubintuitionistic logicsの間に非可算濃度の論理が存在することが分かったので, これを概説する. 上記HPにも記載のあります通り，オンライン参加を希望される方は鈴木(yudai.suzuki.q1(a)dc.tohoku.ac.jp )宛にご連絡いただきますようよろしくお願いいたしますどうぞよろしくお願いいたします．鈴木悠大 yudai.suzuki.q1(a)dc.tohoku.ac.jp

1 0

【論文/発表募集】第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024)
by 安部達也 08 Dec '23

08 Dec '23

皆様， PPL 2024 プログラム共同委員長の安部です．カテゴリ1（国内外未発表論文）の発表申込締切（12/22(金)17:00）が迫って参りましたので改めて CFP をご案内させていただきます．理論・実装を問わず，プログラミング・プログラミング言語に関する研究発表を幅広く募集しております．皆様のご投稿をお待ちしております． PPL 2024 プログラム共同委員長（ppl2024-pc-chair(a)jssst-ppl.org) 安部達也（千葉工業大学）川端英之（広島市立大学） ======================================================= 第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024) 論文募集/発表募集主催：日本ソフトウェア科学会プログラミング論研究会日程：2024年3月5日（火）-- 3月7日（木）会場：朱鷺メッセ新潟コンベンションセンターおよびオンラインのハイブリッド開催 URL ：https://jssst-ppl.org/workshop/2024/ ** 重要な日程 ** カテゴリ1：発表申込締切 2023年12月22日（金）17:00 (JST) 論文提出締切 2024年 1月 5日（金）17:00 (JST) 採否通知　　 2024年 1月29日（月）最終原稿締切 2024年 2月16日（金）17:00 (JST) カテゴリ2：発表申込締切 2024年 1月19日（金）17:00 (JST) 採否通知　　 2024年 1月30日（火）カテゴリ3：発表申込締切 2024年 1月31日（水）17:00 (JST) 採否通知　　 2024年 2月 2日（金）カテゴリ4：発表申込締切 2024年 1月19日（金）17:00 (JST) 採否通知　　 2024年 1月30日（火） ** PPL 2024 の開催形式について ** PPL 2024 は，通常の研究会形式での，対面を中心としたハイブリッド開催を予定しています．対面を中心とするのは，PPL 2024 を以前の PPL と同様にカジュアルかつインフォーマルな意見交換や交流の場にするためであり，発表者には原則対面でご参加いただくことを考えております．それに加えて，より広範な方々に研究の議論にご参加いただくためにも，COVID-19 状況下で獲得した知見を生かしてオンラインでも参加者に非同期・同期的な聴講および質疑の場を提供する予定です．ただし，ポスター・デモセッションは対面でのみ行い，オンラインへの提供は行わない予定です． ** PPL 2024 とは ** PPL 2024 は，プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果や新たな研究課題の提案・討論・アイディア交換を行うことを目的とした研究集会です．代表的なトピックは以下のようなものですが，これらに限らず，プログラミングやプログラミング言語に関する内容であれば，基礎理論・実装技術の研究からソフトウェアやツールの実現に至るまで，幅広く受け入れます．基礎理論：意味論，ラムダ計算，型理論，項書き換え，形式論理と証明，形式　　　　　言語とオートマトン，圏論，チューリング機械，アルゴリズムなど言語デザイン：各種プログラミングパラダイム（オブジェクト指向・関数型・　　　　　　　論理型・アスペクト指向，その他あらゆるパラダイムを含む），　　　　　　　モジュール化，メタプログラミング，並行・並列・分散計算，　　　　　　　型システム，言語や言語システム等の相互運用，領域限定言語　　　　　　　など言語処理系技術：コンパイラ，インタプリタ，実行時システム，仮想機械，プ　　　　　　　　ログラム最適化，プログラム解析，プログラム変換，メモリ　　　　　　　　管理などプログラミング補助：プログラム検証器，デバッガ，プロファイラ，統合開発　　　　　　　　　　環境，プログラム合成，リファクタリングなどケーススタディ：ソフトウェア開発報告，プログラミング技法，ツールの紹介　　　　　　　　など応用：システムソフトウェア，Webシステム，データベースシステム，数値計　　　算，ユーザーインタフェース，セキュリティ，プログラミング教育，人　　　工知能・機械学習など ** 招待講演 ** PPL 2024 では，以下のお二方の招待講演を予定しております．　山田晃久氏（産業技術総合研究所）（https://akihisayamada.github.io/）　「岩村の補題、超限帰納法と Isabelle/HOL」　渡部有隆氏（会津大学）（https://u-aizu.ac.jp/~yutaka/）　「コードレビュー AI によるプログラミング学習支援」 ** 発表募集カテゴリ ** 以下の4カテゴリの研究発表を募集します．カテゴリ1：国内外未発表論文カテゴリ2：国際既発表論文カテゴリ3：ポスター・デモ発表カテゴリ4：サーベイ・チュートリアルカテゴリ1 では，国内外で未発表の論文発表を募集します．PPL での議論をもとに研究を発展させ，国際会議や学術論文誌への投稿につなげることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的なものとします．参加者相互で実りある議論ができるような，発展途上の研究を特に歓迎します．複数名の査読者による研究の発展性・重要性・根拠の確かさ・説明の明瞭さの評価をもとにプログラム委員会で議論し，採否を判断します．特に以下の点にご注意ください．・理論的な研究については，形式化の明瞭さと正しさが重要です．論文中に明　示してあれば証明等が未完成でも構いませんが，証明等について議論できる　程度の完成度は求められます．・実装技術の研究については，手法の妥当性や評価が重要です．論文中に明示　してあれば実装や実験が未完成でも構いませんが，上記の点を議論できる程　度の完成度は求められます．・ソフトウェアやツールの実現に関する研究については，その有用性やデザイ　ンチョイスが明瞭であることが重要です．論文中に明示してあれば実装が未　完成でも構いませんが，上記の点を議論できる程度の完成度は求められます．カテゴリ2 では，国際会議や国際学術論文誌等で発表済みまたは採録決定済みの，自身が著者の一人に含まれている研究論文の紹介を募集します．PPLとの関連性，プログラム全体のバランス，発表された媒体等をもとにプログラム委員会で議論し，採否を判断します．カテゴリ3 では，PPL に関連する内容（未発表・既発表いずれでも構いません）についてのポスター発表を募集します．萌芽的なアイデアの紹介やツールのデモンストレーションなども歓迎します．PPLとの関連性・プログラム全体のバランスをもとに，プログラム委員による議論によって採否を判断します．カテゴリ4 では，研究動向の紹介・分野間の相互理解・ツールのチュートリアルなど，PPL の聴衆にとって有益な学術知識の紹介を募集します．未発表・既発表の別を問いません．PPL との関連性，内容の重要性，発表者の経歴，プログラム全体のバランス等をもとにプログラム委員会で議論し，採否を判断します．カテゴリ1 の採択論文の中から，特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です．さらに，カテゴリ1・2 の全発表のなかから最も聴衆の支持を集めたものに発表賞，カテゴリ3 の全発表のなかから最も聴衆の支持を集めたものにポスター賞を授与する予定です（いずれも一般の部・学生の部の 2種類，ただし「発表賞」は既受賞者を除く）． ** プログラム委員会 ** プログラム共同委員長　安部達也（千葉工業大学）プログラム共同委員長　川端英之（広島市立大学）石尾隆　　（公立はこだて未来大学）岩見宗弘　（島根大学）緒方一則　（日本IBM）倉光君郎　（日本女子大学）光来健一　（九州工業大学）酒井正彦　（名古屋大学）新屋良磨　（秋田大学）澄川靖信　（拓殖大学）高野保真　（北里大学）滝坂透　　（電子科技大学）田中哲　　（産業技術総合研究所）千田忠賢　（NTT社会情報研究所）長慎也　　（明星大学）立木秀樹　（京都大学）塚田武志　（千葉大学）中正和久　（山口大学）中村誠希　（東京工業大学）西村進　　（京都大学）蓮尾一郎　（国立情報学研究所）日高宗一郎（法政大学）細部博史　（法政大学）山崎進　　（北九州市立大学）山崎徹郎　（東京大学）和賀正樹　（京都大学） ** 組織委員会 ** 組織委員長　　　　　　　木村大輔　（東邦大学）組織副委員長　　　　　　今井敬吾　（ディー・エヌ・エー）財務担当　　　　　　　　池渕未来　（京都大学）財務副担当　　　　　　　森口草介　（東京工業大学）会場担当　　　　　　　　松田直祐　（湘南工科大学）会場副担当　　　　　　　橋本健二　（名古屋大学）渉外担当　　　　　　　　浅田和之　（東北大学）プログラム共同委員長　　安部達也　（千葉工業大学）プログラム共同委員長　　川端英之　（広島市立大学）前プログラム共同委員長　小宮常康　（電気通信大学）前プログラム共同委員長　松田一孝　（東北大学） ** 問い合わせ先 ** ・ワークショップ全般について　組織委員会：ppl2024-oc(a)googlegroups.com ・発表/プログラムについて　プログラム共同委員長：ppl2024-pc-chair(a)jssst-ppl.org

1 0

大阪公立大学数学研究所：2024年度共同利用・共同研究提案および数学研究所員の募集
by Masaru KADA 06 Dec '23

06 Dec '23

logic-ml のみなさま：大阪公立大学嘉田勝です。大阪公立大学数学研究所 (OCAMI) では、 2024年度の共同利用・共同研究提案および数学研究所員を募集しておりますので、ご案内申し上げます。 ======== 大阪公立大学数学研究所は、 2019年4月に文部科学省から共同利用・共同研究拠点に認定され、 2023年度からは文部科学省「機能強化支援」に採択されています。これらの援助を受けて、以下の２つの事業の募集を行います。 (1) 「2024年度実施の共同利用・共同研究の研究計画提案の募集」締切は2024年1月31日（水）です。原則として大阪公立大学で実施するものが対象ですが、大阪公立大学を拠点とするオンラインまたはハイブリッド開催も可能で、研究集会だけでなく少人数での共同研究や研究討論も歓迎します。詳しくは募集要項・応募書類等をご覧ください： https://www.omu.ac.jp/orp/ocami/joint/application/ (2) 「2024年度数学研究所員の募集」締切は2024年1月31日（水）です。研究所員が希望する場合には、本数学研究所を研究拠点として e-Rad 登録を行い、科研費等の外部資金に応募することもできます。詳しくは募集要項をご覧ください： https://www.omu.ac.jp/orp/ocami/people/dispatch-program/ どうぞよろしくお願いいたします。大阪公立大学数学研究所　所長　田丸博士 ======== -- ==== Masaru KADA （嘉田勝） kada(a)omu.ac.jp ====

1 0

山陰での研究集会のご案内
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

Mini-course: Forcing techniques for Cichoń’s Maximum (University of Vienna)
by Diego A. Mejia 26 Nov '23

26 Nov '23

The University of Vienna Set Theory Research Seminar will host the following mini-course in hybrid format in the coming Winter Semester 2023. Mini-course: Forcing techniques for Cichon's Maximum by Diego Mejia (Shizuoka University) Thursdays (6 lectures) Japan Standart Time 19:30-21:00 (Central European Time 11:30-13:00) Nov 30th-Dec 14th; Jan 11th-25th Seminarraum 10, Kolingasse 14-16, Uni Wien Zoom Meeting ID: 210 955 0387, Passcode: kgrc https://univienna.zoom.us/j/2109550387?pwd=ZXZMLzZIWERXK2lnWlROZncxQkVSUT09 Abstract: Cichon’s diagram describes the connections between combinatorial notions related to measure, category, and compactness of sets of irrational numbers. In the second part of the 2010’s decade, Goldstern, Kellner and Shelah constructed a forcing model of Cichon’s Maximum (meaning that all non-dependent cardinal characteristics are pairwise different) by using large cardinals. Some years later, we eliminated this large cardinal assumption. In this mini-course, we explore the forcing techniques to construct the Cichon’s Maximum model and much more. Concretely, we discuss the following components: 1. (Nov 30th) Tukey connections and cardinal characteristics of the continuum 2. (Dec 7th) Review of FS (finite support) iterations and basic methods to modify cardinal characteristics. 3. (Dec 14th) Preservation theory for cardinal characteristics. 4. (Jan 11th) FS iterations with measures and ultrafilters on the natural numbers. 5. (Jan 18th) Boolean Ultrapowers. 6. (Jan 25th) Forcing Intersected with submodels. -- Diego A. Mejía (PhD) Associate Professor Faculty of Science, Shizuoka University 836 Ohya, Suruga-ku, Shizuoka 422-8529 Japan Tel: +81-54-2384787

1 0

[2nd CFP][Deadline Extended] 4th Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning (TLLM 2024)
by Katsuhiko Sano 23 Nov '23

23 Nov '23

logic-ml の皆様、北海道大学の山田友幸先生の代理で投稿いたします。佐野勝彦 -------- 2nd Call for Papers *The Connectives in Logic and Language* 4th Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning (TLLM 2024) *Extended Deadline for 2-page abstracts: November 25, 2023* Workshop: March 30–31, 2024; Tutorials March 29, 2024. Venue: Tsinghua University, Beijing. Workshop web site: http://tsinghualogic.net/JRC/tllm/2024connectives/ The propositional connectives – *and, or, not, if-then,* etc. – are fundamental building blocks in formal as well as natural languages. In the Western tradition, they were first studied as such by the Stoics, and *Propositional　Logic* is the fundament of practically all current systems of logic; every beginning logic course starts with it. Still, the proof theory and semantics of systems of propositional logic are far from trivial, and have been studied intensely by logicians in the last one and a half century, not least in recent decades. It is actually a vast area of research, as witnessed by Lloyd Humberstone’s 1500 page tome *The Connectives* (2011), which overviews much of that research. Perhaps the most familiar recent work in this area concerns *conditionals* in formal and natural languages. In this workshop we also focus on the apparently simpler connectives expressing (various versions of) conjunction, disjunction, and negation. Researchers working from a cross-linguistic perspective also focus on how the connectives are encoded in different languages, and ask whether classical logic is capable of capturing the variations and universals exhibited. Even in well-studied languages like English, there are intricate phenomena that remain challenging for classical logic, including free choice disjunction, non-boolean conjunction, metalinguistic negation, to name just a few. There is also growing interest in the acquisition and processing of natural language connectives. In the context of the hotly discussed Large Language Models (LLMs), understanding connectives presents novel challenges that deserve in-depth exploration. The idea behind the TLLM workshops is to bring together logicians and linguists around a specific theme of common interest. Thus, we welcome contributions on any general or particular aspect of the propositional connectives in logic or language. Below are just a few examples of possible topics for this workshop. - semantics of negation: classical, non-classical, contra-classical - inclusive versus exclusive disjunction in natural languages - the meaning of connectives: model-theoretic, proof-theoretic, game-theoretic,… - non-classical connectives: in intuitionistic logic, linear logic, relevance logic, orthologic, etc. - free choice disjunction - boolean and non-boolean conjunction - acquisition of natural language connectives - cross-linguistic variations of natural language connectives - role of Large Language Models (LLMs) in understanding connectives: challenges, capabilities, and implications *Invited speakers* *Christoph Harbsmeier (University of Oslo)* *Wesley Holliday (UC Berkeley)* *Jacopo Romoli (Heinrich Heine University, Düsseldorf)* *Fan Yang (University of Utrecht)* *Tutorials (prel. titles)* *Logic: Wesley Holliday* *Linguistics: Christoph Harbsmeier* *Contributed papers* We invite submissions of *2-page abstracts* (including references) on any of the broad themes related to the connectives in logic and language as suggested above. After a review procedure, authors of accepted abstracts will have the opportunity to present their papers at the workshop. After the workshop, a volume of full papers (properly refereed) will be published in the Springer LNCS – FoLLI series. Details on submission of full papers will follow. Abstracts should be submitted via Easychair: https://easychair.org/conferences/?conf=tllm2024 The workshop will take place on site at Tsinghua University, Beijing. *Important dates* - *November 25, 2023*: deadline for submitting abstracts - *December 15, 2023*: notification of acceptance - *March 29, 2024:* tutorials - *March 30-31, 2024*: workshop *Registration* TBA *Program chairs* Mingming Liu (Tsinghua University), Dag Westerståhl (Stockholm University, Tsinghua University), Xiaolu Yang (Tsinghua University)

1 0

第58回 MLG 数理論理学研究集会のご案内
by Hitoshi Omori 15 Nov '23

15 Nov '23

第58回 MLG 数理論理学研究集会のご案内 (重複してお受け取りの際はどうぞご容赦ください。) 東北大学の大森仁と申します。少し先にはなりますが、2023年度MLG数理論理学研究集会（第58回）を下記の要領で開催いたします。多くの方のご講演・ご参加をお待ちしております。 ========================================= 第58回 MLG 数理論理学研究集会開催要領 ========================================= - 期間: 2024年2月16日 (金) 午後--2月18日 (日) - 場所: 東北大学大学院情報科学研究科中講義室 - 講演申込締め切り: 1月16日 (火) - ホームページ: https://sites.google.com/view/mlg58/home - 連絡先E-mail: hitoshiomori[at]gmail[dot]com ============ 参加募集 ============ - 講演時間は原則40分を予定しています。 - 2月17日 (土)の夜に懇親会を行います。 - 参加・講演申し込みは、上記ホームページにある参加申込フォームからお願いいたします。 ==================================== 学部及び修士の学生向けの会合 ==================================== 今回は学部及び修士の学生向けの会合を2月16日 (金)の午前中に計画しております。数に限りはありますが、旅費の援助も可能ですので、是非周りにお知り合いの若い方がいらっしゃいましたら、おすすめいただければと思います。詳細は上記ホームページをご覧ください。

1 0

QIT49のご案内
by NISHIMURA Harumichi 08 Nov '23

08 Nov '23

logic-mlの皆様名古屋大学の西村と申します．第49回量子情報技術研究会（QIT49）の会告案内を代理投稿させていただきます．どうぞよろしくお願いいたします．名古屋大学大学院情報学研究科西村治道 -------------------------------------------------------------- 第49回量子情報技術研究会 (QIT49)https://www.ieice.org/es/qit/qit49/ 研究会の内容：　　情報科学と量子力学を融合させた新しい分野，量子情報科学に関する研究会です．　情報を担う物理系の量子力学的側面を積極的に活かした新しい情報処理原理の研究と　そこから開かれる新しい学問体系の構築および新しい情報技術パラダイムの創生を　目指して，情報科学，物理学，光エレクトロニクスを含む理学，工学，数理科学に　携わる研究者間に自由な討論の場を提供し，この研究分野の発展を図ることを目的と　しています．　　第49回研究会では，現在この分野で活躍する研究者は勿論，自分の研究資産が何ら　かの形で使えそうだと予感している研究者・技術者など，広く関連する分野の研究者・　技術者からの発表を募集致します．聴講のみの参加も歓迎致しますので，奮ってお申　し込みください．日時: 2023年12月17日（日）午後2時～ 19日（火）正午会場: 沖縄科学技術大学院大学講堂（〒904-0495沖縄県国頭郡恩納村谷茶1919-1）発表募集分野 (申し込み状況によっては査読の可能性あり)：　量子情報，量子計算，量子暗号など広く量子情報技術に関わる理論的研究，実験的研究，　計算機科学的研究, 数学的研究，および，その他関連分野．学生発表賞あり．定員: 約250名参加費：事前振込　一般5,000円，学生3,000円（懇親会費2,000円を含む）研究会参加申込要領：　参加申込および参加料支払いは下記 Web にて受付けます：　https://eventpay.jp/event_info/?shop_code=1251246072252365&EventCode=P10183… 　講演 (口頭，ポスター) の申込，予稿集原稿PDFの提出：　https://ken.ieice.org/ken/form/index.php?tgs_regid=2e719298720f75ef80a0c327… 各種締切：【口頭講演申込締切】　　2023年12月3日（日）【ポスター講演申込締切】2023年12月3日（日）【予稿原稿提出締切】　　2023年12月10日（日）【参加申込締切】　　　　当日までオンラインシステムで受付可能【問合せ先】　久保結丸, 根本香絵, 高橋優樹, Thomas Busch （OIST）　Email: qit49(a)oist.jp<mailto:qit49@oist.jp> <qit49(a)oist.jp> 主催: 量子情報技術特別研究専門委員会（委員長：武岡正裕（慶應義塾大学））共催: 応用物理学会量子エレクトロニクス研究会　　沖縄科学技術大学院大学量子技術センター

1 0

【論文/発表募集】第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024)
by 安部達也 08 Nov '23

08 Nov '23

皆様， PPL 2024 プログラム共同委員長の安部です．以前にもご案内差し上げた PPL 2024 について，論文投稿受付を開始いたしましたので投稿・発表申込要領を含めた CFP をご案内させていただきます．理論・実装を問わず，プログラミング・プログラミング言語に関する研究発表を幅広く募集しております．皆様のご投稿をお待ちしております． PPL 2024 プログラム共同委員長（ppl2024-pc-chair(a)jssst-ppl.org) 安部達也（千葉工業大学）川端英之（広島市立大学） ======================================================= 第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024) 論文募集/発表募集主催：日本ソフトウェア科学会プログラミング論研究会日程：2024年3月5日（火）-- 3月7日（木）会場：朱鷺メッセ新潟コンベンションセンターおよびオンラインのハイブリッド開催 URL ：https://jssst-ppl.org/workshop/2024/ ** 重要な日程 ** カテゴリ1：発表申込締切 2023年12月22日（金）17:00 (JST) 論文提出締切 2024年 1月 5日（金）17:00 (JST) 採否通知　　 2024年 1月29日（月）最終原稿締切 2024年 2月16日（金）17:00 (JST) カテゴリ2：発表申込締切 2024年 1月19日（金）17:00 (JST) 採否通知　　 2024年 1月30日（火）カテゴリ3：発表申込締切 2024年 1月31日（水）17:00 (JST) 採否通知　　 2024年 2月 2日（金）カテゴリ4：発表申込締切 2024年 1月19日（金）17:00 (JST) 採否通知　　 2024年 1月30日（火） ** PPL 2024 の開催形式について ** PPL 2024 は，通常の研究会形式での，対面を中心としたハイブリッド開催を予定しています．対面を中心とするのは，PPL 2024 を以前の PPL と同様にカジュアルかつインフォーマルな意見交換や交流の場にするためであり，発表者には原則対面でご参加いただくことを考えております．それに加えて，より広範な方々に研究の議論にご参加いただくためにも，COVID-19 状況下で獲得した知見を生かしてオンラインでも参加者に非同期・同期的な聴講および質疑の場を提供する予定です．ただし，ポスター・デモセッションは対面でのみ行い，オンラインへの提供は行わない予定です． ** PPL 2024 とは ** PPL 2024 は，プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果や新たな研究課題の提案・討論・アイディア交換を行うことを目的とした研究集会です．代表的なトピックは以下のようなものですが，これらに限らず，プログラミングやプログラミング言語に関する内容であれば，基礎理論・実装技術の研究からソフトウェアやツールの実現に至るまで，幅広く受け入れます．基礎理論：意味論，ラムダ計算，型理論，項書き換え，形式論理と証明，形式　　　　　言語とオートマトン，圏論，チューリング機械，アルゴリズムなど言語デザイン：各種プログラミングパラダイム（オブジェクト指向・関数型・　　　　　　　論理型・アスペクト指向，その他あらゆるパラダイムを含む），　　　　　　　モジュール化，メタプログラミング，並行・並列・分散計算，　　　　　　　型システム，言語や言語システム等の相互運用，領域限定言語　　　　　　　など言語処理系技術：コンパイラ，インタプリタ，実行時システム，仮想機械，プ　　　　　　　　ログラム最適化，プログラム解析，プログラム変換，メモリ　　　　　　　　管理などプログラミング補助：プログラム検証器，デバッガ，プロファイラ，統合開発　　　　　　　　　　環境，プログラム合成，リファクタリングなどケーススタディ：ソフトウェア開発報告，プログラミング技法，ツールの紹介　　　　　　　　など応用：システムソフトウェア，Webシステム，データベースシステム，数値計　　　算，ユーザーインタフェース，セキュリティ，プログラミング教育，人　　　工知能・機械学習など ** 発表募集カテゴリ ** 以下の4カテゴリの研究発表を募集します．カテゴリ1：国内外未発表論文カテゴリ2：国際既発表論文カテゴリ3：ポスター・デモ発表カテゴリ4：サーベイ・チュートリアルカテゴリ1 では，国内外で未発表の論文発表を募集します．PPL での議論をもとに研究を発展させ，国際会議や学術論文誌への投稿につなげることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的なものとします．参加者相互で実りある議論ができるような，発展途上の研究を特に歓迎します．複数名の査読者による研究の発展性・重要性・根拠の確かさ・説明の明瞭さの評価をもとにプログラム委員会で議論し，採否を判断します．特に以下の点にご注意ください．・理論的な研究については，形式化の明瞭さと正しさが重要です．論文中に明　示してあれば証明等が未完成でも構いませんが，証明等について議論できる　程度の完成度は求められます．・実装技術の研究については，手法の妥当性や評価が重要です．論文中に明示　してあれば実装や実験が未完成でも構いませんが，上記の点を議論できる程　度の完成度は求められます．・ソフトウェアやツールの実現に関する研究については，その有用性やデザイ　ンチョイスが明瞭であることが重要です．論文中に明示してあれば実装が未　完成でも構いませんが，上記の点を議論できる程度の完成度は求められます．カテゴリ2 では，国際会議や国際学術論文誌等で発表済みまたは採録決定済みの，自身が著者の一人に含まれている研究論文の紹介を募集します．PPLとの関連性，プログラム全体のバランス，発表された媒体等をもとにプログラム委員会で議論し，採否を判断します．カテゴリ3 では，PPL に関連する内容（未発表・既発表いずれでも構いません）についてのポスター発表を募集します．萌芽的なアイデアの紹介やツールのデモンストレーションなども歓迎します．PPLとの関連性・プログラム全体のバランスをもとに，プログラム委員による議論によって採否を判断します．カテゴリ4 では，研究動向の紹介・分野間の相互理解・ツールのチュートリアルなど，PPL の聴衆にとって有益な学術知識の紹介を募集します．未発表・既発表の別を問いません．PPL との関連性，内容の重要性，発表者の経歴，プログラム全体のバランス等をもとにプログラム委員会で議論し，採否を判断します．カテゴリ1 の採択論文の中から，特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です．さらに，カテゴリ1・2 の全発表のなかから最も聴衆の支持を集めたものに発表賞，カテゴリ3 の全発表のなかから最も聴衆の支持を集めたものにポスター賞を授与する予定です（いずれも一般の部・学生の部の 2種類，ただし「発表賞」は既受賞者を除く）． ** プログラム委員会 ** プログラム共同委員長　安部達也（千葉工業大学）プログラム共同委員長　川端英之（広島市立大学）石尾隆　　（公立はこだて未来大学）岩見宗弘　（島根大学）緒方一則　（日本IBM）倉光君郎　（日本女子大学）光来健一　（九州工業大学）酒井正彦　（名古屋大学）新屋良磨　（秋田大学）澄川靖信　（拓殖大学）高野保真　（北里大学）滝坂透　　（電子科技大学）田中哲　　（産業技術総合研究所）千田忠賢　（NTT社会情報研究所）長慎也　　（明星大学）立木秀樹　（京都大学）塚田武志　（千葉大学）中正和久　（山口大学）中村誠希　（東京工業大学）西村進　　（京都大学）蓮尾一郎　（国立情報学研究所）日高宗一郎（法政大学）細部博史　（法政大学）山崎進　　（北九州市立大学）山崎徹郎　（東京大学）和賀正樹　（京都大学） ** 組織委員会 ** 組織委員長　　　　　　　木村大輔　（東邦大学）組織副委員長　　　　　　今井敬吾　（ディー・エヌ・エー）財務担当　　　　　　　　池渕未来　（京都大学）財務副担当　　　　　　　森口草介　（東京工業大学）会場担当　　　　　　　　松田直祐　（湘南工科大学）会場副担当　　　　　　　橋本健二　（名古屋大学）渉外担当　　　　　　　　浅田和之　（東北大学）プログラム共同委員長　　安部達也　（千葉工業大学）プログラム共同委員長　　川端英之　（広島市立大学）前プログラム共同委員長　小宮常康　（電気通信大学）前プログラム共同委員長　松田一孝　（東北大学） ** 問い合わせ先 ** ・ワークショップ全般について　組織委員会：ppl2024-oc(a)googlegroups.com ・発表/プログラムについて　プログラム共同委員長：ppl2024-pc-chair(a)jssst-ppl.org

1 0

Sapporo Mini-Workshop on Modal Logic: 10th November 2023
by Katsuhiko Sano 06 Nov '23

06 Nov '23

logic-ml のみなさま、北海道大学の佐野勝彦です。今週金曜日、11/10の午後3時から、東北大学の大森仁さん、東京工業大学の西村祐輝さんをお迎えして、 **Sapporo Mini-Workshop on Modal Logic** 日時: 2023年11月10日午後3時〜午後6時場所：〒060-0810 北海道札幌市北区北10条西7丁目北海道大学人文・社会科学総合研究教育棟（W棟）4階 W408教室 website: https://sites.google.com/view/sapporows4ml2023/home の要領で様相論理に関するミニワークショップを開催します。 websiteは英語で書かれていますが、日本語で開催する予定です。興味のある方はフラリとお立ち寄りください。佐野勝彦

1 0

数学基礎論若手の会2023：宿泊締め切りが近づきました
by Naosuke Matsuda 06 Nov '23

06 Nov '23

みなさま湘南工科大学の松田です。今年度の数学基礎論若手の会について，宿泊申し込みの締め切りまで一週間となりましたので，改めて周知させていただきます。現地宿泊を伴わない参加も可能ですが，近くに手ごろなホテルなどは少ない立地となります。会場のホームページ等ご確認の上，ご検討いただければ幸いです。 --開催要領-- 日程：2023年12月7日（木）～ 12月9日（土）会場：サンセットブリーズ保田 <https://sunset-breeze.com/>（対面開催）住所：千葉県安房郡鋸南町大六1032 世話人：松田直祐（湘南工科大学）参加申し込み方法などの詳細は，ホームページでご確認ください。 https://sites.google.com/view/mlwakatenokai2023/%E3%83%9B%E3%83%BC%E3%83%A0 宿泊申し込み期限：11/13(月) 講演申し込み期限：11/23(木） 4年ぶりに対面（合宿形式）での開催となります。多くのみなさまのご参加をお待ちしております。 -- 松田直祐湘南工科大学情報学部情報学科〒251-8511 神奈川県藤沢市辻堂西海岸1-1-25 Tel: 0466-30-0219 matsuda.naosuke(a)gmail.com

1 0

早稲田ー神戸合同集合論セミナーの開催について
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 21 Oct '23

21 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 16 Oct '23

16 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

三田計算論理セミナーのご案内 (10月10日)
by Hiromi TANAKA 05 Oct '23

05 Oct '23

みなさま、慶応大学の田中大海です。下記の通り三田計算論理セミナーを開催いたします。 URL：https://abelard.flet.keio.ac.jp/person/minesima/seminar/clseminar.html 日時：10月10日(火) 16:30〜場所：慶應義塾大学三田キャンパス西校舎544教室 (地図の５番の建物) ( https://www.keio.ac.jp/ja/maps/mita.html) 形式：対面のみ（事前登録は必要ありません）講演者：中村誠希 (東京工業大学) 講演タイトル：(Un)decidability and Complexity of Equational Theories of Existential Calculi of Relations 概要： We consider the (un)decidability and complexity of equational theories of calculi of relations. Calculi of relations are algebraic systems with operations on binary relations (such as union, intersection, complement, composition, converse, and transitive closure). In this talk, after introducing Tarski's calculus of relations, we focus on some equational theories of ``existential'' calculi of relations, give sketches of the (un)decidability and complexity results, and give open problems. Here, ``existential'' means that complement only applies to constants or variables. Such fragments are related with existential logics. よろしくお願いいたします。田中大海 -- 慶應義塾大学文学研究科哲学・倫理学専攻哲学分野田中大海 (email: hiromitanaka(a)keio.jp)

1 0

2nd CfP: 6th Asian Workshop on Philosophical Logic
by Katsuhiko Sano 24 Sep '23

24 Sep '23

Second Call for Papers ===================================================== 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] Submission deadline: 15 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

3rd Call for Papers (Deadline Extended): Special Issue of RAP (Review of Analytic Philosophy) on Logics of Communicative Interaction
by Katsuhiko Sano 16 Sep '23

16 Sep '23

logic-ml の皆様、北海道大学の佐野です。山田友幸先生の代理で下記の cfpを投稿いたします。佐野勝彦 3rd Call for Papers (Deadline Extended) ************************************************************ 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: 31st October 2023 (Extended) All inquiries should be sent to rap(a)myukk.org . Guest co-editors of the special issue: Sonja Smets Tomoyuki Yamada --------------------- CFP Ends -------------------- -- Katsuhiko Sano

1 0

数学基礎論若手の会2023
by 松田直祐 11 Sep '23

11 Sep '23

みなさま湘南工科大学の松田直祐と申します。今年度の数学基礎論若手の会を以下の要領で開催させていただきます。日程：2023年12月7日（木）～ 12月9日（土）会場：サンセットブリーズ保田 <https://sunset-breeze.com/>（対面開催）住所：千葉県安房郡鋸南町大六1032 世話人：松田直祐（湘南工科大学）参加申し込み方法などの詳細は，ホームページでご確認ください。若手の会2023 <https://sites.google.com/view/mlwakatenokai2023/%E3%83%9B%E3%83%BC%E3%83%A0> 4年ぶりに対面（合宿形式）での開催となります。多くのみなさまのご参加をお待ちしております。 -- 松田直祐湘南工科大学情報学部情報学科〒251-8511 神奈川県藤沢市辻堂西海岸1-1-25 Tel: 0466-30-0219 Email: matsuda.naosuke(a)gmail.com

1 0

Two Mini-Courses in Set Theory, University of Vienna, October 2023 – January 2024
by Diego A. Mejía 11 Sep '23

11 Sep '23

https://ests.wordpress.com/2023/09/04/two-mini-courses-in-set-theory-univer… The University of Vienna Set Theory Research Seminar will host two mini-courses in hybrid format in the coming Winter Semester 2023. *** *** *** *** *** *** *** *** 1) Title: Convergence in Banach spaces of measures and cardinal characteristics of the continuum Damian Sobota (FWF ESPRIT Project Leader, University of Vienna) When and where: Thursdays (05.10.2023-23.11.2023, 6 lectures) 11:30-13:00, Seminarraum 10, Kolingasse 14-16, Uni Wien Zoom Meeting ID: 210 955 0387, Passcode: kgrc https://univienna.zoom.u/j/2109550387?pwd=ZXZMLzZIWERXK2lnWlROZncxQkVSUT09 <https://univienna.zoom.us/j/2109550387?pwd=ZXZMLzZIWERXK2lnWlROZncxQkVSUT09> Abstract: During this mini-course I will show how various properties of Banach spaces of measures (on compact spaces or Boolean algebras) are affected by values of the cardinal characteristics of the continuum occuring in Cichoń’s diagram and van Douwen’s diagram. We will in particular be interested in convergence properties of sequences of measures in weak* and weak topologies. Besides, we will study what impact extending the set-theoretic universe by forcing can have on topologies of ground model Banach spaces of measures. Finally, I will present connections between convergence of measures on compact spaces and filters on countable sets. 2) Title: Forcing techniques for Cichoń’s Maximum Diego A. Mejía (Associate Professor, Shizuoka University) When and where: Thursdays (30.11.2023-25.01.2024, 6 lectures) 11:30-13:00, Seminarraum 10, Kolingasse 14-16, Uni Wien Zoom Meeting ID: 210 955 0387, Passcode: kgrc https://univienna.zoom.us/j/2109550387?pwd=ZXZMLzZIWERXK2lnWlROZncxQkVSUT09 Abstract: Cichoń’s diagram describes the connections between combinatorial notions related to measure, category, and compactness of sets of irrational numbers. In the second part of the 2010’s decade, Goldstern, Kellner and Shelah constructed a forcing model of Cichoń’s Maximum (meaning that all non-dependent cardinal characteristics are pairwise different) by using large cardinals. Some years later, we eliminated this large cardinal assumption. In this mini-course, we explore the forcing techniques to construct the Cichoń’s Maximum model and much more. Concretely, we discuss the following components: 1. Tukey connections and cardinal characteristics of the continuum 2. Review of FS (finite support) iterations and basic methods to modify cardinal characteristics. 3. Preservation theory for cardinal characteristics. 4. FS iterations with measures and ultrafilters on the natural numbers. 5. Boolean Ultrapowers. 6. Forcing Intersected with submodels. *** *** *** *** *** *** *** *** For further information, please write to <vera.fischer(a)univie.ac.at>. -- Diego A. Mejía (PhD) Associate Professor Faculty of Science, Shizuoka University 836 Ohya, Suruga-ku, Shizuoka 422-8529 Japan Tel: +81-54-2384787

1 0

【論文/発表募集】第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024)
by 安部達也 09 Sep '23

09 Sep '23

皆様， PPL 2024 プログラム共同委員長の安部です．来年（2024）の 3/5〜7 に新潟朱鷺メッセにて開催予定の PPL 2024 の論文/発表募集をお送りいたします． PPL 2024 では，理論・実装を問わず，プログラミングおよびプログラミング言語に関する発表・論文を広く募集しております．どうぞ，発表・投稿をご検討いただけますと幸いです． PPL 2024 プログラム共同委員長（ppl2024-pc-chair(a)jssst-ppl.org) 安部達也（千葉工業大学）川端英之（広島市立大学） ======================================================= 第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024) 論文募集/発表募集主催：日本ソフトウェア科学会プログラミング論研究会日程：2024年3月5日（火）-- 3月7日（木）会場：朱鷺メッセ新潟コンベンションセンターおよびオンラインのハイブリッド開催 URL ：https://jssst-ppl.org/workshop/2024/ ** 重要な日程 ** カテゴリ1：発表申込締切 2023年12月22日（金）17:00 (JST) 論文提出締切 2024年 1月 5日（金）17:00 (JST) 採否通知　　 2024年 1月29日（月）カテゴリ2：発表申込締切 2024年 1月19日（金）17:00 (JST) 採否通知　　 2024年 1月30日（火）カテゴリ3：発表申込締切 2024年 1月31日（水）17:00 (JST) 採否通知　　 2024年 2月 2日（金）カテゴリ4：発表申込締切 2024年 1月19日（金）17:00 (JST) 採否通知　　 2024年 1月30日（火） ** PPL 2024 の開催形式について ** PPL 2024 は，通常の研究会形式での，対面を中心としたハイブリッド開催を予定しています．対面を中心とするのは，PPL 2024 を以前の PPL と同様にカジュアルかつインフォーマルな意見交換や交流の場にするためであり，発表者には原則対面でご参加いただくことを考えております．それに加えて，より広範な方々に研究の議論にご参加いただくためにも，COVID-19 状況下で獲得した知見を生かしてオンラインでも参加者に非同期・同期的な聴講および質疑の場を提供する予定です．ただし，ポスター・デモセッションは対面でのみ行い，オンラインへの提供は行わない予定です． ** PPL 2024 とは ** PPL 2024 は，プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果や新たな研究課題の提案・討論・アイディア交換を行うことを目的とした研究集会です．代表的なトピックは以下のようなものですが，これらに限らず，プログラミングやプログラミング言語に関する内容であれば，基礎理論・実装技術の研究からソフトウェアやツールの実現に至るまで，幅広く受け入れます．基礎理論：意味論，ラムダ計算，型理論，項書き換え，形式論理と証明，形式　　　　　言語とオートマトン，圏論，チューリング機械，アルゴリズムなど言語デザイン：各種プログラミングパラダイム（オブジェクト指向・関数型・　　　　　　　論理型・アスペクト指向，その他あらゆるパラダイムを含む），　　　　　　　モジュール化，メタプログラミング，並行・並列・分散計算，　　　　　　　型システム，言語や言語システム等の相互運用，領域限定言語　　　　　　　など言語処理系技術：コンパイラ，インタプリタ，実行時システム，仮想機械，プ　　　　　　　　ログラム最適化，プログラム解析，プログラム変換，メモリ　　　　　　　　管理などプログラミング補助：プログラム検証器，デバッガ，プロファイラ，統合開発　　　　　　　　　　環境，プログラム合成，リファクタリングなどケーススタディ：ソフトウェア開発報告，プログラミング技法，ツールの紹介　　　　　　　　など応用：システムソフトウェア，Webシステム，データベースシステム，数値計　　　算，ユーザーインタフェース，セキュリティ，プログラミング教育，人　　　工知能・機械学習など ** 発表募集カテゴリ ** 以下の4カテゴリの研究発表を募集します．カテゴリ1：国内外未発表論文カテゴリ2：国際既発表論文カテゴリ3：ポスター・デモ発表カテゴリ4：サーベイ・チュートリアルカテゴリ1 では，国内外で未発表の論文発表を募集します．PPL での議論をもとに研究を発展させ，国際会議や学術論文誌への投稿につなげることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的なものとします．参加者相互で実りある議論ができるような，発展途上の研究を特に歓迎します．複数名の査読者による研究の発展性・重要性・根拠の確かさ・説明の明瞭さの評価をもとにプログラム委員会で議論し，採否を判断します．特に以下の点にご注意ください．・理論的な研究については，形式化の明瞭さと正しさが重要です．論文中に明　示してあれば証明等が未完成でも構いませんが，証明等について議論できる　程度の完成度は求められます．・実装技術の研究については，手法の妥当性や評価が重要です．論文中に明示　してあれば実装や実験が未完成でも構いませんが，上記の点を議論できる程　度の完成度は求められます．・ソフトウェアやツールの実現に関する研究については，その有用性やデザイ　ンチョイスが明瞭であることが重要です．論文中に明示してあれば実装が未　完成でも構いませんが，上記の点を議論できる程度の完成度は求められます．カテゴリ2 では，国際会議や国際学術論文誌等で発表済みまたは採録決定済みの，自身が著者の一人に含まれている研究論文の紹介を募集します．PPLとの関連性，プログラム全体のバランス，発表された媒体等をもとにプログラム委員会で議論し，採否を判断します．カテゴリ3 では，PPL に関連する内容（未発表・既発表いずれでも構いません）についてのポスター発表を募集します．萌芽的なアイデアの紹介やツールのデモンストレーションなども歓迎します．PPLとの関連性・プログラム全体のバランスをもとに，プログラム委員による議論によって採否を判断します．カテゴリ4 では，研究動向の紹介・分野間の相互理解・ツールのチュートリアルなど，PPL の聴衆にとって有益な学術知識の紹介を募集します．未発表・既発表の別を問いません．PPL との関連性，内容の重要性，発表者の経歴，プログラム全体のバランス等をもとにプログラム委員会で議論し，採否を判断します．カテゴリ1 の採択論文の中から，特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です．さらに，カテゴリ1・2 の全発表のなかから最も聴衆の支持を集めたものに発表賞，カテゴリ3 の全発表のなかから最も聴衆の支持を集めたものにポスター賞を授与する予定です（いずれも一般の部・学生の部の 2種類，ただし「発表賞」は既受賞者を除く）． ** プログラム委員会 ** プログラム共同委員長　安部達也（千葉工業大学）プログラム共同委員長　川端英之（広島市立大学）石尾隆　　（公立はこだて未来大学）岩見宗弘　（島根大学）緒方一則　（日本IBM）倉光君郎　（日本女子大学）光来健一　（九州工業大学）酒井正彦　（名古屋大学）新屋良磨　（秋田大学）澄川靖信　（拓殖大学）高野保真　（北里大学）滝坂透　　（電子科技大学）田中哲　　（産業技術総合研究所）千田忠賢　（NTT社会情報研究所）長慎也　　（明星大学）立木秀樹　（京都大学）塚田武志　（千葉大学）中正和久　（山口大学）中村誠希　（東京工業大学）西村進　　（京都大学）蓮尾一郎　（国立情報学研究所）日高宗一郎（法政大学）細部博史　（法政大学）山崎進　　（北九州市立大学）山崎徹郎　（東京大学）和賀正樹　（京都大学） ** 組織委員会 ** 組織委員長　　　　　　　木村大輔　（東邦大学）組織副委員長　　　　　　今井敬吾　（ディー・エヌ・エー）財務担当　　　　　　　　池渕未来　（京都大学）財務副担当　　　　　　　森口草介　（東京工業大学）会場担当　　　　　　　　松田直祐　（湘南工科大学）会場副担当　　　　　　　橋本健二　（名古屋大学）渉外担当　　　　　　　　浅田和之　（東北大学）プログラム共同委員長　　安部達也　（千葉工業大学）プログラム共同委員長　　川端英之　（広島市立大学）前プログラム共同委員長　小宮常康　（電気通信大学）前プログラム共同委員長　松田一孝　（東北大学） ** 問い合わせ先 ** ・ワークショップ全般について　組織委員会：ppl2024-oc(a)googlegroups.com ・発表/プログラムについて　プログラム共同委員長：ppl2024-pc-chair(a)jssst-ppl.org

1 0

教授（鹿児島大学）公募
by Hitoshi Furusawa 08 Sep '23

08 Sep '23

logic-ml の皆さま鹿児島大学の古澤と申します。本学学術研究院理工学域理学系では、以下の公募を行っております。募集人員：教授１名（任期の定めなし）所　　属：鹿児島大学学術研究院理工学域理学系（理学部理学科／数理情報科学プログラム担当）専門分野：情報科学（情報科学に関連する数理科学分野を含む）着任時期：令和６年４月１日応募締切：令和５年１１月１０日（金）必着詳細につきましては下記のURLをご覧ください。 https://jrecin.jst.go.jp/seek/SeekJorDetail?id=D123090485 https://www.kagoshima-u.ac.jp//about/saiyou.html ご興味をお持ちの方がいらっしゃいましたら応募をご検討ください。また、お近くに適任の方がいらっしゃいましたらお勧めいただけますと幸いです。 ----- 鹿児島大学古澤仁

1 0

教授または准教授(愛媛大学)公募(締切R5/10/27)
by FUJITA Hiroshi 07 Sep '23

07 Sep '23

Logic-MLの皆様、愛媛大学の藤田です。愛媛大学大学院理工学研究科（数理科学講座）では、以下の公募を行っております。募集人員: 教授または准教授（任期なし）１名所属部門: 愛媛大学大学院理工学研究科理工学専攻数理科学講座応募資格: 修士以上の学位、実務の経験を有する、など専門分野: 機械学習、データサイエンス及びそれらの関連分野着任時期: 令和6年4月1日以降のなるべく早い時期公募締切: 令和5年10月27日（金）17:00必着本件、応募資格に特徴がある公募となっております。詳細につきましては, 以下のページをご覧ください。 https://www.ehime-u.ac.jp/wp-content/uploads/2023/09/surikagaku_kobo.pdf 関係者等にご周知いただければ幸いです。また、適任者をご存知の場合には、ぜひ応募をお勧めいただきますようお願い申し上げます。よろしくお願いいたします。愛媛大学大学院理工学研究科理工学専攻数理科学講座藤田博司 <fujita.hiroshi.mh(a)ehime-u.ac.jp>

1 0

【講演募集中】RIMS Set Theory Workshop 2023
by FUJITA Hiroshi 04 Sep '23

04 Sep '23

Logic-ML のみなさま、こんにちは。愛媛大学の藤田です。京大RIMSでの集合論研究集会(RIMS Set Theory Workshop 2023)について、重ねて講演募集のお知らせです。今年度の RIMS Set Theory Workshop 2023 は＊「巨大基数と連続体」という題目のもと、＊ 10月24日(火)〜27日(金)の4日間、＊京都大学数理解析研究所110号室とZoom配信のハイブリッド形式で開催されます。今年は、カタロニアICREAのJoan Bagaria先生のミニ・コースを予定しております。集合論および関連分野に関する講演を幅広く募集しております。まだまだ講演枠には余裕がありますので、若手のみなさまも、ベテランのみなさまも、ぜひ講演をご検討ください。RIMSでの対面での講演、Zoomによるリモート講演のどちらにも対応いたします。講演ご希望の方は、日々が迫っていて申しわけありませんが、9月15日(金)までに、 fujita.hiroshi.mh(a)ehime-u.ac.jp まで、電子メールにてご連絡ください。研究集会のウェブページは https://tenasaku.com/RIMS2023/ にあります。お知り合いの皆さまにもお知らせいただければ幸いです。今後ともよろしくお願いいたします。藤田博司 <fujita.hiroshi.mh(a)ehime-u.ac.jp>

1 0

『若手による数理論理学研究集会』について
by 西村祐輝 31 Aug '23

31 Aug '23

logic-ml の皆様、『若手による数理論理学研究集会』の西村です。公式サイトにて、タイムテーブルを公開しました。発表件数が多く、1日目も朝早くからの開催となりますのでご注意ください。発表者の中で時間を変更してほしいなどの要望がありましたら、お早めにお申し付けください。また、参加受付は 9/7 まで受け付けております。現地での参加、オンライン参加のどちらでもかまいません。公式サイト：https://sites.google.com/view/xbmyl3svm2zgtsfmnyeq94xp43 どうぞよろしくお願いいたします。 -- 西村祐輝東京工業大学情報理工学院数理・計算科学系 mail: nishimura.y.as(a)m.titech.ac.jp

1 0

【9月5日締め切り】参加募集: 日本ソフトウェア科学会第40回大会
by Kohei SUENAGA 30 Aug '23

30 Aug '23

# 複数お受け取りの場合はご容赦ください．日本ソフトウェア科学会第40回大会の参加募集を再度お送りします．今年度の大会では第40回の記念に学生参加費が無料です．参加申込み締切は *** 9月5日(火) *** です．お早めにお申込みください．合わせて運営を手伝って頂ける学生アルバイトも募集しています． https://jssst2023.wordpress.com/sv/ こちらも9月5日(火)が締切です．教員の方はお近くの学生さんにお声がけください． ------------------------------------------------ 日本ソフトウェア科学会第40回大会参加募集 https://jssst2023.wordpress.com/ 日時：2023年9月11日(月)～9月14日(木) 会場：東京大学本郷キャンパス工学部2号館 (〒113-8656 東京都文京区本郷7-3-1) 申込み：https://jssst2023.wordpress.com/participation/ 申込締切：2023年9月5日(火) ※ 学生は参加無料ですが参加登録が必要です．日本ソフトウェア科学会第40回大会及び併設イベント（チュートリアル，PPL サマースクール）の参加募集を開始いたしました．今年も未来のソフトウェアとそれを支えるソフトウェア科学に関する多数の発表が予定されております．本年の大会は基本的に現地での開催となります．発表はZoomでの配信も予定しています．プログラム: https://jssst2023.wordpress.com/program/ 基調講演(1) 9月12日 9:20～10:30 丸山宏（花王）「コンピュータサイエンスはどこへ向かうか」基調講演(2) 9月12日 15:05～16:15 原田康徳（合同会社デジタルポケット）「手作りプログラミング　プログラミング言語ビスケットの20年と、それより前の20年」併設チュートリアル 9月11日 14:00～17:00 「試して作って知るライブプログラミング入門」講師：加藤淳（産業技術総合研究所）橋本麦（産業技術総合研究所）併設PPLサマースクール 9月11日 9:30～12:55 「正規表現研究の最先端」講師：千田忠賢（NTT社会情報研究所），南出靖彦（東京工業大学）皆様のご参加をお待ちいたしております． -- 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

【参加登録受付中】日本ソフトウェア科学会第40回大会
by Kohei SUENAGA 28 Aug '23

28 Aug '23

# 複数お受け取りの場合はご容赦ください京都大学の末永と申します。日本ソフトウェア科学会第40回大会の参加募集をお送りします。今年度の大会では第40回の記念に学生参加費が無料です。 https://jssst2023.wordpress.com/ にてプログラムが公開されています。招待講演を始めとして 40周年企画セッションや基礎研究賞受賞講演等盛りだくさんのプログラムになっております。 PPLサマースクールや大会チュートリアルもやっております。ぜひ参加をご検討ください！ ------------------------------------------------ 日本ソフトウェア科学会第40回大会参加募集 https://jssst2023.wordpress.com/ 日時：2023年9月11日(月)～9月14日(木) 会場：東京大学本郷キャンパス工学部2号館 (〒113-8656 東京都文京区本郷7-3-1) 申込み：https://jssst2023.wordpress.com/participation/ 申込締切：2023年9月5日(火) ※ 学生は参加無料ですが参加登録が必要です．日本ソフトウェア科学会第40回大会及び併設イベント（チュートリアル，PPL サマースクール）の参加募集を開始いたしました．今年も未来のソフトウェアとそれを支えるソフトウェア科学に関する多数の発表が予定されております．本年の大会は基本的に現地での開催となります．発表はZoomでの配信も予定しています．皆様のご参加をお待ちいたしております． -- 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

CCC 2023 - call for participation
by Takao Yuyama 28 Aug '23

28 Aug '23

logic-mlの皆様京都大学の湯山です．来月9月25日(月)〜29日(金)に京都で開催される研究集会 CCC 2023 の参加募集について，下記の通りお知らせいたします．参加登録の締切は9月13日(水)ですが，参加人数把握のため，早めに登録いただけますと幸いです． Takao Yuyama 湯山孝雄京都大学数理解析研究所 yuyama(a)kurims.kyoto-u.ac.jp ---- CALL FOR PARTICIPATION CCC 2023: Continuity, Computability, Constructivity – From Logic to Algorithms Research Institute for Mathematical Sciences, Kyoto University Kyoto, Japan, September 25 - 29, 2023 Participation can be online or in person and is free of charge. A link for the registration can be found on the following conference website: https://www.i.h.kyoto-u.ac.jp/ccc2023/ Please register early, so that we can confirm the number of participants. Deadline for registration: September 13 ==================================================== 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. ======================================================== Invited Speakers: Johanna Franklin (Hofstra University, USA) Alexander G. Melnikov (Victoria University of Wellington, NZ) Takako Nemoto (Tohoku University, Sendai, JP) Siegfried M. Rump (Hamburg University of Technology, DE) Linda Westrick (Penn State University, USA) ======================================================== 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

東北大ロジックセミナーのご案内(8月29日)
by YOKOYAMA Keita 27 Aug '23

27 Aug '23

皆様東北大の横山です．直前のご案内になりまして恐縮ですが，以下の通りセミナーを開催いたしますのでご案内いたします． https://sites.google.com/view/sendai-logic/ 日時：8月29日(火) 15:00- 場所：東北大学理学研究科合同A棟803号室 (当日はzoom配信を実施予定です． zoomにて参加を希望される方は，五十里さん(hiroyuki.ikari.q8(a)dc.tohoku.ac.xn--jp)-u63b4b3ai1gucvn3231fnbwb) 講演者：仁木哲 (ルール大学ボーフム) 題目： How can an intuitionistic logician understand connexive constructible falsity? 概要： Constructivists have usually understood negation as an implication to absurdity. Nonetheless, there have also been dissenting voices to this conception, one of the most notable among which are ones who advocate an alternative notion called constructible falsity. Nels David Nelson (1918-2003) introduced this notion as a `strong’ form of negation, which provides a direct counter-example to its negand. This `strongness’ is however often eschewed in favour of paraconsistency, making the resulting negation, severed of its relationship with intuitionistic negation, harder for intuitionistic logicians to comprehend. The issue is more serious in a variant of constructible falsity introduced by Heinrich Wansing, which validates so-called `connexive’ principles. This is due to the provability of a contradictory pair of formulas, which prohibits an interpretation of it as a `strong’ negation without bringing triviality. As a result, Wansingian negation should appear even more mysterious to the eyes of intuitionistic logicians. Another way to relate intuitionistic and Wansingian negations is to accept the law of excluded middle for the latter, as studied by Wansing and Hitoshi Omori. This move, however, compromises constructivity, and therefore is perhaps not so preferable either. In this talk, I will try to shed some lights on this issue, by discussing other ways to introduce an interaction between intuitionistic and Wansing negations. I will compare relative advantages of the interactions, which may enable intuitionistic logicians to better understand Wansingian negation and its connexivity. どうぞよろしくお願いいたします．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 keita.yokoyama.c2(a)tohoku.ac.jp

1 0

SLACS 2023（8月31日・9月1日）発表プログラム公開
by Yosuke Fukuda 24 Aug '23

24 Aug '23

皆様，第40回記号論理と情報科学研究集会（SLACS 2023）幹事の福田@京都橘大です． SLACS 2023の暫定の発表プログラム( https://lambda.ski/slacs2023 )を公開しましたのでお知らせいたします． ==== SLACS 2023 開催要領 ==== 詳細: https://lambda.ski/slacs2023 日程: 2023年8月31日（木）から2023年9月1日（金）の二日間形式: 対面およびオンラインのハイブリッド開催会場: 京都橘大学優心館2階 E201教室（〒607-8175 京都府京都市山科区大宅山田３４）費用: 参加費無料幹事: 福田陽介（京都橘大学, E-mail: yf(a)lambda.ski ） ======== 参加をご希望の方は上記ウェブページにあるフォームから登録をお願いいたします．研究集会への参加申し込みは開催前日まで受け付けます．以上，奮ってご参加ください．

1 0

「若手による数理論理研究集会」についてご案内
by 西村祐輝 19 Aug '23

19 Aug '23

logic-ml の皆様、東京工業大学の西村です。以前告知しました「若手による数理論理研究集会」について、いくつかのご案内を申し上げます。 1. 講演申し込み者の皆様には、8月25日以降に、以下の事項について伺います。・演題・講演の概要・発表時間の希望：通常（40分程度）、ショートトーク（15分程度）の2つを設けています。すでにお決まりの方がいらっしゃいましたら、お早めにお知らせいただけると幸いです。 2. 旅費支援および宿泊費支援においては、対象者の方に 8/25 以降個別に連絡いたします。つきましては、旅費支援をご希望の方は、お手数ですが *8月24日* までに参加申し込みをいただきますよう、よろしくお願いいたします。 3. 各種締め切りは次のとおりです。・発表申し込み：8月24日・参加申し込み：9月7日宿泊申し込みの締め切りは過ぎておりますので、両日参加される方は、各自で宿泊先の手配をお願いいたします。合わせて、・旅費支援申請：8月24日・懇親会参加：8月24日を、それぞれ締め切りといたします。 4. 本日以降、上記の講演詳細はじめ、本会についての連絡は、西村祐輝 (nishimura.y.as [at] m.titech.ac.jp) までお願いいたします。こちらのサイトもあわせてご確認ください。 https://sites.google.com/view/xbmyl3svm2zgtsfmnyeq94xp43 どうぞよろしくお願いいたします。 -- 西村祐輝東京工業大学情報理工学院数理・計算科学系 mail: nishimura.y.as(a)m.titech.ac.jp

1 0

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

17 Aug '23

関係者の皆様，以下の要領で数学基礎論サマースクール2023を開催いたします．周知および多くの方にご出席いただけますと幸いです．テーマ：連続体上の計算論日時：2023年9月11日(月)〜15日(金) 場所：明治大学駿河台キャンパス幹事：宮部賢志（明治大学），木原貴行（名古屋大学）連絡先：宮部賢志，research(a)kenshi.miyabe.name 講師および内容：鈴木登志雄：計算論速習(Turing機械，停止問題，算術的階層) 宮部賢志：実数の計算可能性 Holger Thies：実関数の計算可能性・計算量 Matthew de Brecht：計算可能位相空間論木原貴行：実現可能性理論／計算可能数学の圏すべての講演は日本語で行います．詳細は以下のページで随時案内します． http://kenshi.miyabe.name/kisoron_school_2023/ スケジュールを公開しました．内容の詳細を加えました．人数把握のために参加登録をお願いします．参加登録は必須ではありません．懇親会の案内も加えました．日時：9月14日(木)の夜場所：スカイラウンジ暁（リバティタワー17階） https://www.meiji.ac.jp/koho/studentsservice/dining/di_surugadai.html 立食の予定です．時間がなくて申し訳ありませんが，懇親会参加希望される方は以下までに登録をお願いします．登録一次締切：9月3日(日)23:59，可能な範囲でこのときまでにお願いします．最終締切：9月8日(金)昼12:00 どうぞよろしくおねがいします．宮部 -- 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

モデル理論夏の学校・研究集会2023のお知らせ
by kota takeuchi 17 Aug '23

17 Aug '23

皆さまモデル理論夏の学校は例年夏に開催されるモデル理論の研究集会です．モデル理論は数理論理学の１分野で，近年数学の各分野から注目を浴びています．今年は筑波大学で開催されます．モデル理論に興味のある幅広い分野の方を歓迎します．詳しくはwebpageをご覧ください。また参加をご希望の方はwebpageの申込フォームからお申し込みください。皆様の参加をお待ちしております。日程：2023年9月6日（水）午後－8日（金）午前場所：筑波大学総合B棟0110講義室連絡先：竹内耕太（筑波大学 kota(a)math.tsukuba.ac.jp) Webpage:https://sites.google.com/view/modeltheorysummerworkshop2023/home 竹内耕太

1 0

PPLサマースクール2023 「正規表現研究の最先端」のご案内
by k.inaba 16 Aug '23

16 Aug '23

皆様（重複して受け取られた場合、ご容赦ください）、 Google の稲葉と申します。日本ソフトウェア科学会第40回大会併設のイベントとして、 9月11日(月) に開催予定のPPLサマースクール2023についてご案内いたします。多数のご参加をお待ちしております。 ========================================================== PPLサマースクール2023「正規表現研究の最先端」 http://ppl.jssst.or.jp/index.php?ss2023 2023年9月11日(月) 9:30〜12:55 東京大学本郷キャンパスおよびオンラインのハイブリッド開催 ========================================================== # 概要文字列の集合を表記する方法の一つである正規表現は，理論計算機科学の重要な基礎であると同時に，実用的なプログラミングにおいても，文字列検査や検索における必須のツールとして広く使われています．とはいえ，大学の形式言語理論の講義で習うような綺麗に整った正規表現・オートマトン等の理論と，様々な拡張を施されたある種泥臭い現実のプログラミング言語の機能としての正規表現とは，どこか隔たりがあるように感じている方も多いのではないでしょうか．本サマースクールでは，2名の講師をお招きして，後方参照などの拡張や，バックトラックにより実装された正規表現エンジンの計算時間の問題，文字列抽出の扱いなど，正規表現にまつわる発展的な問題について，どのような研究がなされているのか，ご講演いただきます．受講にあたっては，形式言語とオートマトンなど，学部レベルのコンピュータサイエンスの知識を習得していることが推奨されます． # 講師紹介（発表順）千田忠賢 NTT社会情報研究所・研究員．2023年早稲田大学博士後期課程修了．形式言語・オートマトン理論の技術の実世界への応用に関する研究に従事．南出靖彦東京工業大学情報理工学院数理・計算科学系教授．博士（理学）．ソフトウェア検証，プログラミング言語，形式言語理論に興味を持つ． # プログラム 9:30 - 9:35 オープニング 9:35 - 10:35 正規表現とその拡張について（講師：千田） 10:35 - 10:45 休憩 10:45 - 11:45 正規表現のDoS脆弱性(ReDoS)とその検査技術（講師：南出） 11:45 - 11:55 休憩 11:55 - 12:55 例を用いた正規表現の自動修正技術（講師：千田）

1 0

講演募集中: RIMS Set Theory Workshop 2023
by FUJITA Hiroshi 07 Aug '23

07 Aug '23

Logic-MLの皆さま、こんにちは。愛媛大学の藤田です。京都大学数理解析研究所にて毎年秋に開催しております集合論の研究集会 (RIMS Set Theory Workshop) について、先日ご連絡いたしましたとおり、今年は Large Cardinals and the Continuum という表題のもと、10月24日(火) から 27日(金) にかけて、対面とZoomによるリモートのハイブリッド形式で開催いたします。現在、講演者を募集中です。表題にあります「巨大基数理論」「連続体の集合論」に関するものはもちろんですが、それに限らず、集合論および関連分野に関する講演を幅広く募集しております。RIMSでの対面での講演、Zoomによるリモート講演のどちらにも対応いたします。講演ご希望の方は、できるだけ9月9日金曜日までに、 fujita.hiroshi.mh(a)ehime-u.ac.jp<mailto:fujita.hiroshi.mh@ehime-u.ac.jp> まで、電子メールにてご連絡ください。研究集会のウェブページは https://tenasaku.com/RIMS2023/ にあります。お知り合いの皆さまにもお知らせいただければ幸いです。今後ともよろしくお願いいたします。藤田博司 fujita.hiroshi.mh(a)ehime-u.ac.jp<mailto:fujita.hiroshi.mh@ehime-u.ac.jp>

1 0

(Final Call) デモ・ポスターセッションでの発表募集：第40回日本ソフトウェア科学会大会
by Kohei SUENAGA 06 Aug '23

06 Aug '23

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

【リマインド】SLACS 2023（8月31日・9月1日）講演・参加募集のお知らせ
by Yosuke Fukuda 02 Aug '23

02 Aug '23

皆様，第40回記号論理と情報科学研究集会（SLACS 2023）幹事の京都橘大学の福田です．SLACS 2023は，2023年8月31日（木）〜9月1日（金）に京都橘大学 & オンラインでハイブリッド開催いたします．講演・参加のご検討ほど，どうぞよろしくお願いいたします． ==== SLACS 2023 開催要領 ==== 詳細: https://lambda.ski/slacs2023/ 申込: https://forms.office.com/r/xZvGcnwyzS 日程: 2023年8月31日（木）から2023年9月1日（金）の二日間形式: 対面およびオンラインのハイブリッド開催会場: 京都橘大学優心館2階 E201教室（〒607-8175 京都府京都市山科区大宅山田３４）費用: 参加費無料（懇親会費は別途徴収します）幹事: 福田陽介（京都橘大学, E-mail: yf(a)lambda.ski ） ======== 講演申し込み期限は ** 2023年8月21日（月） ** としますが，発表する意思がある方は早めに申し込みいただけると幸いです．研究集会への参加申し込みは開催前日まで受け付けます．以上，奮ってご参加ください．

1 0

教員公募:沼津高専(1件)
by Yasuhito SUZUKI 01 Aug '23

01 Aug '23

皆様沼津工業高等専門学校制御情報工学科の鈴木と申します。本校において、1名の教員を公募しております。ご興味のある方はぜひご検討ください。お心あたりある方にも情報共有いただければ幸いです。 ---- 募集人員: 准教授または助教 1名専門領域: 次のいずれかの分野(情報工学、情報科学、電気工学、制御工学、数理工学) 所属: 国立高等専門学校機構沼津工業高等専門学校電子制御工学科または制御情報工学科勤務形態: 常勤(任期なし) 採用後はどちらかの学科に所属しますが、授業としては両学科の科目を受け持ってもらう可能性があります採用時期: 令和6年4月1日応募締め切り: 令和5年9月1日提出書類はJREC-INのWeb応募で提出していただきます。その他、詳細については、本校Webページの「PDF詳細」をご確認ください。 https://www.numazu-ct.ac.jp/recruit/ 以上となります。 -- SUZUKI Yasuhito 沼津高専制御情報工学科 National Institute of Technology, Numazu College. Tel: +81-55-926-5795

1 0

吉田展子先生講演(8/1 14:00~ @ 早稲田大学)
by Tachio Terauchi 31 Jul '23

31 Jul '23

皆さま、 8月1日に早稲田大学にて吉田展子先生によるご講演があります。詳細は下記の通りです。よろしければぜひご参加ください。 ----- 日時： 8月1日(水) 14:00 ～場所：早稲田大学西早稲田キャンパス 63号館 5階506室題目： Multiparty Session Types: Specification-Guided Parallel and Distributed Programming 講演者: Nobuko Yoshida (University of Oxford) 概要： I first give a gentle introduction of multiparty session types. Then I will talk about a joint work with Zak Cutner and Martin Vassor. Rust is a modern systems language focused on performance and reliability. Complementing Rust's promise to provide "fearless concurrency", developers frequently exploit asynchronous message passing. Unfortunately, sending and receiving messages in an arbitrary order to maximise computation-communication overlap (a popular optimisation in message-passing applications) opens up a Pandora's box of subtle concurrency bugs. To guarantee deadlock-freedom by construction, we present Rumpsteak: a new Rust framework based on multiparty session types. Previous session type implementations in Rust are either built upon synchronous and blocking communication and/or are limited to two-party interactions. Crucially, none support the arbitrary ordering of messages for efficiency. Rumpsteak instead targets asynchronous async/await code. Its unique ability is allowing developers to arbitrarily order send/receive messages while preserving deadlock-freedom. For this, Rumpsteak incorporates two recent advanced session type theories: (1) k-multiparty compatibility (k-MC), which globally verifies the safety of a set of participants, and (2) asynchronous multiparty session subtyping, which locally verifies optimisations in the context of a single participant. Specifically, we propose a novel algorithm for asynchronous subtyping that is both sound and decidable. We first talk about Rumsteak and show the new algorithm. We then talk about evaluations against other Rust implementations and asynchronous verification tools. ---- 寺内

1 2

デモ・ポスターセッションでの発表募集：第40回日本ソフトウェア科学会大会
by Kohei SUENAGA 28 Jul '23

28 Jul '23

皆様，（複数お受け取りの際はご容赦ください．）京都大学の末永です． 9月11日～9月14日に東大本郷キャンパスで開催予定の日本ソフトウェア科学会第40回大会でのデモ・ポスターセッションでの発表募集です．タイトルとアブストラクトのみで https://easychair.org/my/conference?conf=jssst2023 から申し込むことができますので、どうぞご検討ください！ # 上記申し込みページには原稿をアップロードするための箇所がありますが、 # デモ・ポスターセッションでは不要です。今年度は対面に重点を置いたハイブリッド開催とする予定です．（ご発表は基本的に対面でお願いする予定です．）よろしくお願いいたします． == 日本ソフトウェア科学会第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 システム (https://easychair.org/my/conference?conf=jssst2023) を使って PDF ファイルで提出してください．詳しい講演論文作成要領は https://jssst2023.wordpress.com/submission/ をご参照ください． - 講演論文を収録した講演論文集は学会ウェブサイトで大会終了後に公開予定です． # 授賞特に優秀な登壇発表を行った本会会員には「高橋奨励賞」が授与されます．また優秀な登壇発表を行った学生には「学生奨励賞」が，聴衆から多くの支持を集めた登壇発表を行った発表者には「優秀発表賞」が授与されます．優秀なデモ・ポスター発表には「優秀デモ・ポスター賞」が授与されます． # 学会誌への同時投稿講演論文は通常論文あるいはレター論文として学会誌に同時投稿できます．大会発表で得られたコメントを反映した上での大会後投稿も可能です．詳細は，ホームページをご覧ください． # お問合せ先 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

東北大ロジックセミナーのご案内(8月4日)
by 鈴木悠大 24 Jul '23

24 Jul '23

皆様東北大学の鈴木悠大です以下の通りセミナーを開催いたしますのでご案内いたします https://sites.google.com/view/sendai-logic/ 日時：8月4日(金) 16:00- 場所：東北大学理学研究科合同A棟801号室 (当日はzoom配信を実施予定です．zoomにて参加を希望される方は，鈴木(yudai.suzuki.q1(a)dc.tohoku.ac.jp )までご連絡ください) 講演者：伊藤風輝(東京都立大学) タイトル：AND-OR木探索の乱択アルゴリズムとその均衡値アブストラクト：AND-OR木は同じ変数が1度のみ現れるようなブール関数の計算モデルであり、その計算コストは変数のクエリー回数によって定義される。本講演では主に乱択アルゴリズムを興味の対象とする。乱択アルゴリズムによるコスト均衡値、すなわち最小化された最悪計算量は、ランダムでないアルゴリズムのみを用いる場合に比べて真に小さくなることがSaksとWigderson(1986)により示されている。Saksらの手法をベースとして、最適な乱択アルゴリズムの一意性や、乱択アルゴリズムを深さ優先(depth-first)・一方向性(directional)などの条件で制限した場合の均衡値の大小関係について解説する。本研究の一部は鈴木登志雄氏との共同研究である。どうぞよろしくお願いいたします -- 鈴木悠大 yudai.suzuki.q1(a)dc.tohoku.ac.jp 080-6807-6865

1 0

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

23 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

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

21 Jul '23

logic-ml の皆様、東京工業大学の西村です。以前告知しました「若手による数理論理研究集会」について、いくつかのご案内を申し上げます。 1. 開催方式をハイブリッド開催に変更しました。オンラインでの参加・発表も受け付けます。（積極的な交流のため、対面での参加を推奨します。） 2. 各種締め切りを次のとおり変更しました。・宿泊申し込み：8月9日（変更なし）・発表申し込み：8月24日・参加申し込み：9月7日こちらのサイトもあわせてご確認ください。 https://sites.google.com/view/xbmyl3svm2zgtsfmnyeq94xp43 引き続き、みなさまのご参加をお待ちしております。どうぞよろしくお願いいたします。 -- 西村祐輝東京工業大学情報理工学院数理・計算科学系 mail: nishimura.y.as(a)m.titech.ac.jp

1 0

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

19 Jul '23

皆様，東北大学の横山です．直前のご案内で恐縮ですが，以下の通りセミナーを開催いたします． https://sites.google.com/view/sendai-logic/ 日時：7月21日(金)15:00〜場所：東北大学理学研究科合同A棟801号室 (zoom配信あり) 講演者：石原哉 (北陸先端科学技術大学院大学) Title: A constructive integration theory: a topological approach Abstract: We present a development of a constructive integration theory from a topological point of view, and constructively prove several convergence theorems in integration theory including Fatou's lemma, and the monotone and dominated convergence theorems of Lebesgue in the totally topological framework. どうぞよろしくお願いいたします．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 keita.yokoyama.c2(a)tohoku.ac.jp

1 0

登壇発表申し込み締切延長：第40回ソフトウェア科学会大会
by Kohei SUENAGA 13 Jul '23

13 Jul '23

皆様，（複数お受け取りの際はご容赦ください．）京都大学の末永です． 9月11日～9月14日に東大本郷キャンパスで開催予定の日本ソフトウェア科学会第40回大会の発表募集です．登壇発表申し込み締め切りを2週間延長しまして， 7月28日（金）までお申し込みいただけることになりました．講演論文は2ページ程度の extended abstract でも大丈夫ですので，ぜひご発表をご検討ください．また，デモ・ポスターのご発表も受け付けております．こちらもぜひご検討ください！末永 == 日本ソフトウェア科学会第40回大会発表募集 - 開催日時：　- 併設イベント：2023年9月11日（月）　- 大会：2023年9月12日（火）～14日（木） - 会場：東京大学本郷キャンパスとオンラインのハイブリッド開催（予定） - ホームページ URL：https://jssst2023.wordpress.com/cfp/ - 登壇発表申込締切：2023年7月28日（金）（延長しました） - 講演論文原稿締切：2023年8月10日（木） - デモ・ポスター発表申込締切：2023年8月10日（木） # ご発表のお誘い登壇発表とデモ・ポスター発表の場が用意されています．登壇発表は一般論文もソフトウェア論文も歓迎します．萌芽的な研究の発表の場としてもご検討ください．講演論文の共著者に会員が含まれていれば非会員でも登壇発表できます．未来のソフトウェアとそれを支えるソフトウェア科学に関する活発な議論を期待します．今年の大会は，対面開催に重点を置いたハイブリッド方式での開催を予定しております． # 昨年度からの変更点昨年までは登壇発表を「一般セッション」と「研究会セッション」「ソフトウェア論文セッション」の３つのトラックに分けて募集していましたが，今年度は「一般セッション」「ソフトウェア論文セッション」の２つのトラックに分けて募集します．去年まで「研究会セッション」に申し込んでいた発表は今年は一般セッションに申し込んでください．トピックに応じてプログラムを編成します．優秀なデモ・ポスター発表に対して与えられる「優秀デモ・ポスター賞」を新設しました．発表者は対面（現地参加）での発表をお願いします． # 締切 - 登壇発表申込締切：2023年7月28日（金） - 講演論文原稿締切：2023年8月10日（木） - デモ・ポスター発表申込締切：2023年8月10日（木） # トラックおよびセッション今大会では以下のトラックおよびセッションを設けます． - 登壇発表トラック - 一般セッション：ソフトウェア科学全般についての発表の場です．昨年まで「研究会セッション」での発表として募集していた論文は，今年はこのセッションでの発表として募集します．プログラムはトピックに応じて編成する予定です． - ソフトウェア論文セッション：先進的なアイデアを実現したソフトウェアの成果発表の場です．ソフトウェア論文特集号への投稿を前提としたメンタリングを受けることもできます．詳細はホームページをご覧ください． - デモ・ポスター発表トラック研究アイデアやそれを実現したソフトウェアの紹介と議論の場です．講演論文なしで発表することができます． # 発表申し込み要領 - 講演論文の著者 (デモ・ポスターセッションの場合は発表者) に正会員，学生会員または名誉会員が含まれている必要があります．ただし，発表申込時に入会手続中の場合も含みます．会場で登壇する人，会場で説明を行う人は非会員でも構いません． - 講演論文は EasyChair システム (https://easychair.org/my/conference?conf=jssst2023) を使って PDF ファイルで提出してください．詳しい講演論文作成要領は https://jssst2023.wordpress.com/submission/ をご参照ください． - 講演論文を収録した講演論文集は学会ウェブサイトで大会終了後に公開予定です． # 授賞特に優秀な登壇発表を行った本会会員には「高橋奨励賞」が授与されます．また優秀な登壇発表を行った学生には「学生奨励賞」が，聴衆から多くの支持を集めた登壇発表を行った発表者には「優秀発表賞」が授与されます．優秀なデモ・ポスター発表には「優秀デモ・ポスター賞」が授与されます． # 学会誌への同時投稿講演論文は通常論文あるいはレター論文として学会誌に同時投稿できます．大会発表で得られたコメントを反映した上での大会後投稿も可能です．詳細は，ホームページをご覧ください． # お問合せ先 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

Talk by Nobuko Yoshida (July 19th, Wednesday, 11:00-)
by Atsushi Igarashi 12 Jul '23

12 Jul '23

みなさま，京都大学の五十嵐です．以下の通り，来週水曜日に京都大学にて吉田展子さん(Oxford)によるご講演を予定しております．是非ご参加ください． -- 五十嵐淳 (IGARASHI Atsushi) E-mail: igarashi(a)kuis.kyoto-u.ac.jp url: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/ ========================= Time: 11:00-12:00, July 19th, Wednesday, 2023 Place: Seminar Room #2 (Room 131), Research Building #7, Main Campus, Kyoto University 京都大学総合研究７号館 1階セミナー室２(131号室) Title: Deadlock-free asynchronous message reordering in Rust with multiparty session types Speaker: Nobuko Yoshida (Joint work with Zack Cutner and Martin Vassor), University of Oxford Abstract: Rust is a modern systems language focused on performance and reliability. Complementing Rust's promise to provide "fearless concurrency", developers frequently exploit asynchronous message passing. Unfortunately, sending and receiving messages in an arbitrary order to maximise computation-communication overlap (a popular optimisation in message-passing applications) opens up a Pandora's box of subtle concurrency bugs. To guarantee deadlock-freedom by construction, we present Rumpsteak: a new Rust framework based on multiparty session types. Previous session type implementations in Rust are either built upon synchronous and blocking communication and/or are limited to two-party interactions. Crucially, none support the arbitrary ordering of messages for efficiency. Rumpsteak instead targets asynchronous async/await code. Its unique ability is allowing developers to arbitrarily order send/receive messages while preserving deadlock-freedom. For this, Rumpsteak incorporates two recent advanced session type theories: (1) k-multiparty compatibility (k-MC), which globally verifies the safety of a set of participants, and (2) asynchronous multiparty session subtyping, which locally verifies optimisations in the context of a single participant. Specifically, we propose a novel algorithm for asynchronous subtyping that is both sound and decidable. We first talk about Rumsteak and show the new algorithm. We then talk about evaluations against other Rust implementations and asynchronous verification tools.

1 0

1st cfp of AWPL 2024: 6th Asian Workshop on Philosophical Logic
by Katsuhiko Sano 07 Jul '23

07 Jul '23

logic-ml の皆様、北海道大学の佐野です。下記の6th Asian Workshop on Philosophical Logicの1st call for the paprersをお送りします。どうぞ投稿をご検討ください。佐野勝彦 ===================================================== AWPL 2024: 6th Asian Workshop on Philosophical Logic 5-6 March 2024 Hokkaido University, Sapporo, Japan https://sites.google.com/view/awpl2024/home ===================================================== [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] Ryo Kashima (Tokyo Institute of Technology) Shawn Standefer (National Taiwan University) Fan Yang (Utrecht University) More speakers to be confirmed. [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 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] Submission deadline: 15 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) 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

Lecturer Position（英国ブリストル大学）
by Kazutaka Matsuda 03 Jul '23

03 Jul '23

皆様，いつもお世話になっております．東北大学の松田です．当方の共同研究者であるMeng Wang准教授（ブリストル大）が率いる研究グループで Lecturerを募集しているとのことですので，その情報を共有いたします．下記に一部情報を転記しておりますが，詳しくは https://www.bristol.ac.uk/jobs/find/details/?jobId=316176&jobTitle=Lecturer… および，そのページに添付されている資料をご欄いただければと存じます．〆切が7/30と比較的近い（かつ7/31でない）のでご注意ください．どうぞご検討いただけますと幸いです．また，興味を持ちそうな方が身近にいらっしゃいましたら，転送いただけますと幸いです． =================================================================== # Lecturer in Programming Languages and Compilers ## The role Join the vibrant and renowned School of Computer Science at the University of Bristol as a Lecturer in Programming Languages and Compilers. We are seeking an exceptional individual to join our esteemed Programming Languages Research Group (https://bristolpl.github.io/). As a Lecturer, you will contribute your research expertise, with a specific focus on compilers, aligning with the group's diverse interests. Embracing a broad interpretation of compilers, you will explore code generation, optimisation, static analysis, code translation, correctness, safety, and security. Your valuable insights will shape the future of this exciting field. In addition, you will have the opportunity to inspire and educate the next generation of computer scientists. Your role will involve teaching a range of Computer Science subjects at both undergraduate and postgraduate levels. With a particular emphasis on programming, languages, compilers, software verification, and computer architecture, you will have the chance to shape the curriculum and empower students in their educational journey. If you are a passionate researcher and educator, eager to contribute to cutting-edge research and thrive in a supportive and stimulating academic environment, we invite you to apply. ## What will you be doing? The appointed candidate will have a diverse range of responsibilities encompassing research, teaching, and administration/management. In terms of research: * Develop and maintain an outstanding research program, with a focus on producing high-quality publications and exploring potential impact beyond academia. * Play a role in school research management, including peer review, mentoring, staff review, and strategic development. In teaching: * Contribute to scholarly activities, supervise postgraduate research students, and deliver effective instruction at all levels of the curriculum. * Develop and introduce new units or degree programs as needed, and take on lead roles related to program management, curriculum development, and enhancing the overall student experience. Regarding administration and management: * Support school success through academic administration: program development, marketing, admissions, oversight, welfare support, external partnerships, teaching coordination, outreach, and program/unit review based on quality assurance. * Support the efficient functioning of the school and faculty by undertaking assigned administrative duties as directed by the Head of School. ## You should apply if For a full view of requirements please look at the job description attached below, but if the below describes you, we’d encourage you to apply. * You have a track record of publishing in top programming languages venues and teaching experience appropriate to the career stage. * You have a track record of applying for external funding (highly desirable). * You have a PhD in Computer Science or a closely related discipline. ## Additional information or informal queries please contact Prof Mike Fraser (Head of School): mike.fraser(a)bristol.ac.uk Dr Meng Wang (Head of Programming Languages Research Group): meng.wang(a)bristol.ac.uk To find out more about what it's like to work in the Faculty of Engineering, and how the Faculty supports people to achieve their potential, please see our staff blog: https://engineeringincludesme.blogs.bristol.ac.uk/ Interviews are anticipated to take place on the 8th August 2023. This advert will close on 30th July 2023, 23:59PM GMT. We recently launched our strategy to 2030 tying together our mission, vision and values. https://youtu.be/0mYZe-EW_Ic The University of Bristol aims to be a place where everyone feels able to be themselves and do their best in an inclusive working environment where all colleagues can thrive and reach their full potential. We want to attract, develop, and retain individuals with different experiences, backgrounds and perspectives – particularly people of colour, LGBT+ and disabled people - because diversity of people and ideas remains integral to our excellence as a global civic institution.

1 0

発表募集：第40回ソフトウェア科学会大会
by Kohei SUENAGA 02 Jul '23

02 Jul '23

皆様，（複数お受け取りの際はご容赦ください．）京都大学の末永です． 9月11日～9月14日に東大本郷キャンパスで開催予定の日本ソフトウェア科学会第40回大会の発表募集です．詳しい講演論文作成要領 https://jssst2023.wordpress.com/submission/ と発表申し込み用の URL (https://easychair.org/my/conference?conf=jssst2023) を公開しましたのでお知らせします．2ページ程度の extended abstract の投稿も歓迎しておりますので，奮ってお申し込みください！昨年までは登壇発表を「一般セッション」と「研究会セッション」「ソフトウェア論文セッション」の３つのトラックに分けて募集していましたが，今年度は「一般セッション」「ソフトウェア論文セッション」の２つのトラックに分けて募集します．去年まで「研究会セッション」に申し込んでいた発表は今年は一般セッションにお申し込みください．トピックに応じてプログラムを編成します．今年度は対面に重点を置いたハイブリッド開催とする予定です．（ご発表は基本的に対面でお願いする予定です．）よろしくお願いいたします． == 日本ソフトウェア科学会第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 システム (https://easychair.org/my/conference?conf=jssst2023) を使って PDF ファイルで提出してください．詳しい講演論文作成要領は https://jssst2023.wordpress.com/submission/ をご参照ください． - 講演論文を収録した講演論文集は学会ウェブサイトで大会終了後に公開予定です． # 授賞特に優秀な登壇発表を行った本会会員には「高橋奨励賞」が授与されます．また優秀な登壇発表を行った学生には「学生奨励賞」が，聴衆から多くの支持を集めた登壇発表を行った発表者には「優秀発表賞」が授与されます．優秀なデモ・ポスター発表には「優秀デモ・ポスター賞」が授与されます． # 学会誌への同時投稿講演論文は通常論文あるいはレター論文として学会誌に同時投稿できます．大会発表で得られたコメントを反映した上での大会後投稿も可能です．詳細は，ホームページをご覧ください． # お問合せ先 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

SLACS 2023（8月31日・9月1日）講演・参加募集のお知らせ
by Yosuke Fukuda 30 Jun '23

30 Jun '23

皆様，（重複して受け取られた場合はご容赦ください．）第40回記号論理と情報科学研究集会（SLACS 2023）幹事の京都橘大学の福田です．SLACS 2023は，2023年8月31日（木）〜9月1日（金）に京都橘大学 & オンラインでハイブリッド開催いたします．参加のご検討ほど，どうぞよろしくお願いいたします． ==== SLACS 2023 開催要領 ==== 詳細: https://lambda.ski/slacs2023/ 申込: https://forms.office.com/r/xZvGcnwyzS 日程: 2023年8月31日（木）から2023年9月1日（金）の二日間形式: 対面およびオンラインのハイブリッド開催会場: 京都橘大学優心館2階 E201教室（〒607-8175 京都府京都市山科区大宅山田３４）費用: 参加費無料（懇親会費は別途徴収します）幹事: 福田陽介（京都橘大学, E-mail: yf(a)lambda.ski ） ======== 講演申し込み期限は 2023年8月21日（月）としますが，発表する意思がある方は早めに申し込みいただけると幸いです．研究集会への参加申し込みは開催前日まで受け付けます．以上，奮ってご参加ください．

1 0

RIMS Set Theory Workshop 2023 公式ウェブページ開設のお知らせ
by FUJITA Hiroshi 26 Jun '23

26 Jun '23

Logic-MLの皆さま、愛媛大学の藤田です。京都大学数理解析研究所にて毎年秋に開催しております集合論の研究集会 (RIMS Set Theory Workshop) について、先日ご連絡いたしましたとおり、今年は Large Cardinals and the Continuum という表題のもと、10月24日(火) から 27日(金) にかけて、対面とZoomによるリモートのハイブリッド形式で開催することとなりました。さて、このたび、この研究集会のウェブページを開設いたしましたのでお知らせします。 https://tenasaku.com/RIMS2023/ 研究集会に関する連絡事項を今後こちらに掲載してまいります。お知り合いの皆さまにお知らせいただければ幸いです。今後ともよろしくお願いいたします。藤田博司 <fujita.hiroshi.mh(a)ehime-u.ac.jp>

1 0

「若手による数理論理研究集会」開催について
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 29 May '23

29 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 17 May '23

17 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

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 19 Apr '23

19 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