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

24 Mar '23

皆様：（重複して受け取られた場合はご容赦ください．）神戸大学の酒井です．数学会の数学基礎論および歴史分科会で評議員をしております．お世話になっております．数学会から2023年度秋季賞の受賞候補推薦依頼が来ております．もし推薦がありましたら，私と受賞候補推薦評議員の関先生にご連絡いただくようお願いいたします．連絡先：関隆宏 tseki(a)adm.niigata-u.ac.jp <mailto:tseki@adm.niigata-u.ac.jp> 　　　　酒井拓史 hsakai(a)people.kobe-u.ac.jp <mailto:hsakai@people.kobe-u.ac.jp> 連絡期限：4月30日(日) ご連絡をいただいたあと，推薦者と関先生で推薦票を作成し，数学会に提出することになります．参考までに数学会からの推薦依頼文と推薦票様式の pdf を添付しております．よろしくお願いいたします．酒井拓史

1 0

名古屋ロジックセミナーのお知らせ
by 吉信康夫 23 Mar '23

23 Mar '23

みなさま：名古屋大学の吉信と申します。下記の要領でオンラインによるロジックセミナーを開催したいと思います。参加を希望される方にはZoom のURLをお知らせします(同じものを使います)ので、吉信までご連絡ください。 ---案内ここから日時：3月31日(金)15:30〜講演者：林佑亮(神戸大学) 題目：特異基数$\mu$に一般化されたdominating numberについてアブストラクト：基数特徴量は集合論における古典的な研究対象であるが，それらの非可算基数への一般化には未だ研究の余地が残されている．本発表ではとくにdominating numberの特異基数$\mu$への一般化に焦点を当て，その振る舞いについて観察する．日時：4月7日(金)15:30〜講演者：丹野俊将(神戸大学) 題目：定常塔強制と普遍ベール集合アブストラクト：Woodinは定常塔強制と呼ばれる強制法を導入し、巨大基数の存在がL(R)に属する実数の集合の正則性を導くことを示した。この定理に関して、Woodin基数のような巨大基数を用いることなく、定常塔についての仮定から同様の結果を導けることが知られている。本発表では、より強い性質である普遍ベール性についても仮定を定常塔強制の条件に統合できることを示す。 ---案内ここまで吉信

1 0

Sapporo Mini-workshop on Non-classical Logic (24th March 2023 13:00~)
by Katsuhiko Sano 19 Mar '23

19 Mar '23

logic-ml の皆様、北海道大学の佐野勝彦と申します。Tadeusz Litak (Friedrich-Alexander-Universität Erlangen-Nürnberg)さんをお迎えして、北海道大学で、今週金曜日(3/24)の午後一時から Sapporo Mini-workshop on Non-classical Logic https://sites.google.com/view/sapporo-workshop-logic-2023/home を開催いたします。タイトルやアブストラクトについてはwebsiteをご覧ください。 Tadeusz Litakさんには、 "Lewis meets Brouwer: A quick overview of constructive strict implication" というタイトルで最近のご研究についてお話しいただきます。興味をおもちの方はどなたでもフラリと気楽におたちより下さい。佐野勝彦

1 0

The 17th ALC (中国、天津)
by Hirotaka Kikyo 15 Mar '23

15 Mar '23

皆様 (複数受け取られた方はご容赦ください) 2023年(今年）の10月9-13日に中国の天津で開催される The 17th Asian Logic ConferenceのFirst Announcement をお届けいたします。ホームページは次の通りです。 https://logic.nankai.edu.cn/alc2023 参加や発表のご検討をお願いいたします。神戸大学桔梗宏孝

1 0

第55回MLG数理論理学研究集会
by Naosuke MATSUDA 14 Mar '23

14 Mar '23

みなさま神奈川大学の松田と申します．第55回MLG数理論理学研究集会を以下の要領で開催させていただきます．日時：2021年3月1日(月) - 3月2日(火) 場所：オンライン開催参加方法など，詳細は https://sites.google.com/view/55thmlg/home をご覧ください． MLG数理論理学研究集会は，1971年開始された，この分野の多くの研究者が参加している40年以上続く研究集会です．成果を発表し合ったり，アイデアを交換したりと，ザックバランな雰囲気で行われています．数学の他分野や，広く数理科学，情報科学，哲学の方々や，外国からの研究者を迎えるなど，オープンに運営されています．今年度も多くのみなさまのご参加をお待ちしております． -- 松田直祐神奈川大学 matsuda.naosuke(a)gmail.com

2 68

Special Issue of RAP (Review of Analytic Philosophy) on 'Logics of Communicative Interaction'
by Katsuhiko Sano 08 Mar '23

08 Mar '23

Logic-ml の皆様、北海道大学の佐野です。北海道大学の山田友幸先生の代理で Special Issue of RAP (Review of Analytic Philosophy) on 'Logics of Communicative Interaction' の情報について投稿いたします。佐野勝彦 ------------------------------------------------------------------------------------------ First Call for Papers *********************** Special Issue of RAP (Review of Analytic Philosophy) on 'Logics of Communicative Interaction' We invite submissions to a Special Issue on 'Logics of Communicative Interaction'. This special issue will appear in the peer-reviewed international journal called the 'Review of Analytic Philosophy', which was first launched in 2021 as a new Open Access journal in analytic philosophy. This special issue welcomes new work on the logical study of dynamic changes that take place in scenarios of communicative interaction. Complex forms of change in cognitive states of agents and their social relations can occur in the process of communicative interaction, which calls for a detailed logical analysis. A central topic in such an analysis is the triggers of such changes and their effects during the process of communication. The triggers can include a variety of possible speech acts while an analysis of their effect will typically zoom-in on the formal representations of agent's doxastic and epistemic attitudes as well as the deontic status of action types available to them. The study of such logics for communicative interaction can be approached from different disciplines, including logic, epistemology, argumentation theory, social choice theory, AI, Computer Science, and Philosophy. More specifically, this special issue welcomes work on the following topics: - Dynamic Logics of Communication - Logics of Speech Acts - Logics for Belief Change and Knowledge Updates - Dynamic Epistemic Logics - Logical analysis of Communication in Social Networks - Dynamic Deontic Logic All papers will be peer reviewed according to the standards of the Journal. Authors are advised to read the CFP of the journal downloadable from the following page: https://rap-journal.net/call-for-papers/ . All the conditions specified in the CFP of the journal apply except the condition on the publication fee: papers accepted for publication in this special issue will be published free of charge. Submission details: Manuscripts should be between 8000 and 10000 words and submitted as a double-spaced Word document or PDF file with an abstract of around 150 words. They should be fully anonymized to ensure double-blind reviewing. Manuscripts are submitted under the understanding that they have not been published elsewhere, either in whole or in part, and are not currently under review elsewhere. Submissions can be made via the online submission form at https://rap-journal.net/submit-for-authors/ or by email attachments (rap(a)myukk.org). If the authors intend to use LaTeX for preparing the manuscript, please use the standard article class and submit the manuscript in the form of a PDF file (neither the source files nor the dvi file). Submission Deadline: 30th September 2023 All inquiries should be sent to rap(a)myukk.org . Guest co-editors of the special issue: Sonja Smets Tomoyuki Yamada

1 0

静岡大学グローバル共創科学部　公募
by Teruyuki YORIOKA 01 Mar '23

01 Mar '23

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

1 0

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

27 Feb '23

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

1 0

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

24 Feb '23

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

1 1

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

22 Feb '23

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

1 0

リマインダ_第57回MLG数理論理学研究集会
by kawano.t.af 16 Feb '23

16 Feb '23

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

1 0

特定研究員募集（京都大学）
by Kohei SUENAGA 10 Feb '23

10 Feb '23

皆様， # 複数お受け取りになられましたらご容赦ください．京都大学の末永です．末永が代表を務めている JST CREST の「AI集約的サイバーフィジカルシステムの形式的解析設計手法」プロジェクトにおいて特定研究員を募集しております．ご応募お待ちしております．また，お近くに興味のありそうな方がいらっしゃいましたらご紹介いただけますとありがたいです．詳細は JREC-IN (https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=4&id=D123020450&ln_jor=0）をごら… どうぞよろしくお願いいたします．末永 -- Kohei Suenaga (末永幸平), Ph.D Associate professor (准教授) Graduate School of Informatics, Kyoto University (京都大学情報学研究科) ksuenaga(a)gmail.com http://www.fos.kuis.kyoto-u.ac.jp/~ksuenaga/

1 0

[jssst-ppl] 【参加募集】第 25 回プログラミングおよびプログラミング言語ワークショップ（PPL 2023）
by Keigo Imai 07 Feb '23

07 Feb '23

皆様（重複ご容赦ください），岐阜大学の今井と申します． 3 月 6 日（月）～ 8 日（水）に名古屋大学とオンラインでハイブリッド開催される，第 25 回プログラミングおよびプログラミング言語ワークショップ（PPL 2023）の参加登録を開始いたしましたのでご案内いたします．多くの方々のご参加をお待ちしております．参加登録の締切は，　　　　対面： 2 月 28 日（火）23:59（JST）（早期に締め切る場合があります）　オンライン： 3 月 8 日（水）10:00（JST）（開催最終日まで受付します）です．どうぞお早めのご登録をお願い致します． -------------------------------------------------------------------------- 　第 25 回プログラミングおよびプログラミング言語ワークショップ（PPL 2023） https://jssst-ppl.org/workshop/2023/ 参加登録のご案内主催：日本ソフトウェア科学会プログラミング論研究会共催：名古屋大学大学院情報学研究科会場：名古屋大学 IB電子情報館 (中棟) 　　　およびオンライン（Zoom, Gather, Slack）のハイブリッド開催日程：2023 年 3 月 6 日（月）～ 8 日（水）　　　（初日は 12-13時開始予定；最終日は 16時までに終了予定） PPL 2023 はプログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果や新たな研究課題の提案・討論・アイディア交換を行うことを目的とした研究集会です． PPL 2023 は，通常の研究会形式での対面を中心とした，ハイブリッド形式で開催いたします．オンライン会場については昨年同様のツールを用い，現地より Zoom および Gather (ポスター) を用いて配信するとともに Slack を質疑・議論の場として活用いたします．参加登録を学会支援機構のウェブサービスにて受け付けております．参加費および参加登録方法については次のウェブページをご参照ください． https://jssst-ppl.org/workshop/2023/registration.html 参加登録締切（参加形態の違いにご注意下さい）：　　　対面参加： 2 月 28 日（火）23:59（JST）（早期に締め切る場合があります）オンライン参加： 3 月 8 日（水）10:00（JST）（開催最終日まで受付します）＊感染対策の都合で、対面参加は早期に締め切らせていただくことがございます。問い合わせ先： ppl2023-oc(a)googlegroups.xn--com()-m53d8hra6b34cycyguk0hje6i3045cmp3h ppl2023-pc-chair(a)jssst-ppl.org （発表/プログラムについて） ================================================================ ・プラチナスポンサー　KLab株式会社　合同会社コトイコンサルタンシー・ゴールドスポンサー　株式会社HERP 　株式会社オプト　東京大学協創プラットフォーム開発株式会社 ** プログラム委員会 ** プログラム共同委員長　小宮常康（電気通信大学）プログラム共同委員長　松田一孝（東北大学）安部達也　（千葉工業大学）荒堀喜貴　（東京工業大学）上里友弥　（ドワンゴ）紙名哲生　（大分大学）川端英之　（広島市立大学）佐々木晃　（法政大学）篠埜功　　（芝浦工業大学）佐藤亮介　（東京大学）佐藤哲也　（東京工業大学）関山太朗　（国立情報学研究所）滝本宗宏　（東京理科大学）千代英一郎（成蹊大学）対馬かなえ（国立情報学研究所）中田景子　（SAP Innovation Center Potsdam）西田直樹　（名古屋大学）星野直彦　（崇城大学）堀江倫大　（日本IBM）松崎公紀　（高知工科大学）水島宏太　（オプト）南出靖彦　（東京工業大学）山田晃久　（産業技術総合研究所）結縁祥治　（名古屋大学）横山哲郎　（南山大学）横山大作　（明治大学） ** 組織委員会 ** 組織委員長　　　　　　　今井敬吾（岐阜大学）組織副委員長　　　　　　新屋良磨（秋田大学）財務担当　　　　　　　　森口草介（東京工業大学）財務副担当　　　　　　　和賀正樹（京都大学）会場担当　　　　　　　　橋本健二（名古屋大学）会場副担当　　　　　　　謝　昊辰（Kotoi-Xie Consultancy, Inc.）会場副担当　　　　　　　叢　悠悠（東京工業大学）渉外担当　　　　　　　　宋　剛秀（神戸大学）プログラム共同委員長　　松田一孝（東北大学）プログラム共同委員長　　小宮常康（電気通信大学）前プログラム共同委員長　稲葉一浩（Google）前プログラム共同委員長　江本健斗（九州工業大学） ** 問い合わせ先 ** ・ワークショップ全般について　組織委員会：ppl2023-oc(a)googlegroups.com ・発表/プログラムについて　プログラム共同委員長：ppl2023-pc-chair(a)jssst-ppl.org ================================================================ -- Keigo Imai (今井敬吾; 岐阜大学工学部) keigo.imai(a)gmail.com

1 0

First Call for Papers LORI 2023 (26-29 October 2023, Shandong, China)
by Katsuhiko Sano 07 Feb '23

07 Feb '23

logic-ml のみなさま、北海道大学の佐野です。LORI 2023の First Call for Papers をお送りいたします。どうぞ投稿をご検討ください。佐野勝彦 ------ First Call for Papers LORI 2023 (26-29 October 2023, Shandong, China) The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing together researchers working on a wide variety of logic-related topics that concern the understanding of rationality and interaction. The series aims at fostering a view of Logic as an interdisciplinary endeavour, and supports the creation of an East-Asian community of interdisciplinary researchers. We invite submission of contributed papers on any of the broad themes of LORI series; specific topics of interest include, but are not limited to, formal approaches to · agency · argumentation and agreement · belief representation · probability and uncertainty · belief revision and belief merging · knowledge and action · dynamics of informational attitudes · intentions, plans, and goals · decision making and planning · preference and utility · cooperation · strategic reasoning and game theory · epistemology · social choice · social interaction · speech acts · knowledge representation · norms and normative systems · natural language · rationality · philosophical logic Submitted papers should be at most 12 pages long, with one additional page for references, in PDF format following the Springer LNCS style. Please submit your paper by Monday May 15, 2023, via EasyChair ( easychair.org/conferences/?conf=lori9). Accepted papers will be collected as a volume in the FoLLI Series on Logic, Language and Information, and authors may be later invited to submit extended versions of their papers in a special issue of a prestigious journal. For detailed conference information and registration, please visit golori.org/lori2023/ PC Chairs: Natasha Alechina (Utrecht University, The Netherlands), Andreas Herzig (CNRS, Univ. Toulouse III, France) Local chair: (Fei Liang, Shandong University, China) Contacts: Programme: Natasha Alechina <n.a.alechina(a)uu.nl> <n.a.alechina(a)uu.nl> Conference: Fei Liang <f.liang(a)sdu.edu.cn> <f.liang(a)sdu.edu.cn>

1 0

29th WoLLIC 2023 - 2nd Call for Papers
by Kazushige TERUI 03 Feb '23

03 Feb '23

[Please distribute. Apologies for multiple postings] CALL FOR PAPERS WoLLIC 2023 29th Workshop on Logic, Language, Information and Computation 11-14 July, 2023 Halifax, Nova Scotia, Canada Website: https://www.mathstat.dal.ca/wollic2023/ ORGANISATION Department of Mathematics and Statistics, Dalhousie University, Canada Centro de Informática, Universidade Federal de Pernambuco, Brazil CALL FOR PAPERS WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-ninth WoLLIC will be held at the Department of Mathematics and Statistics, Dalhousie University, Canada, 11-14 July, 2023. It is scientifically sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS) (tbc), European Association for Computer Science Logic (EACSL), and the Sociedade Brasileira de Lógica (SBL). LOCATION AND FORMAT Halifax (https://www.halifax.ca/) is the capital and largest municipality of the Canadian province of Nova Scotia, and the largest municipality in Atlantic Canada. (Wikipedia) WoLLIC 2023 will be a hybrid event. All invited talks are planned to be on-site in order to stimulate discussions and interaction with participants. SCOPE Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing, programming and Artificial Intelligence (AI); novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability and explainable AI; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection; foundations of mathematics; philosophical logic; philosophy of language. PAPER SUBMISSION Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. Articles should be written in the LaTeX format of LNCS by Springer (see author's instructions at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). They must not exceed 12 pages, with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors either in person or via remote connection. (At least one author is required to pay a full on-site registration fee before granting that the paper will be published in the proceedings.) Papers must be submitted electronically at the WoLLIC 2023 EasyChair website https://easychair.org/conferences/?conf=wollic2023. PROCEEDINGS The proceedings of WoLLIC 2023, including both invited and contributed papers, will be published as a volume in Springer's LNCS series. Due to the earlier timeline this year, the proceedings will appear after the workshop. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published (after a new round of reviewing) as a special post-conference WoLLIC 2023 issue of a scientific journal (to be confirmed). INVITED SPEAKERS Makoto Kanazawa (Hosei University, Japan) Magdalena Ortiz (University of Umeå, Sweden) Aybüke Özgün (University of Amsterdam, Netherlands) Dusko Pavlovic (University of Hawaii, USA) Richard Zach (University of Calgary, Canada) (more to be confirmed) IMPORTANT DATES February 20, 2023: Abstract deadline February 27, 2023: Full paper deadline May 15, 2023: Author notification June 5, 2023: Final version deadline PROGRAMME COMMITTEE Bahareh Afshari (University of Gothenburg, Sweden and University of Amsterdam, Netherlands) Zena Ariola (University of Oregon, USA) Adriana Balan (University Politechnica of Bucharest, Romania) Marta Bílková (Czech Academy of Sciences, Czech Republic) Josée Desharnais (Laval University, Canada) David Fernández-Duque (Czech Academy of Sciences, Czech Republic) Santiago Figueira, Universidad de Buenos Aires, Argentina Silvia Ghilezan (University of Novi Sad & Mathematical Institute SASA, Serbia) Sujata Ghosh (Indian Statistical Institute, India) Nina Gierasimczuk (Danish Technical University, Denmark) Helle Hvid Hansen (University of Groningen, Netherlands) (co-chair) Andreas Herzig (CNRS, University of Toulouse, France) Juha Kontinen (University of Helsinki, Finland) Roman Kuznets (TU Wien, Austria) Martha Lewis (University of Bristol, UK) Johannes Marti (University of Oxford, UK) George Metcalfe (University of Bern, Switzerland) Michael Moortgat (Utrecht University, Netherlands) Cláudia Nalon (University of Brasilia, Brasil) Carlos Olarte (Université Sorbonne Paris Nord, France) Sophie Pinchinat (University of Rennes, France) Francesca Poggiolesi (CNRS, University Paris 1 Panthéon-Sorbonne, France) Sylvain Pogodalla (INRIA Nancy, France) Revantha Ramanayake (University of Groningen, Netherlands) Mehrnoosh Sadrzadeh, University College London, UK Andre Scedrov (University of Pennsylvania, USA) (co-chair) Philip Scott (University of Ottawa, Canada) Viorica Sofronie-Stokkermans (University of Koblenz-Landau, Germany) Kazushige Terui (Kyoto University, Japan) Mladen Vuković (University of Zagreb, Croatia) STEERING COMMITTEE Samson Abramsky, Anuj Dawar, Juliette Kennedy, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Lawrence Moss, Luke Ong, Valeria de Paiva, Ruy de Queiroz, Alexandra Silva, Renata Wassermann. ADVISORY COMMITTEE Johan van Benthem, Joe Halpern, Wilfrid Hodges, Angus Macintyre, Hiroakira Ono, Jouko Väänänen. ORGANISING COMMITTEE Julien Ross (Dalhousie University) Peter Selinger (Dalhousie University) (co-chair) Anjolina G. de Oliveira (Univ Federal de Pernambuco, Brasil) Ruy de Queiroz (Univ Federal de Pernambuco, Brasil) (co-chair) SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) (tbc) European Association for Theoretical Computer Science (EATCS) (tbc) European Association for Computer Science Logic (EACSL) Sociedade Brasileira de Lógica (SBL) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE https://www.mathstat.dal.ca/wollic2023/

1 0

田中一之名誉教授および板東重稔名誉教授の最終講義のご案内(2月10日(金))
by YOKOYAMA Keita 02 Feb '23

02 Feb '23

みなさま，東北大学数学専攻の横山啓太です．これまで新型コロナウイルスの影響により延期されておりました，東北大学数学教室の田中一之名誉教授および板東重稔名誉教授の最終講義のイベントが以下の日程で行われますのでその案内をお送りしております．【日にち】2023年2月10日(金）【時間】田中一之名誉教授の最終講義は13時15分から45分間．板東重稔名誉教授の最終講義は14時30分から45分間(ただし当日の進行によって，開始時刻が後ろに若干ずれる可能性はあります）．【講演タイトル】田中一之名誉教授は「数学基礎論の伝統と変革　ー自分史的考察ー」．板東重稔名誉教授は「分からない数学」【場所】東北大学　青葉サイエンスホール【参加方法】原則Microsoft Teamsによる．【参加登録締め切り】2月6日(月) 会場の規模と感染症対策のため，対面の参加者は原則東北大学数学教室構成員とさせていただきます．ご参加を希望されます方は，以下のリンクから参加登録を2月6日(月)までにお願いいたします： https://forms.gle/PaPzBbfSpDzro9o79 参加登録後，後ほどMicrosoft Teamsのリンクをお送りいたします．皆さまのご参加をお待ちしております．どうぞよろしくお願いいたします．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 keita.yokoyama.c2(a)tohoku.ac.jp

1 1

FSCD 2023: First Call for Papers
by Nao Hirokawa 01 Feb '23

01 Feb '23

皆様 7月にローマで行われます FSCD 2023 の論文募集案内をお送り致します。ぜひ論文の投稿をご検討下さい。廣川 (JAIST) - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - CALL FOR PAPERS Eighth International Conference on Formal Structures for Computation and Deduction (FSCD 2023) July 3-6, 2023, Rome, Italy https://easyconferences.eu/fscd2023/ In-cooperation with ACM SIGLOG and SIGPLAN IMPORTANT DATES --------------- All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered. Abstract: January 30, 2023 Submission: February 3, 2023 Rebuttal: March 24-28, 2023 Notification: April 13, 2023 Final version: April 27, 2023 OVERVIEW -------- FSCD (https://fscd-conference.org/) covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logic, models of computation, semantics and verification in new challenging areas. The suggested, but not exclusive, list of topics for submission is: 1. Calculi: - Rewriting systems (string, term, higher-order, graph, conditional, modulo, infinitary, etc.); - Lambda calculus; - Logics (first-order, higher-order, equational, modal, linear, classical, constructive, etc.); - Proof theory (natural deduction, sequent calculus, proof nets, etc.); - Type theory and logical frameworks; - Homotopy type theory; - Quantum calculi. 2. Methods in Computation and Deduction: - Type systems (polymorphism, dependent, recursive, intersection, session, etc.); - Induction, coinduction; - Matching, unification, completion, orderings; - Strategies (normalization, completeness, etc.); - Tree automata; - Model building and model checking; - Proof search and theorem proving; - Constraint solving and decision procedures. 3. Semantics: - Operational semantics and abstract machines; - Game Semantics and applications; - Domain theory and categorical models; - Quantitative models (timing, probabilities, etc.); - Quantum computation and emerging models in computation. 4. Algorithmic Analysis and Transformations of Formal Systems: - Type inference and type checking; - Abstract Interpretation; - Complexity analysis and implicit computational complexity; - Checking termination, confluence, derivational complexity and related properties; - Symbolic computation. 5. Tools and Applications: - Programming and proof environments; - Verification tools; - Proof assistants and interactive theorem provers; - Applications in industry; - Applications of formal systems in other sciences; - Applications of formal systems in education. 6. Formal Systems for Semantics and Verification in new challenging areas: - Certification; - Security; - Blockchain protocols; - Data bases; - Deep learning and machine learning algorithms; - Planning. PUBLICATION ----------- The proceedings will be published as an electronic volume in the Leibniz International Proceedings in Informatics (LIPIcs) of Schloss Dagstuhl. All LIPIcs proceedings are open access. SPECIAL ISSUE ------------- We aim to have a special issue of Logical Methods in Computer Science of selected papers. More details will be provided later. SUBMISSION GUIDELINES --------------------- The submission site is: https://easychair.org/conferences/?conf=fscd2023 Submissions must be formatted using the LIPIcs style files (https://submission.dagstuhl.de/series/details/5#author) and submitted via EasyChair. Submissions can be made in two categories. Regular research papers are limited to 15 pages, excluding references and appendices. They must present original research which is unpublished and not submitted elsewhere. System descriptions are limited to 15 pages, excluding references. Shorter papers are welcome and will be given equal consideration. A system description must present new software tools, or significantly new versions of such tools, in which FSCD topics play an important role. An archive of the code with instructions on how to install and run the tool must be submitted. In addition, a webpage where the system can be experimented with should be provided. One author of each accepted paper is expected to register and present the work in person at the conference. In case that this is not possible for some unforeseen reason, online presentation will be arranged, but in person registration will still be required. BEST PAPER AWARD BY JUNIOR RESEARCHERS -------------------------------------- The program committee will select a paper in which at least one author is a junior researcher, i.e. either a student or whose PhD award date is less than three years from the first day of the meeting. When submitting the paper, other authors should declare to the PC Chair that at least 50% of contribution is made by the junior researcher(s). PROGRAM COMMITTEE CHAIRS ----------------------- Marco Gaboardi, Boston University Femke van Raamsdonk, Vrije Universiteit Amsterdam Email: fscd2023 at easychair.org PROGRAM COMMITTEE ----------------- Martin Avanzini, INRIA Patrick Bahr, ITU Copenhagen Pablo Barenbaum, University of Quilmes (CONICET) & ICC Filippo Bonchi, University of Pisa Sabine Broda, University of Porto Valeria De Paiva, Topos Institute Andrej Dudenhefner, TU Dortmund Santiago Escobar, Universitat Politècnica de València Claudia Faggian, University of Paris (IRIF) Frank (Peng) Fu, Dalhousie University Silvio Ghilardi, University of Milano Clemens Grabmayer, GSSI or Gran Sasso Science Institute Nao Hirokawa, JAIST Mirai Ikebuchi, National Institute of Informatics Ambrus Kaposi, Eotvos Lorand University Ian Mackie, University of Sussex Radu Mardare, University of Strathclyde Aart Middeldorp, University of Innsbruck Anders Mortberg, University of Stockholm Daniele Nantes-Sobrinho, Imperial College London / University of Brasília Vincent van Oostrom, Independent researcher Grigore Rosu, University of Illinois Urbana-Champaign Luca Roversi, University of Torino Aleksy Schubert, University of Warsaw Jakob G. Simonsen, University of Copenhagen Alwen Tiu, Australian National University Valeria Vignudelli, CNRS/ENS Lyon Johannes Waldmann, HTWK Leipzig Sarah Winkler, University of Bolzano CONFERENCE CHAIR ---------------- Daniele Gorla, University of Rome - Sapienza WORKSHOP CHAIR -------------- Ivano Salvo, University of Rome - Sapienza STEERING COMMITTEE WORKSHOP CHAIR -------------------------------- Cynthia Kop, Radboud University Nijmegen PUBLICITY CHAIR --------------- Carsten Fuhs, Birkbeck, University of London FSCD STEERING COMMITTEE ----------------------- Zena Ariola, University of Oregon Alejandro Díaz-Caro, Quilmes University & ICC/CONICET Amy Felty, University of Ottawa Carsten Fuhs, Birkbeck, University of London Herman Geuvers (Chair), Radboud University Nijmegen Silvia Ghilezan, University of Novi Sad Jürgen Giesl, RWTH Aachen University Stefano Guerrini, Université de Paris 13 Delia Kesner, Université de Paris Diderot Naoki Kobayashi, University of Tokyo Cynthia Kop, Radboud University Nijmegen Luigi Liquori, Inria Daniele Nantes, Imperial College London / University of Brasília

1 2

リサーチアシスタント(RA)募集のお知らせ
by 山形賴之 20 Jan '23

20 Jan '23

logic-mlの皆様、産総研の山形です。お世話になっております。産総研では下記の通り「機械学習のソフトウェア検証・モニタリング・ソースコード解析への応用、特に強化学習の制御ソフトウエアの動作検証への応用についての研究」に従事していただけるリサーチアシスタントを募集しております。この研究は形式検証の技法を用いているため、時相論理・モデル検査に興味をお持ちの方を歓迎いたします。 https://unit.aist.go.jp/hrd/keiyaku_koubo/2022-cpsec_0005.html#ttl 研究の詳細については、例えばこちらをご覧ください Yamagata, Y., Liu, S., Akazaki, T., Duan, Y., & Hao, J. (2020). Falsification of cyber-physical systems using deep reinforcement learning. IEEE Transactions on Software Engineering, 47(12), 2823-2840. https://staff.aist.go.jp/yoriyuki.yamagata/paper/Falsification_of_Cyber_Phy… 産総研のリサーチアシスタントは、大学院生の方を契約職員として採用し研究に従事していただきその研究成果を学位取得に役立てていただく制度です。詳しくは下記のページをご覧ください。 https://www.aist.go.jp/aist_j/business/alliance/ra/ra_index.html 詳細については私までお気軽にお問い合わせください。またお近くに興味のありそうな方がいらっしゃいましたらご紹介いただければ幸いです。よろしくお願いいたします。 --- 山形頼之（主任研究員）産業技術総合研究所サイバーフィジカルセキュリティ研究センター https://staff.aist.go.jp/yoriyuki.yamagata/

2 1

CSCAT 2023 開催案内
by Koko Akazaki Muroya 13 Jan '23

13 Jan '23

みなさま、 CSCAT 2023 の幹事を務めます京都大学の室屋です。以下の通り、今年度の CSCAT は京都大学で対面で行う予定です。日程：3月9日(木)午後〜10日(金) 場所：京都大学（吉田キャンパスの予定）幹事：室屋晃子（京都大学数理解析研究所） kmuroya(a)kurims.kyoto-u.ac.jp Webページ：https://sites.google.com/view/cscat2023/home 上記のWebページに参加登録・発表申込フォームへのリンクがあります。ご参加・ご発表を希望される方は、3月1日までに登録・申込をお願いいたします。みなさまのご参加をお待ち申し上げます。室屋晃子 ~~~~~~~~~~~~~~~~ 室屋晃子 Koko Muroya (kmuroya(a)kurims.kyoto-u.ac.jp / koko.muro.m(a)gmail.com) 京都大学数理解析研究所助教 ~~~~~~~~~~~~~~~~

1 0

第57回MLG数理論理学研究集会
by kawano.t.af 12 Jan '23

12 Jan '23

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

1 0

米子での研究集会
by 堀畑佳宏_米子教職員 31 Dec '22

31 Dec '22

皆さま（重複での案内はご容赦ください）米子高専の堀畑です．『第8回山陰基礎論と数学およびその周辺の研究集会』のご案内です．聴講での参加が可能です．参加される方は下記HPより登録をお願いします（短縮URL）． https://bit.ly/3WUPVVT 発表20件，参加者40名以上（現在） 2023年1月8日 - 9日米子コンベンションセンター（鳥取県米子市）不明な点，申込の不具合などがあれば堀畑まで連絡を下さい．堀畑佳宏 -- 米子工業高等専門学校総合工学科，教養教育部門・数学 horihata(a)yonago-k.ac.jp

1 0

特別研究員公募（オンライン勤務可）
by sumii＠tohoku.ac.jp 25 Dec '22

25 Dec '22

関連分野メーリングリストご各位，下のとおり公募しております．ご興味のありそうな皆様にご応募・ご転送等いただければ幸いです．多少なりともご興味がありましたら研究内容や条件等の詳細についてはinformalでもお気軽にお問い合わせください．合わせて「プロジェクトの実施のために雇用される若手研究者の自発的な研究活動等について（連絡）」 https://jst.go.jp/osirase/2020/pdf/20200414.pdf の別紙「JST 競争的研究費により雇用される若手研究者の自発的な研究活動等の実施について」もご参照ください． ---------------------------------------------------------------------- 東北大学大学院情報科学研究科ソフトウェア基礎科学分野特任研究員公募案内 1. 募集人員特任研究員1名 2. 勤務地東北大学大学院情報科学研究科ソフトウェア基礎科学分野（宮城県仙台市青葉区荒巻字青葉6-3-09）オンライン勤務可（事務手続きの都合上，着任後の居住地は日本国内に限る．勤務地での健康診断が受けられない場合等は自己負担になることがある．） 3. 職務内容戦略的創造研究推進事業（CREST）「基礎理論とシステム基盤技術の融合によるSociety 5.0のための基盤ソフトウェアの創出」(S5基盤ソフト)において「隔離実行と形式検証による総合的セキュリティ基盤システム」特に仮想環境等のシステムソフトウェアの形式的・数理論理学的モデル化・検証に関する研究に参加する． 4. 応募資格職務内容に関連した研究により，博士の学位（着任時までに取得見込みの場合を含む）または同等の業績を有すること． 5. 着任時期 2023年1月1日以降随時（応相談） 6. 任期 1年（年度ごとの更新，最長2028年3月） 7. 待遇年俸制（給与額は原則として経歴と規定により決定するが特別な理由がある場合は応相談，大まかな目安・参考としてストレートに博士号取得直後の場合はおおよそ530万円程度）研究に必要な機器・消耗品・旅費・通信費等は予算・規定の範囲で購入・支出可勤務形態は研究の遂行に問題がない範囲で応相談その他，国立大学法人東北大学特定有期雇用職員就業規則に基づく 8. 勤務時間裁量労働制（1日に7時間45分労働したものとみなす）休日：土曜日，日曜日，祝日，年末年始（12月29日～1月3日） 9. 社会保険等国家公務員共済組合，雇用保険，労災保険加入 10. 提出書類・履歴書（学歴・職歴，学位，受賞歴，および連絡先メールアドレスを含むこと）・研究業績一覧（論文は全文査読の有無を明記すること）・照会可能者1名以上の氏名・所属・連絡先メールアドレス 11. 選考方法書類による一次選考および面接（オンラインまたは対面）による二次選考を行います． 12. 応募締切 2023年3月31日必着ただし，採用者が決定した時点で募集を打ち切ります． 13. 応募書類提出先および問い合わせ先東北大学大学院情報科学研究科住井英二郎 sumii(a)tohoku.ac.jp 宛電子メール件名に「CREST研究員応募」と明記のこと添付書類はクラウドストレージ利用も可 1週間以内に受信確認の返信がない場合はメールを再送してください．以上 ---------------------------------------------------------------------- __ 東北大学大学院情報科学研究科・工学部電気情報物理工学科教授住井英二郎 http://www.kb.ecei.tohoku.ac.jp/~sumii/ 〒980-8579 宮城県仙台市青葉区荒巻字青葉6-3-09 E-Mail: sumii(a)tohoku.ac.jp　事務補佐員Tel: 022-795-7526 （旧 sumii(a)ecei.tohoku.ac.jp 当面は両方とも届きます）

1 0

【投稿受付中】第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023) 論文/発表募集
by Tsuneyasu KOMIYA 22 Dec '22

22 Dec '22

皆様， # 重複してお受取になった場合はご容赦ください．カテゴリ1（国内外未発表論文）の発表申込締切（12/23(金)17:00）が迫って参りましたので改めて CFP をご案内させていただきます．理論・実装を問わず，プログラミング・プログラミング言語に関する研究発表を幅広く募集しております．ぜひご投稿をご検討ください． PPL 2023 プログラム共同委員長（ppl2023-pc-chair(a)jssst-ppl.org) 松田一孝（東北大学）小宮常康（電気通信大学） ====================================================================== 第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023) 論文募集/発表募集主催：日本ソフトウェア科学会プログラミング論研究会日程：2023年3月6日（月）-- 3月8日（水）会場：名古屋大学およびオンラインのハイブリッド開催 URL ：https://jssst-ppl.org/workshop/2023/ ** 重要な日程 ** カテゴリ1：発表申込締切 2022年12月23日（金）17:00 (JST) 論文提出締切 2023年 1月 6日（金）17:00 (JST) 採否通知　　 2023年 1月30日（月）最終原稿締切 2023年 2月17日（金）カテゴリ2：発表申込締切 2023年 1月20日（金）17:00 (JST) 採否通知　　 2023年 1月31日（火）カテゴリ3：発表申込締切 2023年 2月 1日（水）17:00 (JST) 採否通知　　 2023年 2月 3日（金）カテゴリ4：発表申込締切 2023年 1月20日（金）17:00 (JST) 採否通知　　 2023年 1月31日（火） ** PPL 2023 の開催形式について ** PPL 2023 は，通常の研究会形式での，対面を中心としたハイブリッド開催を予定しています．以前の PPL は合宿形式で開催しておりましたが，COVID-19 の影響により，当初の計画こそ PPL 2020，PPL 2021 および PPL 2022 は対面開催でしたが，結果として PPL 2020は現地開催を緊急中止することになり，PPL 2021 および PPL 2022 は完全オンライン実施となりました．今回の PPL 2023 では，対面形式の開催への最初のステップとして，合宿形式ではなく，通常の研究会形式での開催を採用することとなりました． PPL 2023 では，かつての合宿形式で実現されていたカジュアルかつインフォーマルな意見交換や交流の場に近付けるためにも，発表者は原則対面でご参加いただくことを考えております．しかしながら，COVID-19 状況下でより広範な方々に研究の議論にご参加いただくためにも，オンラインでも参加者に非同期・同期的な聴講および質疑の場を提供する予定です．ポスター・デモ発表につきましては，対面による発表のセッションとオンラインによる発表のセッションを設け，発表者には両方のセッションでご発表いただく予定です．なお，状況によっては完全オンラインでの開催へ移行する可能性もあります．開催形式の変更に関する判断は，少なくともワークショップ開催の 2ヶ月前までを目処に行う予定です．開催に関する詳しい動向は随時 Web ページ等で公開します． ** PPL 2023 とは ** PPL 2023 は，プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果や新たな研究課題の提案・討論・アイディア交換を行うことを目的とした研究集会です．代表的なトピックは以下のようなものですが，これらに限らず，プログラミングやプログラミング言語に関する内容であれば，基礎理論・実装技術の研究からソフトウェアやツールの実現に至るまで，幅広く受け入れます．基礎理論：意味論，ラムダ計算，型理論，項書き換え，形式論理と証明，形式　　　　　言語とオートマトン，圏論，チューリング機械，アルゴリズムなど言語デザイン：各種プログラミングパラダイム（オブジェクト指向・関数型・　　　　　　　論理型・アスペクト指向，その他あらゆるパラダイムを含む），　　　　　　　モジュール化，メタプログラミング，並行・並列・分散計算，　　　　　　　型システム，言語や言語システム等の相互運用，領域限定言語　　　　　　　など言語処理系技術：コンパイラ，インタプリタ，実行時システム，仮想機械，プ　　　　　　　　ログラム最適化，プログラム解析，プログラム変換，メモリ　　　　　　　　管理などプログラミング補助：プログラム検証器，デバッガ，プロファイラ，統合開発　　　　　　　　　　環境，プログラム合成，リファクタリングなどケーススタディ：ソフトウェア開発報告，プログラミング技法，ツールの紹介　　　　　　　　など応用：システムソフトウェア，Webシステム，データベースシステム，数値計　　　算，ユーザーインタフェース，セキュリティ，プログラミング教育，人　　　工知能・機械学習など ** 招待講演 ** PPL 2023 では，以下のお二方の招待講演を予定しております．　Nicholas D. Matsakis 氏（https://nick.matsakis.net/）　「Next steps for the Rust type system」　小野寺民也氏（https://researcher.watson.ibm.com/researcher/view_person_subpage.php?id=5… 　「量子ソフトウェアスタックの現在」 ** 発表募集カテゴリ ** 以下の4カテゴリの研究発表を募集します．カテゴリ1：国内外未発表論文カテゴリ2：国際既発表論文カテゴリ3：ポスター・デモ発表カテゴリ4：サーベイ・チュートリアルカテゴリ1 では，国内外で未発表の論文発表を募集します．PPL での議論をもとに研究を発展させ，国際会議や学術論文誌への投稿につなげることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的なものとします．参加者相互で実りある議論ができるような，発展途上の研究を特に歓迎します．複数名の査読者による研究の発展性・重要性・根拠の確かさ・説明の明瞭さの評価をもとにプログラム委員会で議論し，採否を判断します．特に以下の点にご注意ください．・理論的な研究については，形式化の明瞭さと正しさが重要です．論文中に明　示してあれば証明等が未完成でも構いませんが，証明等について議論できる　程度の完成度は求められます．・実装技術の研究については，手法の妥当性や評価が重要です．論文中に明示　してあれば実装や実験が未完成でも構いませんが，上記の点を議論できる程　度の完成度は求められます．・ソフトウェアやツールの実現に関する研究については，その有用性やデザイ　ンチョイスが明瞭であることが重要です．論文中に明示してあれば実装が未　完成でも構いませんが，上記の点を議論できる程度の完成度は求められます．カテゴリ2 では，国際会議や国際学術論文誌等で発表された，または採録決定済みの，研究成果の紹介を募集します．PPL との関連性，プログラム全体のバランス，発表された媒体等をもとにプログラム委員会で議論し，採否を判断します．カテゴリ3 では，PPL に関連する内容（未発表・既発表いずれでも構いません）についてのポスター発表を募集します．萌芽的なアイデアの紹介やツールのデモンストレーションなども歓迎します．PPLとの関連性・プログラム全体のバランスをもとに，プログラム委員による議論によって採否を判断します．カテゴリ4 では，研究動向の紹介・分野間の相互理解・ツールのチュートリアルなど，PPL の聴衆にとって有益な学術知識の紹介を募集します．未発表・既発表の別を問いません．PPL との関連性，内容の重要性，発表者の経歴，プログラム全体のバランス等をもとにプログラム委員会で議論し，採否を判断します．カテゴリ1 の採択論文の中から，特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です．さらに，カテゴリ1・2・4 の全発表のなかから最も聴衆の支持を集めたものに発表賞，カテゴリ3 の全発表のなかから最も聴衆の支持を集めたものにポスター賞を授与する予定です（いずれも一般の部・学生の部の 2種類，ただし「発表賞」は既受賞者を除く）． ** 投稿・発表申込要領 ** すべてのカテゴリの投稿・発表について，以下のURLから申し込んでください．　https://easychair.org/conferences/?conf=ppl2023 申込にあたっては EasyChair のアカウントが必要となります．申し込み時に Easychair で入力する氏名・所属の情報は，プログラム作成に用いますので，参加者の便宜を考慮し，日本語が良いと考えられる場合には日本語での入力をお願いいたします．最新の情報は上記ウェブページでご確認ください．各カテゴリの申込要領の詳細は以下の通りです．カテゴリ1（国内外未発表論文） --------------------------- 投稿手続きは 2段階です．発表申込を行った上で論文提出を行ってください．発表申込: 　著者名，所属，論文タイトル，論文概要（日本語 300〜400字程度，もしくは　英語 200語程度），キーワード（3つ以上）を提出してください．論文提出: 　本文 10〜15ページ程度（参考文献を除く）の論文（日本語もしくは英語，　PDF 形式．PPL 2023 ウェブページにて指定のスタイルファイルを利用）を　提出してください．最大ページ数を超える付録は投稿版に入れることができ　ます（最終原稿においては削除いただく可能性があります）．著者の web 　page 等においてソースコードや実験データなどを載せて引用しても構いませ　ん．最大ページ数を超える付録や web page 等の情報については査読におい　て考慮されない場合もあります．採録された論文の最終原稿の提出方法は，採否通知にてお知らせします． (注) 採録された論文等著作物は，日本ソフトウェア科学会著作権規定にもとづいて利用されますので，予めご確認ください．また，採録された論文等著作物に対して著作権の譲渡を求めません． (注) 投稿論文と類似の論文を，他の会議（予稿集を出版するもの）・論文誌などに同時投稿する場合は，査読の有無に関わらず，その旨を発表申込および論文提出の際に明記してください．PPLでは同時投稿の事実のみをもって論文を不採録とすることはありませんが，採否の決定に利用する場合があります（他の会議との重複を避けるため，発表内容についての条件付採録とすることもあります）．カテゴリ2（国際既発表論文） ------------------------- 原論文（ページ数不問，PDF形式）と論文概要（テキスト形式）を，著者名，所属，論文タイトル，キーワード（3つ以上），原論文の出典（発表会議名，掲載済／予定の別等を含む）と併せて提出してください．また，その他プログラム委員会への連絡事項（PPL で発表することに関しての懸念，注意点，事情，要望等）があれば任意で提出してください．カテゴリ3（ポスター・デモ発表） ----------------------------- 著者名，所属，発表タイトル，発表概要（200〜300字程度），キーワード（3 つ以上）を提出してください．発表形態については，投稿フォームで選択してください．カテゴリ4 (サーベイ・チュートリアル) --------------------------------------- 著者名，所属，発表タイトル，キーワード（3つ以上），発表概要（3ページ以内，PDF 形式．目的，カバーする話題，想定する聴衆，必要な知識の記述を含むもの）を提出してください． ** プログラム委員会 ** プログラム共同委員長　小宮常康（電気通信大学）プログラム共同委員長　松田一孝（東北大学）安部達也　（千葉工業大学）荒堀喜貴　（東京工業大学）上里友弥　（ドワンゴ）紙名哲生　（大分大学）川端英之　（広島市立大学）佐々木晃　（法政大学）篠埜功　　（芝浦工業大学）佐藤亮介　（東京大学）佐藤哲也　（東京工業大学）関山太朗　（国立情報学研究所）滝本宗宏　（東京理科大学）千代英一郎（成蹊大学）対馬かなえ（国立情報学研究所）中田景子　（SAP Innovation Center Potsdam）西田直樹　（名古屋大学）星野直彦　（崇城大学）堀江倫大　（日本IBM）松崎公紀　（高知工科大学）水島宏太　（オプト）南出靖彦　（東京工業大学）山田晃久　（産業技術総合研究所）結縁祥治　（名古屋大学）横山哲郎　（南山大学）横山大作　（明治大学） ** 組織委員会 ** 組織委員長　　　　　　　今井敬吾（岐阜大学）組織副委員長　　　　　　新屋良磨（秋田大学）財務担当　　　　　　　　森口草介（東京工業大学）財務副担当　　　　　　　和賀正樹（京都大学）会場担当　　　　　　　　橋本健二（名古屋大学）会場副担当　　　　　　　謝　昊辰（Kotoi-Xie Consultancy, Inc.）会場副担当　　　　　　　叢　悠悠（東京工業大学）渉外担当　　　　　　　　宋　剛秀（神戸大学）プログラム共同委員長　　松田一孝（東北大学）プログラム共同委員長　　小宮常康（電気通信大学）前プログラム共同委員長　稲葉一浩（Google）前プログラム共同委員長　江本健斗（九州工業大学） ** 問い合わせ先 ** ・ワークショップ全般について　組織委員会：ppl2023-oc(a)googlegroups.com ・発表/プログラムについて　プログラム共同委員長：ppl2023-pc-chair(a)jssst-ppl.org

1 1

2022年度の証明論研究集会のご案内
by YOKOYAMA Keita 03 Dec '22

03 Dec '22

みなさま，東北大学の横山です．今年度の証明論シンポジウムを以下の通り開催いたします．ご講演・ご参加をご検討いただけましたら幸いです．どうぞよろしくお願いいたします． ********************************* 証明論シンポジウム2022 日時：2022/12/19(月)-2022/12/21(水) 場所：秋保グランドホテル(宮城県仙台市)およびオンライン参加費：1000円(現地参加の方のみ) 宿泊希望の場合は19日，20日，各1泊2食付き10,000円程度の予定．詳細は研究集会のウェブページをご覧ください． https://sites.google.com/view/proof-theory-2022/%E3%83%9B%E3%83%BC%E3%83%A0 また参加登録は以下のフォームよりお願いいたします． https://forms.gle/WkYU54DzYNmYHCQV6 注意事項・オンライン配信について　ホテルのネット環境に依存した配信となるため，接続が脆弱となることも考えられます．あらかじめご了承ください．また，オンライン講演の希望もいただいており，現地の状況を確認した限りでは，実行できると考えておりますが，トラブルが生じる可能性もありますので，あらかじめご了解いただけますようお願いいたします．・宿泊について　宿泊は1泊2食付き10000円程度，和室3-4人程度の相部屋となります．ご希望の場合は，仮の日程でも構いませんので，できるだけ早め(できれば11月20日まで)にご連絡をいただけますと大変助かります．想定している部屋が埋まった後は金額が変わってくる可能性があります．また，学生の方は1000円程度割引可能ですので，学生部屋(相部屋の人数が多めになる)をご希望の方はお申し付けください．・宿泊時の食事について　会食が制限されている状況でもありますので，ブッフェ形式でみなさま個人でもお食事いただける形式ですが，参加者用にブッフェ会場の特定の区画をあらかじめ割り当てていただく予定です．なお，状況が許すようでしたら1日は会食形式に変更することを検討しております．その場合は参加申し込みの方に再度ご相談いたします．・参加費について　参加費は強制はいたしませんので可能な方にお支払いをお願いいたします．なお領収書は発行いたします．どうぞよろしくお願いいたします．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 keita.yokoyama.c2(a)tohoku.ac.jp

2 1

博士研究員（ポスドク）募集のお知らせ
by 山形賴之 02 Dec '22

02 Dec '22

logic-mlの皆様、産総研の山形です。お世話になっております。産総研では下記の通り博士研究員を募集しております。採用された博士研究員の皆様は研究内容がマッチングする研究員のもとで研究活動を行う一方、企業でのインターンなどを行い社会で広く活躍するスキルを身につけることができます。研究内容についてはこちらに例示されていますが、これに限定されるものではありません。 https://unit.aist.go.jp/innhr/inn-s/PD_course/entry.html 「機械学習を応用したソフトウェアの検証・モニタリングおよびコード解析」にソフトウェア等の形式検証が含まれます。詳細は下記の事務局か私までお気軽にお問合せください。またお近くに興味のありそうな方がいらっしゃいましたらご紹介いただければ幸いです。よろしくお願いいたします。 ---- 関係者各位産総研イノベーションスクール事務局　募集担当です。イノベーションスクールでは、来年度4月開校の博士研究員対象「イノベーション人材育成コース」スクール生を公募中です。イノベーション人材育成コースは、産総研にて1年間ポスドクとして研究活動をいただきながら、講義演習、企業研修等イノスクカリキュラムにご参加いただき、専門性を幅広く生かすための知見を育んでいただくコースです。 ■開校期間　2023年4月～2024年3月 ■応募要件　博士の学位を有すること（2023年4月までに取得見込の方もOK） ■産総研特別研究員（第一号契約職員）として１年間採用します ■2023年度は例年より採用予定人数を拡大（～30名）詳細は公式Websiteをご参照いただければ幸いです。 https://unit.aist.go.jp/innhr/inn-s/index.html --- 山形頼之（主任研究員）産業技術総合研究所サイバーフィジカルセキュリティ研究センター https://staff.aist.go.jp/yoriyuki.yamagata/

1 0

PPL 2023 CFP (論文投稿受付開始)
by Tsuneyasu KOMIYA 25 Nov '22

25 Nov '22

皆様， # 重複してお受取になった場合はご容赦ください．電気通信大学の小宮と申します．以前にもご案内差し上げた PPL 2023 について，論文投稿受付を開始いたしましたので投稿・発表申込要領を含めた CFP をご案内させていただきます．理論・実装を問わず，プログラミング・プログラミング言語に関する研究発表を幅広く募集しております．招待講演では Nicholas D. Matsakis 氏と小野寺民也氏をお招きする予定です．皆様のご投稿をお待ちしております． PPL 2023 プログラム共同委員長（ppl2023-pc-chair(a)jssst-ppl.org) 松田一孝（東北大学）小宮常康（電気通信大学） ====================================================================== 第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023) 論文募集/発表募集主催：日本ソフトウェア科学会プログラミング論研究会日程：2023年3月6日（月）-- 3月8日（水）会場：名古屋大学およびオンラインのハイブリッド開催 URL ：https://jssst-ppl.org/workshop/2023/ ** 重要な日程 ** カテゴリ1：発表申込締切 2022年12月23日（金）17:00 (JST) 論文提出締切 2023年 1月 6日（金）17:00 (JST) 採否通知　　 2023年 1月30日（月）最終原稿締切 2023年 2月17日（金）カテゴリ2：発表申込締切 2023年 1月20日（金）17:00 (JST) 採否通知　　 2023年 1月31日（火）カテゴリ3：発表申込締切 2023年 2月 1日（水）17:00 (JST) 採否通知　　 2023年 2月 3日（金）カテゴリ4：発表申込締切 2023年 1月20日（金）17:00 (JST) 採否通知　　 2023年 1月31日（火） ** PPL 2023 の開催形式について ** PPL 2023 は，通常の研究会形式での，対面を中心としたハイブリッド開催を予定しています．以前の PPL は合宿形式で開催しておりましたが，COVID-19 の影響により，当初の計画こそ PPL 2020，PPL 2021 および PPL 2022 は対面開催でしたが，結果として PPL 2020は現地開催を緊急中止することになり，PPL 2021 および PPL 2022 は完全オンライン実施となりました．今回の PPL 2023 では，対面形式の開催への最初のステップとして，合宿形式ではなく，通常の研究会形式での開催を採用することとなりました． PPL 2023 では，かつての合宿形式で実現されていたカジュアルかつインフォーマルな意見交換や交流の場に近付けるためにも，発表者は原則対面でご参加いただくことを考えております．しかしながら，COVID-19 状況下でより広範な方々に研究の議論にご参加いただくためにも，オンラインでも参加者に非同期・同期的な聴講および質疑の場を提供する予定です．ポスター・デモ発表につきましては，対面による発表のセッションとオンラインによる発表のセッションを設け，発表者には両方のセッションでご発表いただく予定です．なお，状況によっては完全オンラインでの開催へ移行する可能性もあります．開催形式の変更に関する判断は，少なくともワークショップ開催の 2ヶ月前までを目処に行う予定です．開催に関する詳しい動向は随時 Web ページ等で公開します． ** PPL 2023 とは ** PPL 2023 は，プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果や新たな研究課題の提案・討論・アイディア交換を行うことを目的とした研究集会です．代表的なトピックは以下のようなものですが，これらに限らず，プログラミングやプログラミング言語に関する内容であれば，基礎理論・実装技術の研究からソフトウェアやツールの実現に至るまで，幅広く受け入れます．基礎理論：意味論，ラムダ計算，型理論，項書き換え，形式論理と証明，形式　　　　　言語とオートマトン，圏論，チューリング機械，アルゴリズムなど言語デザイン：各種プログラミングパラダイム（オブジェクト指向・関数型・　　　　　　　論理型・アスペクト指向，その他あらゆるパラダイムを含む），　　　　　　　モジュール化，メタプログラミング，並行・並列・分散計算，　　　　　　　型システム，言語や言語システム等の相互運用，領域限定言語　　　　　　　など言語処理系技術：コンパイラ，インタプリタ，実行時システム，仮想機械，プ　　　　　　　　ログラム最適化，プログラム解析，プログラム変換，メモリ　　　　　　　　管理などプログラミング補助：プログラム検証器，デバッガ，プロファイラ，統合開発　　　　　　　　　　環境，プログラム合成，リファクタリングなどケーススタディ：ソフトウェア開発報告，プログラミング技法，ツールの紹介　　　　　　　　など応用：システムソフトウェア，Webシステム，データベースシステム，数値計　　　算，ユーザーインタフェース，セキュリティ，プログラミング教育，人　　　工知能・機械学習など ** 招待講演 ** PPL 2023 では，以下のお二方の招待講演を予定しております．　Nicholas D. Matsakis 氏（https://nick.matsakis.net/）　小野寺民也氏（https://researcher.watson.ibm.com/researcher/view_person_subpage.php?id=5… ** 発表募集カテゴリ ** 以下の4カテゴリの研究発表を募集します．カテゴリ1：国内外未発表論文カテゴリ2：国際既発表論文カテゴリ3：ポスター・デモ発表カテゴリ4：サーベイ・チュートリアルカテゴリ1 では，国内外で未発表の論文発表を募集します．PPL での議論をもとに研究を発展させ，国際会議や学術論文誌への投稿につなげることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的なものとします．参加者相互で実りある議論ができるような，発展途上の研究を特に歓迎します．複数名の査読者による研究の発展性・重要性・根拠の確かさ・説明の明瞭さの評価をもとにプログラム委員会で議論し，採否を判断します．特に以下の点にご注意ください．・理論的な研究については，形式化の明瞭さと正しさが重要です．論文中に明　示してあれば証明等が未完成でも構いませんが，証明等について議論できる　程度の完成度は求められます．・実装技術の研究については，手法の妥当性や評価が重要です．論文中に明示　してあれば実装や実験が未完成でも構いませんが，上記の点を議論できる程　度の完成度は求められます．・ソフトウェアやツールの実現に関する研究については，その有用性やデザイ　ンチョイスが明瞭であることが重要です．論文中に明示してあれば実装が未　完成でも構いませんが，上記の点を議論できる程度の完成度は求められます．カテゴリ2 では，国際会議や国際学術論文誌等で発表された，または採録決定済みの，研究成果の紹介を募集します．PPL との関連性，プログラム全体のバランス，発表された媒体等をもとにプログラム委員会で議論し，採否を判断します．カテゴリ3 では，PPL に関連する内容（未発表・既発表いずれでも構いません）についてのポスター発表を募集します．萌芽的なアイデアの紹介やツールのデモンストレーションなども歓迎します．PPLとの関連性・プログラム全体のバランスをもとに，プログラム委員による議論によって採否を判断します．カテゴリ4 では，研究動向の紹介・分野間の相互理解・ツールのチュートリアルなど，PPL の聴衆にとって有益な学術知識の紹介を募集します．未発表・既発表の別を問いません．PPL との関連性，内容の重要性，発表者の経歴，プログラム全体のバランス等をもとにプログラム委員会で議論し，採否を判断します．カテゴリ1 の採択論文の中から，特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です．さらに，カテゴリ1・2・4 の全発表のなかから最も聴衆の支持を集めたものに発表賞，カテゴリ3 の全発表のなかから最も聴衆の支持を集めたものにポスター賞を授与する予定です（いずれも一般の部・学生の部の 2種類，ただし「発表賞」は既受賞者を除く）． ** 投稿・発表申込要領 ** すべてのカテゴリの投稿・発表について，以下のURLから申し込んでください．　https://easychair.org/conferences/?conf=ppl2023 申込にあたっては EasyChair のアカウントが必要となります．申し込み時に Easychair で入力する氏名・所属の情報は，プログラム作成に用いますので，参加者の便宜を考慮し，日本語が良いと考えられる場合には日本語での入力をお願いいたします．最新の情報は上記ウェブページでご確認ください．各カテゴリの申込要領の詳細は以下の通りです．カテゴリ1（国内外未発表論文） --------------------------- 投稿手続きは 2段階です．発表申込を行った上で論文提出を行ってください．発表申込: 　著者名，所属，論文タイトル，論文概要（日本語 300～400字程度，もしくは　英語 200語程度），キーワード（3つ以上）を提出してください．論文提出: 　本文 10～15ページ程度（参考文献を除く）の論文（日本語もしくは英語，　PDF 形式．PPL 2023 ウェブページにて指定のスタイルファイルを利用）を　提出してください．最大ページ数を超える付録は投稿版に入れることができ　ます（最終原稿においては削除いただく可能性があります）．著者の web 　page 等においてソースコードや実験データなどを載せて引用しても構いませ　ん．最大ページ数を超える付録や web page 等の情報については査読におい　て考慮されない場合もあります．採録された論文の最終原稿の提出方法は，採否通知にてお知らせします． (注) 採録された論文等著作物は，日本ソフトウェア科学会著作権規定にもとづいて利用されますので，予めご確認ください．また，採録された論文等著作物に対して著作権の譲渡を求めません． (注) 投稿論文と類似の論文を，他の会議（予稿集を出版するもの）・論文誌などに同時投稿する場合は，査読の有無に関わらず，その旨を発表申込および論文提出の際に明記してください．PPLでは同時投稿の事実のみをもって論文を不採録とすることはありませんが，採否の決定に利用する場合があります（他の会議との重複を避けるため，発表内容についての条件付採録とすることもあります）．カテゴリ2（国際既発表論文） ------------------------- 原論文（ページ数不問，PDF形式）と論文概要（テキスト形式）を，著者名，所属，論文タイトル，キーワード（3つ以上），原論文の出典（発表会議名，掲載済／予定の別等を含む）と併せて提出してください．また，その他プログラム委員会への連絡事項（PPL で発表することに関しての懸念，注意点，事情，要望等）があれば任意で提出してください．カテゴリ3（ポスター・デモ発表） ----------------------------- 著者名，所属，発表タイトル，発表概要（200～300字程度），キーワード（3 つ以上）を提出してください．発表形態については，投稿フォームで選択してください．カテゴリ4 (サーベイ・チュートリアル) --------------------------------------- 著者名，所属，発表タイトル，キーワード（3つ以上），発表概要（3ページ以内，PDF 形式．目的，カバーする話題，想定する聴衆，必要な知識の記述を含むもの）を提出してください． ** プログラム委員会 ** プログラム共同委員長　小宮常康（電気通信大学）プログラム共同委員長　松田一孝（東北大学）安部達也　（千葉工業大学）荒堀喜貴　（東京工業大学）上里友弥　（ドワンゴ）紙名哲生　（大分大学）川端英之　（広島市立大学）佐々木晃　（法政大学）篠埜功　　（芝浦工業大学）佐藤亮介　（東京大学）佐藤哲也　（東京工業大学）関山太朗　（国立情報学研究所）滝本宗宏　（東京理科大学）千代英一郎（成蹊大学）対馬かなえ（国立情報学研究所）中田景子　（SAP Innovation Center Potsdam）西田直樹　（名古屋大学）星野直彦　（崇城大学）堀江倫大　（日本IBM）松崎公紀　（高知工科大学）水島宏太　（オプト）南出靖彦　（東京工業大学）山田晃久　（産業技術総合研究所）結縁祥治　（名古屋大学）横山哲郎　（南山大学）横山大作　（明治大学） ** 組織委員会 ** 組織委員長　　　　　　　今井敬吾（岐阜大学）組織副委員長　　　　　　新屋良磨（秋田大学）財務担当　　　　　　　　森口草介（東京工業大学）財務副担当　　　　　　　和賀正樹（京都大学）会場担当　　　　　　　　橋本健二（名古屋大学）会場副担当　　　　　　　謝　昊辰（Kotoi-Xie Consultancy, Inc.）会場副担当　　　　　　　叢　悠悠（東京工業大学）渉外担当　　　　　　　　宋　剛秀（神戸大学）プログラム共同委員長　　松田一孝（東北大学）プログラム共同委員長　　小宮常康（電気通信大学）前プログラム共同委員長　稲葉一浩（Google）前プログラム共同委員長　江本健斗（九州工業大学） ** 問い合わせ先 ** ・ワークショップ全般について　組織委員会：ppl2023-oc(a)googlegroups.com ・発表/プログラムについて　プログラム共同委員長：ppl2023-pc-chair(a)jssst-ppl.org

1 0

PhD Position in Theory
by Nao Hirokawa 22 Nov '22

22 Nov '22

皆様 Georg Moser 教授に代わりまして、インスブルック大学理論計算機科学グループからの PhD position （4年間）の募集案内をお知らせ致します。廣川 (JAIST) 4-year PhD position @ University of Innsbruck ====================================================================== Within the TCS Group of the Department of Computer Science at the University of Innsbruck, Austria there is an opening for a 4 year PhD student position; kindly see https://tcs-informatik.uibk.ac.at/vacancies/ for further details. Applications (including CV, short letter of motivation, three references) should submitted via the following link https://lfuonline.uibk.ac.at/public/karriereportal.details?asg_id_in=13052 no later than December 22, 2022. Informal inquiries may be sent to georg.moser(a)uibk.ac.at. The city of Innsbruck is superbly located in the beautiful surroundings of the Tyrolean Alps. The combination of urban life in this historic town and the Alpine environment provides a high quality of living. Further information is available from the following links: - Theoretical Computer Science Group https://tcs-informatik.uibk.ac.at/ - Department of Computer Science https://www.uibk.ac.at/informatik/ - University of Innsbruck https://www.uibk.ac.at/ Best wishes, Georg --- Univ.-Prof. Dr. Georg Moser Theoretical Computer Science, University of Innsbruck Technikerstrasse 21a, 6020 Innsbruck

1 0

Fwd: RIMS共同研究(公開型)「群・環・言語と計算機科学の周辺領域」講演募集、【再送】
by Munehiro Iwami 22 Nov '22

22 Nov '22

皆様島根大学の岩見と申します。 RIMS共同研究(公開型)「群・環・言語と計算機科学の周辺領域」が開催されます。案内メールを転送します。講演申込締切は2022年12月9日(金)です。参加のみの方も歓迎します。よろしくお願いします。 --------------------------------------------------------- 研究者の皆様兵庫県立大学の西中です。研究集会案内メールを再送します。京都大学数理解析研究所RIMS共同研究(公開型)(旧称：RIMS研究集会) 「群・環・言語と計算機科学の周辺領域」 http://uh-kobe.private.coocan.jp/private_html/Conf/RIMS/2023/2023RIMS.html を下記の日程で開催いたします．研究領域については広い意味での計算機科学ととらえていただき，関連する講演を幅広く募集いたします．アイデア段階のものでも構いません．多くの研究者による活発な研究発表・討論の場にしたいと考えております．講演希望の方は以下の情報をご記入の上, 2022年12月9日(金)までに研究代表者宛（t-nishinaka(a)nifty.xn--com)e-mail-ce4ixbg ご連絡ください．なお, このメールは当集会の過去3年の参加者を基本に関心を持っている方々にお送りしております．講演については，「英語による講演」あるいは「英語による発表資料」をお願いいたします． ■今年度は対面開催を予定し準備を進めております。しかしながら、状況応じて参加に際しての感染対策のお願い、或いはより深刻な状況では、オンライン開催への変更をお願いすることもございます。この点お含みおきください。氏名（日本語および英語）所属・職　(学生(院生)の方は学年を明記してください）所属住所：連絡先（メールアドレス）講演題目（日本語および英語）講演時間（30分を標準とします）その他：講演日時または数理解析研究所からの旅費支給についてご希望などがございましたらお書きください．ご希望に添えないことがあるかもしれませんがその場合はご容赦ください．また, 講演されずに聴講される方も歓迎します． (メールが届かないことがまれに発生しております．講演を申し込まれた方に, 確認のため申込後７日以内にご返信差し上げます．万一返信がない場合は, お手数ですがお問い合わせください．) ----------------------------------------------------- 記群・環・言語と計算機科学の周辺領域部屋：111号室　期間：2023/02/15(水) ～ 2023/02/17(金) 代表者：西中恒和(兵庫県立大学国際商経学部) Group, Ring, Language and Related Areas in Computer Science Location：Room 111 Period: 2023-02-15--2023-02-17 Organizer: NISHINAKA Tsunekazu (School of Economics and Management, University of Hyogo) ---------------(申込みフォーマット)--------------- 研究集会「群・環・言語と計算機科学の周辺領域」に出席します：（Ｏ×）　氏名（日本語および英語）：　所属・職：所属住所：　連絡先（メールアドレス）：研究集会「群・環・言語と計算機科学の周辺領域」で講演を希望します：（Ｏ×）　講演者：　講演題目（日本語および英語）：　講演時間（30分を標準とします）：その他：講演日時希望および数理解析研究所からの旅費支給希望などがございましたらお書きください．ご希望にそえないことがあるかもしれませんがその場合はご容赦ください． ------------------------------------------------------ 以上よろしくお願いいたします。西中恒和 (Tsunekazu Nishinaka) 兵庫県立大学国際商経学部 e-mail: t-nishinaka(a)nifty.com nishinaka(a)em.u-hyogo.ac.jp -- ----------------------------- Tsunekazu Nishinaka University of Hyogo Kobe, 65l-2197 JAPAN nishinaka(a)econ.u-hyogo.ac.jp t-nishinaka(a)nifty.com http://uh-kobe.private.coocan.jp/ TEL: +81787945692

1 0

山陰での研究集会のご案内
by 堀畑佳宏_米子教職員 16 Nov '22

16 Nov '22

皆さま（重複での案内はご容赦ください）米子高専の堀畑です．『第8回山陰基礎論と数学およびその周辺の研究集会』を開催します．（山陰基礎論・解析学研究集会から名称変更）基礎論，数学，周辺の気軽な研究交流の場を目指していきます！周りの方にも転送・お声がけし宣伝頂ければ幸いです！ ▼研究集会のHP https://sites.google.com/view/logic-and-math/%E3%83%9B%E3%83%BC%E3%83%A0 ▼日程 2023年1月8日(日)~9日(月) ・8日（終日）は基礎論と数学がメイン・9日（~昼過ぎ）は数学と周辺（教育，リベラルアーツ等幅広く） ▼場所米子コンベンションセンター（鳥取県米子市） ※対面のみでの開催予定 ▼申込以下のFormsより参加・講演登録をお願いします（12/16まで） https://forms.office.com/r/WmS3HgnSzx ※ 講演者はアブストラクトのPDFを堀畑までメール添付願います（12/26まで．例 horihata.pdf）不明な点，申込の不具合などがあれば堀畑まで連絡を下さい．堀畑佳宏 -- 米子工業高等専門学校総合工学科，教養教育部門・数学 horihata(a)yonago-k.ac.jp

1 0

数学基礎論若手の会 2022（第2回アナウンス）
by Diego A. Mejía 04 Nov '22

04 Nov '22

皆様、静岡大学のメヒア・ディエゴと申します。今年度、私は数学基礎論若手の会の世話人です。アナウンスを再送信いたします。今、講演数が少ないので、遠慮なく講演申込をしてください。また、周りの先生とロジックの学生にも伝わるよう、ご協力をよろしくお願いいたします。日程：2022年11月25日（金）～ 27日（日）世話人：メヒア・ディエゴ（静岡大学） diego.mejia(a)shizuoka.ac.jp 開催方法：Zoom によるオンライン開催ウェブサイト：https://sites.google.com/view/mlwakatenokai2022 数学基礎論若手の会は数学基礎論を専攻する学生および若手研究者の研究交流を目的とする研究集会です。講演はオリジナルの成果発表に限らず、研究の途中報告や研究内容の紹介など幅広く募集しております。また、これから数学基礎論を勉強したいと思っている方のご参加も歓迎します。参加申込：https://forms.office.com/r/K8NxbCh5qC 参加申込の締切：講演希望の方・アブストラクトの提出： 2022年11月15日（火）まで参加のみの方： 2022年11月20日（日）まで講演希望の方は、上記のフォームを提出した後、講演タイトル・アブストラクトのtexファイルを世話人へメールで送ってください。それでは、多くの方々のご参加およびご講演をお待ちしております。 -- 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

教員公募（5件）：島根大学（セキュリティ分野／データサイエンス分野／外国人限定：いずれも准教授または助教/広い意味での数理科学分野）
by Munehiro Iwami 20 Oct '22

20 Oct '22

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

1 1

MLが10日あまり止まっていました
by Atsushi Igarashi 20 Oct '22

20 Oct '22

logic-ml/kisoron-ml/jssst-ppl 購読者の皆様，管理人の五十嵐です． 10/9 あたりからメイリングリストの配送が止まっていたようです．先程，対処を行いまして，この間の投稿も含めて再び流れ始めたように見えますが，ひょっとしたら失なわれたものもあるかもしれません．その場合は，お手数ですが再投稿していただけますようお願いいたします．ご迷惑をおかけしたことをお詫びいたします． -- 五十嵐淳 (IGARASHI Atsushi) E-mail: igarashi(a)kuis.kyoto-u.ac.jp url: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/

1 0

証明論シンポジウム2022
by Hirotaka Kikyo 20 Oct '22

20 Oct '22

皆様東北大学の横山さんからのお知らせの代理投稿です。よろしくお願いします。（神戸大学桔梗宏孝） ************************** みなさま，東北大学の横山です．今年度の証明論シンポジウムを以下の通り開催いたします．ご講演・ご参加をご検討いただけましたら幸いです．どうぞよろしくお願いいたします． ********************************* 証明論シンポジウム2022 日時：2022/12/19(月)-2022/12/21(水) 場所：秋保グランドホテル(宮城県仙台市)およびオンライン参加費：1000円(現地参加の方のみ) 宿泊希望の場合は19日，20日，各1泊2食付き10,000円程度の予定．詳細は研究集会のウェブページをご覧ください． https://sites.google.com/view/proof-theory-2022/%E3%83%9B%E3%83%BC%E3%83%A0 <https://sites.google.com/view/proof-theory-2022/%E3%83%9B%E3%83%BC%E3%83%A0> また参加登録は以下のフォームよりお願いいたします． https://forms.gle/WkYU54DzYNmYHCQV6 <https://forms.gle/WkYU54DzYNmYHCQV6> 注意事項・オンライン配信について　ホテルのネット環境に依存した配信となるため，接続が脆弱となることも考えられます．あらかじめご了承ください．また，オンライン講演の希望もいただいており，現地の状況を確認した限りでは，実行できると考えておりますが，トラブルが生じる可能性もありますので，あらかじめご了解いただけますようお願いいたします．・宿泊について　宿泊は1泊2食付き10000円程度，和室3-4人程度の相部屋となります．ご希望の場合は，仮の日程でも構いませんので，できるだけ早め(できれば11月20日まで)にご連絡をいただけますと大変助かります．想定している部屋が埋まった後は金額が変わってくる可能性があります．また，学生の方は1000円程度割引可能ですので，学生部屋(相部屋の人数が多めになる)をご希望の方はお申し付けください．・宿泊時の食事について　会食が制限されている状況でもありますので，ブッフェ形式でみなさま個人でもお食事いただける形式ですが，参加者用にブッフェ会場の特定の区画をあらかじめ割り当てていただく予定です．なお，状況が許すようでしたら1日は会食形式に変更することを検討しております．その場合は参加申し込みの方に再度ご相談いたします．・参加費について　参加費は強制はいたしませんので可能な方にお支払いをお願いいたします．なお領収書は発行いたします．どうぞよろしくお願いいたします．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 keita.yokoyama.c2(a)tohoku.ac.jp

1 0

QIT47のご案内
by NISHIMURA Harumichi 18 Oct '22

18 Oct '22

logic-mlの皆様名古屋大学の西村と申します．第47回量子情報技術研究会（QIT47）の会告案内を代理投稿します．どうぞよろしくお願いいたします．名古屋大学大学院情報学研究科西村治道 ======================================================================== 第47回量子情報技術研究会（QIT47）研究会の内容：情報科学と量子力学を融合させた新しい分野，量子情報科学に関する研究会です．情報を担う物理系の量子力学的側面を積極的に活かした新しい情報処理原理の研究とそこから開かれる新しい学問体系の構築および新しい情報技術パラダイムの創生を目指して，情報科学，物理学，光エレクトロニクスを含む理学，工学，数理科学に携わる研究者間に自由な討論の場を提供し，この研究分野の発展を図ることを目的としています．第47回研究会を下記のように開催いたします．現在この分野で活躍する研究者は勿論，自分の研究資産が何らかの形で使えそうだと予感している研究者・技術者など，広く関連する分野の研究者・技術者からの発表を募集致します．聴講のみの参加も歓迎致しますので，奮ってお申し込みください．なお，第38回研究会から学生発表賞を創設いたしました．応募方法等については，下記のQITウェブサイトをご確認下さい．日時：2022年12月8日（木）～ 12月9日（金）会場：現地参加およびオンライン（Zoomを予定）のハイブリッド方式現地参加の場合，慶應義塾大学矢上キャンパス 14棟地下2階マルチメディアルーム(MMR) （神奈川県横浜市港北区日吉3-14-1）発表募集分野（申し込み状況によっては査読の可能性あり）：量子情報，量子計算，量子暗号など広く量子情報技術に関わる理論的研究，実験的研究，計算機科学的研究，数学的研究，および，その他関連分野．定員：300名程度参加費：一般2,000円，学生1,000円 ※参加費は予稿集代（電子版）を含みます． ※12月1日（木）より後にお支払いの場合は12月5日（月）まで直前料金（+1,000円）で振り込みを受け付けます．これを過ぎますとご参加いただけませんのでご注意下さい．参加事前登録が期限に間に合わない場合も直前料金となります．研究会参加申込要領：参加申込は下記 Web にて受付けます： https://www.ieice.org/es/qit/qit47/ 講演 (口頭，ポスター) の申込，予稿集原稿PDFの提出は，電子情報通信学会のWebシステムを使用する予定．各種締切：【口頭講演申込締切】 2022年10月28日（金）【ポスター講演申込締切】2022年11月18日（金）【予稿原稿提出締切】 2022年11月18日（金）【参加事前登録】 2022年12月1日（木）【参加費の銀行振込】 2022年12月1日（木）【問合せ先】委員長：山本直樹（慶應義塾大学）副委員長：田中宗（慶應義塾大学）副委員長：古池達彦（慶應義塾大学）副委員長：関優也（慶應義塾大学） Email: qit47-ml(-AT-)appi.keio.ac.jp [(-AT-)を@に変えて下さい] 主催：量子情報技術特別研究専門委員会（委員長：武岡正裕（慶應義塾大学）） ========================================================================

1 0

2022年度の証明論研究集会のご案内
by YOKOYAMA Keita 16 Oct '22

16 Oct '22

みなさま，東北大学の横山です．今年度の証明論シンポジウムを以下の通り開催いたします．ご講演・ご参加をご検討いただけましたら幸いです．どうぞよろしくお願いいたします． ********************************* 証明論シンポジウム2022 日時：2022/12/19(月)-2022/12/22(水) 場所：秋保グランドホテル(宮城県仙台市)およびオンライン参加費：1000円(現地参加の方のみ) 宿泊希望の場合は19日，20日，各1泊2食付き10,000円程度の予定．詳細は研究集会のウェブページをご覧ください． https://sites.google.com/view/proof-theory-2022/%E3%83%9B%E3%83%BC%E3%83%A0 また参加登録は以下のフォームよりお願いいたします． https://forms.gle/WkYU54DzYNmYHCQV6 注意事項・オンライン配信について　ホテルのネット環境に依存した配信となるため，接続が脆弱となることも考えられます．あらかじめご了承ください．また，オンライン講演の希望もいただいており，現地の状況を確認した限りでは，実行できると考えておりますが，トラブルが生じる可能性もありますので，あらかじめご了解いただけますようお願いいたします．・宿泊について　宿泊は1泊2食付き10000円程度，和室3-4人程度の相部屋となります．ご希望の場合は，仮の日程でも構いませんので，できるだけ早め(できれば11月20日まで)にご連絡をいただけますと大変助かります．想定している部屋が埋まった後は金額が変わってくる可能性があります．また，学生の方は1000円程度割引可能ですので，学生部屋(相部屋の人数が多めになる)をご希望の方はお申し付けください．・宿泊時の食事について　会食が制限されている状況でもありますので，ブッフェ形式でみなさま個人でもお食事いただける形式ですが，参加者用にブッフェ会場の特定の区画をあらかじめ割り当てていただく予定です．なお，状況が許すようでしたら1日は会食形式に変更することを検討しております．その場合は参加申し込みの方に再度ご相談いたします．・参加費について　参加費は強制はいたしませんので可能な方にお支払いをお願いいたします．なお領収書は発行いたします．どうぞよろしくお願いいたします．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 keita.yokoyama.c2(a)tohoku.ac.jp

1 1

早稲田集合論セミナー（１０月６日）のご案内
by Toshimichi Usuba 27 Sep '22

27 Sep '22

皆様、早稲田大の薄葉です。以下の通りセミナーを開催いたします。日時：１０月６日（木）１６：００～形態：ハイブリッド形式（対面とZoom meetingの配信) 場所：早稲田大学西早稲田キャンパス 59号館4階420室講演者：Ralf Schindler (Münster) 題目：Martin's Maximum is \Pi_2 complete. 概要：We present a direct proof (avoiding P_max machinery) of the fact that if \varphi is \Pi_2 over H_{\omega_2} and \varphi is \Omega-consistent, then \varphi may be forced by a stationary set preserving forcing. This establishes a variant of the \Omega-conjecture. We also provide some background for this, discuss its significance, and mention further results. This is joint work with David Asperó. オンライン参加を希望の方は下のフォームから１０月５日１７：００までに参加登録をお願いいたします。 https://docs.google.com/forms/d/e/1FAIpQLSdTLZsiKU-Ax5f4lAU0_PX79HYqRXGgNs3… 対面参加の場合は登録は必要ありません。当日会場までお越しください。西早稲田キャンパスへのアクセスは https://www.waseda.jp/top/access/nishiwaseda-campus をご覧ください。なお、ゼミは黒板による板書を中心に行われる予定ですが、機材の関係で Zoom配信の画質、音質はあまりよろしくないものになるかもしれません。悪しからずご了承ください。 -- Toshimichi USUBA School of Fundamental Science and Engineering, Waseda University

1 0

SLACS2022 (9月20日～21日) 参加募集
by Daisuke Kimura 15 Sep '22

15 Sep '22

皆様 (複数のメイリングリストに送信しています．重複して受信の際はご容赦ください) 東邦大学の木村です．来週開催予定の SLACS2022 の最終案内です．参加をご検討中の方は下記リンクより参加登録をお願いいたします． https://docs.google.com/forms/d/e/1FAIpQLSeEy-tjXThGZEoLZvfSklt9tqSLOcJFGm3… (参加形態は現地 or Zoom を選択できます) 多くの方のご参加をお待ちしております．参加申し込みは開催前日まで受け付けております．第39回記号論理と情報科学研究集会 (SLACS2022) https://sites.google.com/view/slacs2022/ (講演情報および暫定プログラムを公開しております) 開催期間：2022年9月20日(火)から2022年9月21日(水) 開催形式：対面(東邦大学)＋オンライン(Zoom) 参加費：無料連絡先：kmr(a)is.sci.toho-u.ac.jp SLACS2022 幹事木村大輔 (東邦大学) ======================================================= SLACSとは以下はSLACSのページの冒頭からの抜粋です。 http://www.math.s.chiba-u.ac.jp/SLACS/ 「SLACS（スラックス）は，記号論理学と情報科学の境界領域に関する研究発表・研究討論の場を提供することを目的にして開催されている研究集会です． 1985年1月に第１回が開催されて以来，毎年１回のペースで開催されています． SLACS は，堅苦しい研究会ではなく，その年の幹事を中心とした参加者自らの手作りによるフレンドリーな雰囲気を持った集会です．気軽に発表できる場ですから，研究が進行中の話題を持ってきて議論したり，学生さんが発表する場としても適当です．もちろん，発展を続けるこの分野の最先端の研究テーマに関する発表も数多く聞くことができます．参加者の資格は問いませんので，原則として，どなたでも講演発表・聴講いただけます．発表はごく少数の例外を除いて日本語です．」より詳しい情報はSLACSのページや最近の開催情報をご確認ください。 SLACS2021（Zoom） https://sites.google.com/view/slacs2021/ SLACS2020（Zoom） https://sites.google.com/view/slacs2020/ SLACS2019（京都大学） https://sites.google.com/view/slacs-2019/home SLACS2018 (北海道大学) https://sites.google.com/view/slacs-2018/home SLACS2017 (千葉工業大学) http://super.para.media.kyoto-u.ac.jp/~abet/slacs2017/index.html SLACS2016 (名古屋大学) http://www.st.nanzan-u.ac.jp/info/sasaki/2016slacs/SLACS2016.html

1 0

数学基礎論若手の会 2022
by Diego A. Mejía 06 Sep '22

06 Sep '22

皆様、静岡大学理学部のメヒア・ディエゴと申します。数学基礎論若手の会 2022を以下の通りアナウンスいたします。今年度も、新型コロナウィルスの影響によりオンライン開催となります。日程：2022年11月25日（金）～ 27日（日）世話人：メヒア・ディエゴ（静岡大学） diego.mejia(a)shizuoka.ac.jp 開催方法：Zoom によるオンライン開催ウェブサイト：https://sites.google.com/view/mlwakatenokai2022 数学基礎論若手の会は数学基礎論を専攻する学生および若手研究者の研究交流を目的とする研究集会です。講演はオリジナルの成果発表に限らず、研究の途中報告や研究内容の紹介など幅広く募集しております。また、これから数学基礎論を勉強したいと思っている方のご参加も歓迎します。参加申込：https://forms.office.com/r/K8NxbCh5qC 参加申込の締切：講演希望の方・アブストラクトのアップロード： 2022年11月15日（火）まで参加のみの方： 2022年11月20日（日）まで講演希望の方は、上記のフォームを提出した後、講演タイトル・アブストラクトのtexファイルを世話人へメールで送ってください。それでは、多くの方々のご参加およびご講演をお待ちしております。 -- 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

【論文/発表募集】第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023)
by Kazutaka Matsuda 31 Aug '22

31 Aug '22

（重複して受けとられました方はご容赦ください）皆様，東北大学の松田と申します．来年（2023）の3/6〜8に名古屋大学にて開催予定の PPL 2023の論文/発表募集をお御送りいたします． PPL 2023では，理論・実装を問わず，プログラミングおよびプログラミング言語に関する発表・論文を広く募集しております．なお，今年の PPL 2023 は通常の研究会方式でのハイブリッド開催を予定しております．どうぞ発表・投稿をご検討いただけますと幸いです． PPL 2023 プログラム共同委員長（ppl2023-pc-chair(a)jssst-ppl.org) 松田一孝（東北大学）小宮常康（電気通信大学） ================================================== 第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023) 論文募集/発表募集主催：日本ソフトウェア科学会プログラミング論研究会日程：2023年3月6日（月）-- 3月8日（水）会場：名古屋大学およびオンラインのハイブリッド開催 URL ：https://jssst-ppl.org/workshop/2023/ ** 重要な日程 ** カテゴリ1：発表申込締切 2022年12月23日（金）17:00 (JST) 論文提出締切 2023年 1月 6日（金）17:00 (JST) 採否通知　　 2023年 1月30日（月）カテゴリ2：発表申込締切 2023年 1月20日（金）17:00 (JST) 採否通知　　 2023年 1月31日（火）カテゴリ3：発表申込締切 2023年 2月 1日（水）17:00 (JST) 採否通知　　 2023年 2月 3日（金）カテゴリ4：発表申込締切 2023年 1月20日（金）17:00 (JST) 採否通知　　 2023年 1月31日（火） ** PPL 2023 の開催形式について ** PPL 2023 は，通常の研究会形式での，対面を中心としたハイブリッド開催を予定しています．以前の PPL は合宿形式で開催しておりましたが，COVID-19 の影響により，当初の計画こそ PPL 2020，PPL 2021 および PPL 2022 は対面開催でしたが，結果として PPL 2020は現地開催を緊急中止することになり，PPL 2021 および PPL 2022 は完全オンライン実施となりました．今回の PPL 2023 では，対面形式の開催への最初のステップとして，合宿形式ではなく，通常の研究会形式での開催を採用することとなりました． PPL 2023 では，かつての合宿形式で実現されていたカジュアルかつインフォーマルな意見交換や交流の場に近付けるためにも，発表者は原則対面でご参加いただくことを考えております．しかしながら，COVID-19 状況下でより広範な方々に研究の議論にご参加いただくためにも，オンラインでも参加者に非同期・同期的な聴講および質疑の場を提供する予定です．なお，ポスター・デモ発表のセッションにつきましては，全てのポスター・デモ発表について対面での発表を基本とすることを計画しております．なお，状況によっては完全オンラインでの開催へ移行する可能性もあります．開催形式の変更に関する判断は，少なくともワークショップ開催の 2ヶ月前までを目処に行う予定です．開催に関する詳しい動向は随時 Web ページ等で公開します． ** PPL 2023 とは ** PPL 2023 は，プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果や新たな研究課題の提案・討論・アイディア交換を行うことを目的とした研究集会です．代表的なトピックは以下のようなものですが，これらに限らず，プログラミングやプログラミング言語に関する内容であれば，基礎理論・実装技術の研究からソフトウェアやツールの実現に至るまで，幅広く受け入れます．基礎理論：意味論，ラムダ計算，型理論，項書き換え，形式論理と証明，形式　　　　　言語とオートマトン，圏論，チューリング機械，アルゴリズムなど言語デザイン：各種プログラミングパラダイム（オブジェクト指向・関数型・　　　　　　　論理型・アスペクト指向，その他あらゆるパラダイムを含む），　　　　　　　モジュール化，メタプログラミング，並行・並列・分散計算，　　　　　　　型システム，言語や言語システム等の相互運用，領域限定言語　　　　　　　など言語処理系技術：コンパイラ，インタプリタ，実行時システム，仮想機械，プ　　　　　　　　ログラム最適化，プログラム解析，プログラム変換，メモリ　　　　　　　　管理などプログラミング補助：プログラム検証器，デバッガ，プロファイラ，統合開発　　　　　　　　　　環境，プログラム合成，リファクタリングなどケーススタディ：ソフトウェア開発報告，プログラミング技法，ツールの紹介　　　　　　　　など応用：システムソフトウェア，Webシステム，データベースシステム，数値計　　　算，ユーザーインタフェース，セキュリティ，プログラミング教育，人　　　工知能・機械学習など ** 発表募集カテゴリ ** 以下の4カテゴリの研究発表を募集します．カテゴリ1：国内外未発表論文カテゴリ2：国際既発表論文カテゴリ3：ポスター・デモ発表カテゴリ4：サーベイ・チュートリアルカテゴリ1 では，国内外で未発表の論文発表を募集します．PPL での議論をもとに研究を発展させ，国際会議や学術論文誌への投稿につなげることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的なものとします．参加者相互で実りある議論ができるような，発展途上の研究を特に歓迎します．複数名の査読者による研究の発展性・重要性・根拠の確かさ・説明の明瞭さの評価をもとにプログラム委員会で議論し，採否を判断します．特に以下の点にご注意ください．・理論的な研究については，形式化の明瞭さと正しさが重要です．論文中に明　示してあれば証明等が未完成でも構いませんが，証明等について議論できる　程度の完成度は求められます．・実装技術の研究については，手法の妥当性や評価が重要です．論文中に明示　してあれば実装や実験が未完成でも構いませんが，上記の点を議論できる程　度の完成度は求められます．・ソフトウェアやツールの実現に関する研究については，その有用性やデザイ　ンチョイスが明瞭であることが重要です．論文中に明示してあれば実装が未　完成でも構いませんが，上記の点を議論できる程度の完成度は求められます．カテゴリ2 では，国際会議や国際学術論文誌等で発表された，または採録決定済みの，研究成果の紹介を募集します．PPL との関連性，プログラム全体のバランス，発表された媒体等をもとにプログラム委員会で議論し，採否を判断します．カテゴリ3 では，PPL に関連する内容（未発表・既発表いずれでも構いません）についてのポスター発表を募集します．萌芽的なアイデアの紹介やツールのデモンストレーションなども歓迎します．PPLとの関連性・プログラム全体のバランスをもとに，プログラム委員による議論によって採否を判断します．カテゴリ4 では，研究動向の紹介・分野間の相互理解・ツールのチュートリアルなど，PPL の聴衆にとって有益な学術知識の紹介を募集します．未発表・既発表の別を問いません．PPL との関連性，内容の重要性，発表者の経歴，プログラム全体のバランス等をもとにプログラム委員会で議論し，採否を判断します．カテゴリ1 の採択論文の中から，特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です．さらに，カテゴリ1・2・4 の全発表のなかから最も聴衆の支持を集めたものに発表賞，カテゴリ3 の全発表のなかから最も聴衆の支持を集めたものにポスター賞を授与する予定です（いずれも一般の部・学生の部の 2種類，ただし「発表賞」は既受賞者を除く）． ** プログラム委員会 ** プログラム共同委員長　小宮常康（電気通信大学）プログラム共同委員長　松田一孝（東北大学）安部達也　（千葉工業大学）荒堀喜貴　（東京工業大学）上里友弥　（ドワンゴ）紙名哲生　（大分大学）川端英之　（広島市立大学）佐々木晃　（法政大学）篠埜功　　（芝浦工業大学）佐藤亮介　（東京大学）佐藤哲也　（東京工業大学）関山太朗　（国立情報学研究所）滝本宗宏　（東京理科大学）千代英一郎（成蹊大学）対馬かなえ（国立情報学研究所）中田景子　（SAP Innovation Center Potsdam）西田直樹　（名古屋大学）星野直彦　（崇城大学）堀江倫大　（日本IBM）松崎公紀　（高知工科大学）水島宏太　（オプト）南出靖彦　（東京工業大学）山田晃久　（産業技術総合研究所）結縁祥治　（名古屋大学）横山哲郎　（南山大学）横山大作　（明治大学） ** 組織委員会 ** 組織委員長　　　　　　　今井敬吾（岐阜大学）組織副委員長　　　　　　新屋良磨（秋田大学）財務担当　　　　　　　　森口草介（東京工業大学）財務副担当　　　　　　　和賀正樹（京都大学）会場担当　　　　　　　　橋本健二（名古屋大学）会場副担当　　　　　　　謝　昊辰（Kotoi-Xie Consultancy, Inc.）会場副担当　　　　　　　叢　悠悠（東京工業大学）渉外担当　　　　　　　　宋　剛秀（神戸大学）プログラム共同委員長　　松田一孝（東北大学）プログラム共同委員長　　小宮常康（電気通信大学）前プログラム共同委員長　稲葉一浩（Google）前プログラム共同委員長　江本健斗（九州工業大学） ** 問い合わせ先 ** ・ワークショップ全般について　組織委員会：ppl2023-oc(a)googlegroups.com ・発表/プログラムについて　プログラム共同委員長：ppl2023-pc-chair(a)jssst-ppl.org

1 0

SLACS2022 (9月20日～21日) 講演・参加募集のお知らせ
by Daisuke Kimura 29 Aug '22

29 Aug '22

皆様， (複数のメイリングリストに送信しています。重複して受信の際はご容赦ください) 東邦大学の木村です． SLACS2022の参加案内と講演募集を以下の通り行います．ぜひご検討をよろしくお願いいたします．第39回記号論理と情報科学研究集会 (SLACS2022) https://sites.google.com/view/slacs2022/ 開催期間：2022年9月20日(火)から2022年9月21日(水) 開催形式：対面(東邦大学)＋オンライン(Zoom) 参加費：無料連絡先：kmr(a)is.sci.toho-u.ac.jp 参加および講演申込方法：講演・聴講を希望される方は、以下のフォームからお申し込みください． https://docs.google.com/forms/d/e/1FAIpQLSeEy-tjXThGZEoLZvfSklt9tqSLOcJFGm3… 参加形態は聴講・講演は共に現地および Zoom のお好きな方を選択できます．参加申し込みは開催前日まで受け付けます．プログラム作成の都合上，講演の申し込みは以下までにお願い致します ** 2022年9月12日(月) ** (タイトルや概要は後日変更もできますので，講演の意思があることだけでもお伝えいただければ幸いです)． SLACS2022 幹事木村大輔 (東邦大学) ======================================================= SLACSとは以下はSLACSのページの冒頭からの抜粋です。 http://www.math.s.chiba-u.ac.jp/SLACS/ 「SLACS（スラックス）は，記号論理学と情報科学の境界領域に関する研究発表・研究討論の場を提供することを目的にして開催されている研究集会です． 1985年1月に第１回が開催されて以来，毎年１回のペースで開催されています． SLACS は，堅苦しい研究会ではなく，その年の幹事を中心とした参加者自らの手作りによるフレンドリーな雰囲気を持った集会です．気軽に発表できる場ですから，研究が進行中の話題を持ってきて議論したり，学生さんが発表する場としても適当です．もちろん，発展を続けるこの分野の最先端の研究テーマに関する発表も数多く聞くことができます．参加者の資格は問いませんので，原則として，どなたでも講演発表・聴講いただけます．発表はごく少数の例外を除いて日本語です．」より詳しい情報はSLACSのページや最近の開催情報をご確認ください。 SLACS2021（Zoom） https://sites.google.com/view/slacs2021/ SLACS2020（Zoom） https://sites.google.com/view/slacs2020/ SLACS2019（京都大学） https://sites.google.com/view/slacs-2019/home SLACS2018 (北海道大学) https://sites.google.com/view/slacs-2018/home SLACS2017 (千葉工業大学) http://super.para.media.kyoto-u.ac.jp/~abet/slacs2017/index.html SLACS2016 (名古屋大学) http://www.st.nanzan-u.ac.jp/info/sasaki/2016slacs/SLACS2016.html

1 0

18th TPP meeting (TPP 2022) - call for participation
by Takafumi Saikawa 22 Aug '22

22 Aug '22

Dear all, We are happy to announce that the 18th TPP meeting will take place in Eiheiji-cho, Fukui on September 29 - October 1st, 2022. The meeting is hybrid, so you can attend it online. Note that the meeting is co-located with the 57th TRS meeting. If you will join the meeting in-person, please quickly notify about that by an email to the organizers ** by September 5th. ** Online presentations can be registered until September 22. For the details, please visit the event page: https://t6s.github.io/tpp2022/ Your participation is most welcome! Best regards, Mizuhito Ovawa (JAIST), mizuhito(a)gmail.com Takafumi Saikawa (Nagoya University), tscompor(a)gmail.com 皆様第18回 TPP ミーティングの参加募集の案内をお送り致します。ミーティングは福井県永平寺町にて開催されますが、オンラインでの参加も可能となっております。また第57回 TRS meeting の後に連続開催されます。皆様、奮ってご参加下さい。現地参加ご希望の方は、**９月５日までに** 幹事へメールにてご一報ください。オンライン発表の申し込み期限は９月２２日です。詳細についてはイベントページをご覧ください： https://t6s.github.io/tpp2022/ 小川瑞史 (JAIST), mizuhito(a)gmail.com 才川隆文 (名古屋大学), tscompor(a)gmail.com

1 0

PPL サマースクール 2022「計算効果入門 ― プログラミングから理論まで ―」のご案内
by Hiroshi UNNO 01 Aug '22

01 Aug '22

# 重複して受けとられた方はご容赦ください皆様、筑波大の海野と申します。日本ソフトウェア科学会第39回大会 (https://jssst2022.wordpress.com/) 併設のイベントとして 8月30日（火）にオンラインで開催予定のPPLサマースクール2022「計算効果入門 ― プログラミングから理論まで ―」についてご案内いたします。参加申し込みサイトはまだ準備中ですが、近日中に下記リンク先で公開予定です。 https://jssst2022.wordpress.com/participation/ 一流の講師陣による講義を、参加費無料で受けられるサマースクールです。多数のご参加をお待ちしております。 --- http://ppl.jssst.or.jp/index.php?ss2022 PPLサマースクール2022 「計算効果入門 ― プログラミングから理論まで ―」2022年8月30日(火) 10時-17時（予定）オンライン開催 # 概要プログラムは実行中に入出力、記憶装置のアクセス、乱数のサンプル、ジャンプなど、単なる値の計算として捉えられない様々な動作をする。それらは総称して計算効果(computational effect)と呼ばれる。多様な計算効果を統一的に扱うべく、80年代後半にMoggiはモナドによるモデルを提唱した。このモデルはプログラムの挙動の理解に進歩をもたらした他、新しいプログラミング機構の導入にもつながっている。Haskellのモナド、call/ccなどの制御演算子、そして近年試験的に実装されている代数的エフェクトとエフェクトハンドラはその例である。本サマースクールでは情報系の学部４年生・大学院生および大学・企業の研究者を主な対象とし、3名の講師が計算効果のプログラミングから理論まで、様々な話題を紹介する。受講にあたっては型付きラムダ計算、論理学、集合・関数に関する学部程度の知識を前提とする。 # 講師紹介（発表順）勝股審也国立情報学研究所・特任准教授およびERATO蓮尾メタ数理システムデザインプロジェクト・研究総括補佐。2005年エジンバラ大学 Ph. D。研究テーマはプログラミング言語とシステムの意味論、およびプログラム検証の数理的基盤を研究している。叢悠悠東京工業大学情報理工学院数理・計算科学系助教。2019年お茶の水女子大学大学院博士後期課程修了。限定継続の型システムや、制御演算子・代数的効果の関係に興味を持つ。関山太朗国立情報学研究所アーキテクチャ科学研究系・助教。2016年京都大学 Ph.D。プログラミング言語理の型システムやプログラム検証に関する研究に従事。 # プログラム（予定） 10:00 - 10:30 計算効果の導入 10:30 - 12:00 限定継続を使った計算効果プログラミング 12:00 - 13:30 昼休み 13:30 - 15:00 計算効果の推論技術 15:00 - 15:30 休憩 15:30 - 17:00 計算効果の数理モデル「計算効果の導入」（講師：勝股）計算効果とはプログラムの実行時に引き起こされる多様な振る舞いの総称であり、入出力、非決定的選択、例外処理、継続の扱い、確率的選択など多岐にわたる。このセッションでは計算効果がどのように定式化され、理論的・応用的に発展してきたかを概観する。「限定継続を使った計算効果プログラミング」（講師：叢）限定継続はさまざまな計算効果の表現に有用な概念である。本講義では、限定継続の基本的な考え方を説明し、代表的な応用例を紹介する。また、限定継続を扱うことのできる言語を用いたプログラミング演習も行う予定である。「計算効果の推論技術」（講師：関山）プログラムを正しく理解・検証するためにはプログラムがどのような計算効果を引き起こすかを推論することが重要となる。本講義では(型システムを中心に)計算効果のためのプログラム推論技術について紹介する。「計算効果の数理モデル」（講師：勝股） Moggiは80年代後半に計算効果の数理的モデルとして圏論由来の構造であるモナドを使うことを提唱した。このセッションでは代数の観点からモナドを導入する。そしてモナドを用いたプログラミング言語の表示的意味論を紹介する。

1 0

57th TRS Meeting - call for on-site/online participation
by Nao Hirokawa 22 Jul '22

22 Jul '22

Dear all, We are happy to announce that the 57th TRS meeting will take place in Eiheiji-cho, Fukui on September 27 - 29, 2022. The meeting is hybrid, so you can attend it online. Note that the meeting is co-located with TPP 2022. The deadline for registration of the TRS Meeting is August 30 (Tue), 2022. Your participation is most welcome! Best regards, Nao Hirokawa & Mizuhito Ogawa (JAIST) 皆様第57回 TRS ミーティングの参加募集の案内をお送り致します。ミーティングは福井県永平寺町にて開催されますが、オンラインでの参加も可能となっております。また TPP 2022 と連続開催されます。皆様、奮ってご参加下さい。参加申し込み期限は８月３０日です。廣川・小川 (JAIST) ====================================================================== CALL FOR PARTICIPATION 57nd TRS Meeting September 27 - 29, 2022, Eiheiji-cho, Fukui, Japan https://www.jaist.ac.jp/~hirokawa/trs-meeting/original/57.html ====================================================================== The Term Rewriting Meeting (TRS Meeting) is a biannual informal workshop that aims at promoting the research on rewriting and related areas. Participants are requested to give a talk of approximately 15 to 60 minutes in English on their research activities. The subject of the talk is not required to be one's original result; for example, explaining an interesting paper is perfectly OK. See also: http://www.jaist.ac.jp/~hirokawa/trs-meeting/ * Basic information Dates: Sep 27 (Tue) 14:00 - Sep 29 (Thu) 12:00, 2022 Style: Hybrid meeting Note: The meeting is co-located with TPP 2022. About on-site participation: - venue: Zen no Sato - Mirai (https://e-machidukuri.co.jp/mirai/) Suwama 4-11, Eiheijichou, Yoshidagun, Fukui, Japan - capacity: <= 15 participants. *First come, first served* So register now! - fee: tba (most likely ≤ 30,000 yen for 2 nights, including breakfasts and dinners.) About online participation: - meeting system: Webex - meeting URL: tba - fee: free * Registration Please send the following registration form to me <hirokawa(a)jaist.ac.jp> by August 30 (Tue), 2022. ---------------------------------------------------------------------- Registration Form of the 57th TRS Meeting Name: Affiliation: participation: [on-site / online] If you choose on-site, please leave one: [Male / Female] Title of talk (*): Duration of talk (*): Requests/comments (on foods, partial participation, etc.): ---------------------------------------------------------------------- The items marked with * can be sent later.

1 0

数学基礎論サマースクール2022のご案内
by Ikuo Yoneda 20 Jul '22

20 Jul '22

メーリングリストの皆様徳山高専の米田郁生です．今年のサマースクールのテーマは「モデル理論」で， 9/7（水）の午後, 9/8（木）の午前と午後， 9/9（金）の午前の３日間でZOOM開催致します． HPはこちらです． https://sites.google.com/view/kisoronsummerschool2022/home 入門から始まりますので，初心者の方も是非ご参加ください．詳しい時間割は決まり次第，ご案内致します．どうぞよろしくお願い致します．

1 0

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

19 Jul '22

皆様，東北大学の横山です．以下の通りセミナーを開催いたします．オンライン開催で，どなたでもご参加できますので，ご興味がありましたら是非お越しください． https://sites.google.com/view/sendai-logic/ (セミナーのリンク等は yudai.suzuki.q1(at)dc.tohoku.ac.jp までご連絡ください．) 日時: 7月21日15:00〜(オンライン開催) 講演者：倉橋太志 (神戸大) 題目：全ての証明可能性論理の共通部分概要：理論 T の証明可能性述語を様相演算子 □ とみたときに，T において証明可能な様相論理式全体の集合をその証明可能性述語の証明可能性論理という．導出可能性条件を満たす証明可能性述語の証明可能性論理が GL と一致するという Solovay の定理が知られているが，他方，例えば証明可能性論理が最小の正規様相論理 K になるような証明可能性述語が存在することなども分かっている．今回は証明可能性論理の分析対象を非正規様相論理に拡張する研究の一環として，全ての証明可能性論理の共通部分に注目し，それが Fitting, Marek, and Truszczyński の非正規様相論理 N に一致することを紹介する．どうぞよろしくお願いいたします．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 keita.yokoyama.c2(a)tohoku.ac.jp

1 0

教員公募のお知らせ
by Satoru Kuroda 14 Jul '22

14 Jul '22

logic-ml のみなさま，群馬県立女子大学文学部では，2023年度4月より文化情報学科が開設されるのに伴い，情報学分野の専任教員1名を募集しております．研究領域は情報学（情報学基礎理論、ウェブ情報学、知能情報学、感性情報学等をバックグラウンドとするもの）となっています．詳細についてはJREC-IN https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=1&id=D122070907&ln_jor=0 もしくは大学ウェブサイト https://www.gpwu.ac.jp/inf/emp/emp_02/post_307/index.html をご覧ください．お近くに適任の方がおられましたら，お知らせいただければ幸いです． -- Satoru Kuroda Gunma Prefectural Women's University

1 0

RIMS Set Theory Workshop 2022 のご案内
by Hiroshi SAKAI 09 Jul '22

09 Jul '22

皆様：神戸大学の酒井拓史と申します．今年度の RIMS 集合論研究集会の幹事をしております．よろしくお願いいたします．今年度の RIMS 集合論研究集会は以下のように開催します． RIMS Set Theory Workshop 2022 日程：10月25日(火) — 28日(金) 実施形態：ハイブリッド形式（RIMS & Zoom） web page: https://sites.google.com/view/rimssettheory2022/home <https://sites.google.com/view/rimssettheory2022/home> 講演希望（Abstract Submission）および参加登録（Registration）は上記ホームページにあるフォームでしていたくだことにしており，以下のように締め切りを設定しております． - 講演希望：9月10日(土) まで - 参加登録：10月15日(土) までご不明な点やご要望がありましたら，遠慮なくご連絡ください．皆様の奮ってのご参加をお待ちしております．また，周りにご興味を持ちそうな方がいらっしゃれば，周知していただけますと幸いです．よろしくお願いいたします．酒井拓史

1 0

教員（助教１名）公募のお知らせ
by FUJITA Hiroshi 09 Jul '22

09 Jul '22

Logic-MLのみなさま、こんにちは。愛媛大学の藤田です。愛媛大学大学院理工学研究科では, 下記の通り助教の公募を行うこととなりました。関係者にご周知いただくと共に，適任者をご存知の場合には応募をお勧めいただきますようお願い申し上げます。募集人員: 助教１名所属部門: 愛媛大学大学院理工学研究科数理物質科学専攻数理科学講座専門分野: 広い意味での幾何学着任時期: 令和5年１月１日以降，令和５年４月１日までのできるだけ早い時期公募締切: 令和4年９月16日（金）必着詳細につきましては, 以下のページをご覧ください。 https://www.ehime-u.ac.jp/tp_20220707_kyoinkobo-sci/ よろしくお願い申し上げます。愛媛大学大学院理工学研究科藤田博司

1 0

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

07 Jul '22

皆様，東北大学の横山です．以下の通りセミナーを開催いたします．オンライン開催で，どなたでもご参加できますので，ご興味がありましたら是非お越しください． https://sites.google.com/view/sendai-logic/ (セミナーのリンク等は yudai.suzuki.q1(at)dc.tohoku.ac.jp までご連絡ください．) 日時: 7月5日15:00〜(オンライン開催) 講演者：井野海 (The University of Manchester) 題目：分離的微分閉体の理論の基礎的な性質概要：分離閉体の微分的な類似として分離的微分閉体という新しいクラスの微分体を研究した。この理論は数理論理学の文脈において初等的であることが示され、これを SDCF と表記する。本研究は 1970 年代の標数 p の微分閉体の理論 DCFp に関する Carol Wood の仕事を一般化する形で行われ、この理論 SDCFp,εの基礎的な性質；量化記号消去、安定性、素モデルの存在などを確立したので紹介したい。どうぞよろしくお願いいたします．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 keita.yokoyama.c2(a)tohoku.ac.jp

1 1

SLACS2022 (9月20日～21日) 講演・参加募集のお知らせ
by Daisuke Kimura 04 Jul '22

04 Jul '22

皆様， (複数のメイリングリストに送信しています。重複して受信の際はご容赦ください) 東邦大学の木村です． SLACS2022の講演募集を以下の通り行います．ご検討をよろしくお願いいたします．第39回記号論理と情報科学研究集会 (SLACS2022) https://sites.google.com/view/slacs2022/ 開催期間：2022年9月20日(火)から2022年9月21日(水) 開催形式：対面(東邦大学)＋オンライン(Zoom) (感染状況により完全オンラインに移行する可能性はあります) 参加費：無料連絡先：kmr(a)is.sci.toho-u.ac.jp 参加申込方法：講演・聴講を希望される方は、以下のフォームからお申し込みください． https://docs.google.com/forms/d/e/1FAIpQLSeEy-tjXThGZEoLZvfSklt9tqSLOcJFGm3… ======================================================= SLACSとは以下はSLACSのページの冒頭からの抜粋です。 http://www.math.s.chiba-u.ac.jp/SLACS/ 「SLACS（スラックス）は，記号論理学と情報科学の境界領域に関する研究発表・研究討論の場を提供することを目的にして開催されている研究集会です． 1985年1月に第１回が開催されて以来，毎年１回のペースで開催されています． SLACS は，堅苦しい研究会ではなく，その年の幹事を中心とした参加者自らの手作りによるフレンドリーな雰囲気を持った集会です．気軽に発表できる場ですから，研究が進行中の話題を持ってきて議論したり，学生さんが発表する場としても適当です．もちろん，発展を続けるこの分野の最先端の研究テーマに関する発表も数多く聞くことができます．参加者の資格は問いませんので，原則として，どなたでも講演発表・聴講いただけます．発表はごく少数の例外を除いて日本語です．」より詳しい情報はSLACSのページや最近の開催情報をご確認ください。 SLACS2021（Zoom） https://sites.google.com/view/slacs2021/ SLACS2020（Zoom） https://sites.google.com/view/slacs2020/ SLACS2019（京都大学） https://sites.google.com/view/slacs-2019/home SLACS2018 (北海道大学) https://sites.google.com/view/slacs-2018/home SLACS2017 (千葉工業大学) http://super.para.media.kyoto-u.ac.jp/~abet/slacs2017/index.html SLACS2016 (名古屋大学) http://www.st.nanzan-u.ac.jp/info/sasaki/2016slacs/SLACS2016.html

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml