- 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

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml