Logic-ml January 2022

12 participants
13 discussions

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

15 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

POPL 2022 Virtual Workshop
by Youyou Cong 26 Jan '22

26 Jan '22

みなさま、東京工業大学の叢です。今週末に開かれる POPL 2022 Virtual Workshop の案内をお送りいたします。本会議は日本から参加しづらいスケジュールでしたが、このワークショップにはアジア向けの招待講演や交流イベントなどが用意されています。ぜひご参加ください。叢悠悠 The in-person POPL 2022 conference week just wrapped up, but its separate virtual supplement is about to begin! We are planning two days of high-interaction online events, scheduled to be accessible across time zones. Please consider attending, regardless of whether you participated in last week's hybrid events. We have a number of plenary sessions and networking opportunities planned; see below for details. Check out the web site for the virtual workshop: https://popl22.sigplan.org/track/POPL-2022-virtual-workshop <https://urldefense.com/v3/__https://popl22.sigplan.org/track/POPL-2022-virt…> There are two ways to participate. The less-interactive way is to watch a YouTube stream, which will be embedded in the page above, closer to the event. The second way is to register for POPL and join in the Airmeet virtual-conference software: https://regmaster.com/2022conf/POPL22/register.php <https://urldefense.com/v3/__https://regmaster.com/2022conf/POPL22/register.…> Registrations from hybrid POPL Week also grant access to the virtual workshop, using the same Airmeet software. Those who want the full virtual-workshop experience but didn't register for hybrid POPL Week can still register at the relatively low virtual-only rate. What's happening at the virtual workshop? Hang out in the Lounge section of Airmeet, to video-chat with authors of POPL Week papers or discuss whatever's on your mind. Join a speed-networking session to be randomly matched with others on complementary sides of four divides: POPL sponsor companies chatting with job seekers, faculty chatting with prospective faculty and PhD students, mentors chatting with junior-faculty mentees, and mentors chatting with senior-PhD-student and postdoc mentees. If a short conversation reveals that an even longer conversation is called for, use Airmeet's "private meetings" feature to schedule something that becomes integrated into your personal view of the workshop schedule (or use your own out-of-band mechanism, of course). Then there are the plenary sessions, designed to be interactive, with speakers taking live questions and adjusting demos accordingly. In our first keynote, Lukasz Kaiser <https://urldefense.com/v3/__https://www.linkedin.com/in/lukaszkaiser/__;!!I…> from OpenAI <https://urldefense.com/v3/__https://openai.com/__;!!IBzWLUs!Hk1Guf8dMsuaTHI…> will present their Codex <https://urldefense.com/v3/__https://en.wikipedia.org/wiki/OpenAI_Codex__;!!…> system, including an interactive demo and Q&A. This is the programming-by-machine-learning system that has so many people excited lately! Our second keynote is from Andreas Rossberg <https://urldefense.com/v3/__http://people.mpi-sws.org/*rossberg/__;fg!!IBzW…>, who is a lead designer of the formal semantics for WebAssembly <https://urldefense.com/v3/__https://webassembly.org/__;!!IBzWLUs!Hk1Guf8dMs…>, in addition to playing other key roles in the design and support of that language, meant to be the ideal cross-platform compiler target for the web and more. He will tell us about the social and technical sides of that effort. If you haven’t already, you might want to consider targeting WebAssembly from your next research compiler! In our first tutorial, Hakjoo Oh <https://urldefense.com/v3/__http://prl.korea.ac.kr/*pronto/home/__;fg!!IBzW…> will teach us how to bring machine-learning tools into program-analysis research. Our second tutorial is Rustan Leino <https://urldefense.com/v3/__http://leino.science/__;!!IBzWLUs!Hk1Guf8dMsuaT…> showing off some of the more advanced features of his Dafny <https://urldefense.com/v3/__https://github.com/dafny-lang/dafny__;!!IBzWLUs…> verification tool. Our first panel is on *the future of proof assistants for programming languages and math*, featuring Kevin Buzzard <https://urldefense.com/v3/__https://www.imperial.ac.uk/people/k.buzzard__;!…> , Favonia <https://urldefense.com/v3/__https://favonia.org/__;!!IBzWLUs!Hk1Guf8dMsuaTH…> , Zhong Shao <https://urldefense.com/v3/__http://www.cs.yale.edu/homes/shao-zhong/__;!!IB…>, and Nicolas Tabareau <https://urldefense.com/v3/__https://tabareau.fr/__;!!IBzWLUs!Hk1Guf8dMsuaTH…> . Our second panel, on *the future of concurrency and parallelism*, features Stephanie Balzer <https://urldefense.com/v3/__http://www.cs.cmu.edu/*balzers/__;fg!!IBzWLUs!H…> , Jeehoon Kang <https://urldefense.com/v3/__https://cp.kaist.ac.kr/jeehoon.kang/__;!!IBzWLU…> , Keshav Pingali <https://urldefense.com/v3/__https://www.cs.utexas.edu/*pingali/__;fg!!IBzWL…>, and Ilya Sergey <https://urldefense.com/v3/__https://ilyasergey.net/__;!!IBzWLUs!Hk1Guf8dMsu…> .

1 0

CSCAT2022のご案内
by Kazuyuki ASADA 25 Jan '22

25 Jan '22

皆様、今年度のCSCATの幹事をしております東北大学の浅田です。 CSCAT 2022 は 3/9(水)--10(木) の日程でオンライン（zoom）で開催いたします。 CSCATの案内ページ https://sites.google.com/view/cscat2022 にプログラムなどの情報を随時掲載します。ご参加・ご発表を検討されている方は3/7までに上記ページにあるフォームからお申込をお願いいたします。皆様の参加をお待ち申し上げます。また、お知り合いの方で興味のございます方がいらっしゃいましたらお誘いいただけますと幸いです。 -- 浅田和之

1 0

Higher Category Lecture Series: A friendly introduction to ∞-categories by Yuki Maehara (Kyushu U)
by Yoshihiro Maruyama 24 Jan '22

24 Jan '22

Dear all, A series of introductory lectures on higher categories will be given online by Yuki Maehara, starting on 31 Jan (Mon), then every Mon and Thu, and finishing on 17 Feb (Thu), as per below. -- Title: A friendly introduction to ∞-categories Lecturer: Yuki Maehara (Kyushu U) Abstract: ∞-categories are to spaces what ordinary categories are to sets. This nicely summarises the basic idea of ∞-categories, but there is a large gap between this intuition and the definition(s) of ∞-category one finds in the literature. The aim of these lectures is to fill this gap by answering the following question: What do we really mean by "spaces", and what sort of things do we want to do with them? Lecture 1: Homotopy groups and Whitehead's theorem Lecture 2: Kan complexes Lecture 3: Model categories Lecture 4: Homotopy commutative vs homotopy coherent Lecture 5: Quasi-categories via spines Lecture 6: Quasi-categories via inner horns Schedule: 31 Jan (Mon) 4-5pm (AEDT/GMT+11) 3 Feb (Thu) 4-5pm (AEDT/GMT+11) 7 Feb (Mon) 4-5pm (AEDT/GMT+11) 10 Feb (Thu) 4-5pm (AEDT/GMT+11) 14 Feb (Mon) 4-5pm (AEDT/GMT+11) 17 Feb (Thu) 4-5pm (AEDT/GMT+11) Held online via zoom at: https://anu.zoom.us/j/87221396938?pwd=azgxQmJWWWhtTUFHUGdpcXE2MGp6QT09 No registration required. Webpage (with the same information as above): https://sites.google.com/view/higher-category/home Thanks and best regards, Yoshihiro -- Yoshihiro Maruyama Senior Lecturer, School of Computing, CECS, The Australian National University Canberra, ACT, 2601, Australia Contact: yoshihiro.maruyama(a)anu.edu.au

1 0

【参加募集】第 24 回プログラミングおよびプログラミング言語ワークショップ（PPL 2022）
by Ryoma Sin'ya 21 Jan '22

21 Jan '22

皆様（重複ご容赦ください），秋田大学の新屋です． 3 月 6 日（日）～ 8 日（火）にオンラインで開催される第 24 回プログラミングおよびプログラミング言語ワークショップ（PPL 2022）の参加登録を開始いたしましたのでご案内いたします．多くの方々のご参加をお待ちしております．参加登録の締切は 2 月 28 日（月）23:00（JST）です．どうぞお早めのご登録をお願い致します．また，カテゴリ 3（ポスター・デモ発表）の発表申込締切が 2 月 2 日（水）17:00（JST）となっております．こちらの投稿もあわせてご検討ください． -------------------------------------------------------------------------- 第 24 回プログラミングおよびプログラミング言語ワークショップ（PPL 2022） https://jssst-ppl.org/workshop/2022/ <https://jssst-ppl.org/workshop/2022/> 参加登録のご案内主催：日本ソフトウェア科学会プログラミング論研究会日程：2022 年 3 月 6 日（日）～ 8 日（火）会場：オンライン（Zoom, Gather, Slack） PPL 2022 はプログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果や新たな研究課題の提案・討論・アイディア交換を行うことを目的とした研究集会で，昨年度と同様 Zoom と Gather および Slack を利用したオンライン開催を予定しております．参加登録を学会支援機構のウェブサービスにて受け付けております．参加費および参加登録方法については次のウェブページをご参照ください． https://jssst-ppl.org/workshop/2022/registration.html <https://jssst-ppl.org/workshop/2022/registration.html> 参加登録締切：2022 年 2 月 28 日（月）23:00（JST）問い合わせ先： ppl2022-oc(a)googlegroups.com <mailto:[email protected]>（ワークショップ全般について） ppl2022-pc-chair(a)jssst-ppl.org <mailto:[email protected]> （発表/プログラムについて） ================================================================ ・プログラム委員会稲葉一浩　（Google）　　 [プログラム共同委員長] 江本健斗　（九州工業大学）[プログラム共同委員長] 青戸等人　（新潟大学）石崎一明　（日本IBM）今井敬吾　（岐阜大学）勝股審也　（国立情報学研究所）菊池健太郎（東北大学）倉光君郎　（日本女子大学）小宮常康　（電気通信大学）酒寄健　　（Università di Bologna）佐藤重幸　（東京大学）佐藤亮介　（東京大学）澄川靖信　（拓殖大学）宋　剛秀　（神戸大学）叢　悠悠　（東京工業大学）高野保真　（北里大学）千葉滋　　（東京大学）中澤巧爾　（名古屋大学）中正和久　（山口大学）中丸智貴　（東京大学）橋本健二　（名古屋大学）日高宗一郎（法政大学）藤田憲悦　（群馬大学）前田敦司　（筑波大学）増原英彦　（東京工業大学）室屋晃子　（京都大学）・組織委員会新屋良磨（秋田大学）[組織委員長] 関山太朗（国立情報学研究所）[組織副委員長] 和賀正樹（京都大学）[財務担当] 山田晃久（産業技術総合研究所）[財務副担当] 叢　悠悠（東京工業大学）[会場担当] 北川舞　 [会場副担当] 水島宏太（OPT, Inc.） [渉外担当] 稲葉一浩（Google）[プログラム共同委員長] 江本健斗（九州工業大学） [プログラム共同委員長] 上野雄大（新潟大学） [前プログラム共同委員長] 海野広志（筑波大学）[前プログラム共同委員長] ================================================================ 秋田大学　数理科学コース新屋良磨

1 0

第56回MLG数理論理学研究集会
by kawano.t.af 19 Jan '22

19 Jan '22

みなさまフェリス女学院大学の河野と申します第56回MLG数理論理学研究集会を以下の要領で開催させていただきます．日時：2022年3月14日(月) - 3月15日(火) 場所：オンライン開催参加方法など，詳細は https://sites.google.com/view/56thmlg/ をご覧ください． MLG数理論理学研究集会は，1971年開始された，この分野の多くの研究者が参加している50年以上続く研究集会です．成果を発表し合ったり，アイデアを交換したりと，ザックバランな雰囲気で行われています．数学の他分野や，広く数理科学，情報科学，哲学の方々や，外国からの研究者を迎えるなど，オープンに運営されています．今年度も多くのみなさまのご参加をお待ちしております．河野友亮 kawano.t.af(a)m.titech.ac.jp

1 0

研究員募集（京大・NII）
by Taro Sekiyama 17 Jan '22

17 Jan '22

# 重複してお受け取りの際はご容赦ください．みなさま，国立情報学研究所の関山です．形式検証やプログラミング言語研究の，IoT・セキュリティへの応用に興味をもつポスドク研究員を募集しています．お近くに興味のありそうな方がいらっしゃいましたらご紹介いただけますと幸いです．以下詳細となります． ----- CREST「S5基盤ソフト」領域におけるプロジェクト「形式検証とシステムソフトウェアの協働によるゼロトラストIoT」(研究代表者：国立情報学研究所竹房あつ子)において，プロジェクトの主たる共同研究者である五十嵐淳(京都大学情報学研究科)もしくは関山太朗(国立情報学研究所)とともに，ZT-IoTシステムのためのセキュリティポリシエンジンの研究やZT-IoTシステムを支える監視介入技術の研究に従事する，形式検証やプログラミング言語を専門としつつ，IoT・セキュリティへの応用に興味をもつポスドク研究員を募集します．職名: 特定研究員(京都大学)，特任研究員(国立情報学研究所) 募集人員: 若干名所属および勤務地: 京都大学大学院情報学研究科通信情報システム専攻(コンピュータソフトウェア分野) または国立情報学研究所アーキテクチャ科学研究系着任時期：2022年4月以降なるべく早い時期任期：実績に応じて年度ごとの更新(最長 2027年3月31日迄) 試用期間：機関の規定による勤務形態：裁量労働制（週 38 時間 45 分相当、1 日 7 時間 45 分相当）　　休日：土・日曜日、祝日、年末年始および夏季一斉休業日給与：月額36-55万円　　（機関の規定および本人の実績による．詳細は応相談.）手当：機関の規定による (なし(京都大学) / 通勤手当あり(国立情報学研究所)) 社会保険：文部科学省共済組合、厚生年金、雇用保険および労災保険に加入プロジェクト名：「形式検証とシステムソフトウェアの協働によるゼロトラストIoT」 (JST CREST 研究領域: 基礎理論とシステム基盤技術の融合によるSociety 5.0のための基盤ソフトウェアの創出 (S5基盤ソフト)) 応募についての詳しい情報は以下のJREC-IN Portalをご覧ください．京都大学: https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3&ln=1&id=D121122219&ln_jor=0 国立情報学研究所: https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3&ln=1&id=D122010021&ln_jor=0 その他お問い合わせは application-zt-iot [at] fos.kuis.kyoto-u.ac.jp 宛てに Subject: CREST Job Inquiry でお送りください． -- 関山太朗国立情報学研究所 sekiyama(a)nii.ac.jp

1 0

1月15日:３つのセッション "Discussion with Girard"　”Disagreement in logic"　"Interdisciplinary Studies
by Mitsu Okada 13 Jan '22

13 Jan '22

logic-mlのみなさま 1月15日につぎのような小さな学際的論理Zoom集会を予定しています。世界論理デー（1月14日）を記念して開催します。お気軽にご参加ください。事前登録については下のURLをご覧ください。この告知メールはご自由に転送していただいて構いません。投稿者岡田光弘峯島宏次（慶應義塾大学） ------------------------------------------------------------ ***世界論理デーを記念する３つのセッション*** Aspects of Logic Study Jan.15, 2022, 13:00-15:40 (日本時間 JST) Part 1: Discussion with Jean-Yves Girard ジラール氏に聞く Part 2: Disagreement in Logic and Reasoning 論理における不合意 Part 3: Interdisciplinary Studies 分野横断的話題 (Part 3-後半）高等教育と論理 An event organized as a "Disagreement in Logic and Reasoning" series event Information/Program to be updated For the past meeting information of WLD 2021, see here Webページ:事前登録受付中, free registration open now https://abelard.flet.keio.ac.jp/seminar/World_Logic_Day_2022/ The interdisciplinary and interuniversity research group on "Disagreement in logic and Reasoning" presents Logic Sessions on the occasion of World Logic Day 2022. (WLD was set by the UNESCO 2019 Conference with the proposal by CIPSH and DLMPST). Date Saturday, Jan. 15th, 2022, 13:00-15:30 JST Program (tentative) Part 1: Special Session: Discussing Some Fundamental Issues on Logic, Interview to Jean-Yves Girard and discussion Jean-Yves Girard, Research Director Emeritus (*), CNRS Part 2: Disagreement in Logic and Reasoning Introduction: Koji Mineshima, Mitsuhiro Okada (Keio University), and Kengo Okamoto (Tokyo Metropolitan University) Logic and AI: Revisiting the Systematicity Argument through Analyzing Neural Models on Monotonicity Inference: Hitomi Yanaka (The University of Tokyo) Disagreement in Counterfactuals (tentative title): Yuichiro Hosokawa (Gunma Prefectural women's University) Intuitionism vs. Formalism in Logic (tentative title): Yuta Takahashi (Ochanomizu University) The project was announced/launched on the WLD 2021 as an international, interdisciplinary and interuniversity project. We have some guest talks and project reports on this Session. Part 3: Interdisciplinary Approaches in Logic Studies of Inference of macaque, a neuro-scientific approach: Mineki Oguchi and Masamichi Sakagami (Tamagawa University) [脳科学グループ] Logic and Cognitive Science: Can we recognize logical concepts in images (as in natural language)?: Yuri Sato (The University of Tokyo) [認知科学グループ] Higher Education and Logic: Yuko Murakami (Rikkyo University) 論理教育についてのディスカッション主に日本語使用 Messages from guests Contact Host Organization: Global Research Center for Logic and Sensitivity of Keio University Contact address: logic[at]abelard.flet.keio.ac.jp ---

1 0

ERATO Project Colloquium by Aart Middeldorp (16:30-18:00 on Tuesday 25th January)
by Jeremy Dubut 11 Jan '22

11 Jan '22

** *Dear all,* * On Tuesday January 25th, Aart Middeldorp (University of Innsbruck, Austria) will give a talk, Polynomial Termination over N is Undecidable, for our project colloquium from 16:30. Further details can be found below. If you would like to attend, please register through the following Google form: https://forms.gle/6PoGNEfJVHLYDAdKA <https://forms.gle/6PoGNEfJVHLYDAdKA> We later send you a zoom link by an email (using BCC). For the latest information about ERATO colloquium / seminar, please see the webpage https://docs.google.com/document/d/1Qrg4c8XDkbO3tmns6tQwxn5lGHOrBON5LtHXXTp… . Jérémy Dubut (ERATO MMSD Colloquium Organizer) Email: dubut(a)nii.ac.jp -------Tuesday January 25th, 16:30-18:00 Speaker: *Aart Middeldorp (University of Innsbruck, Austria)* ** Title: *Polynomial Termination over N is Undecidable* Abstract: Using the undecidability of Hilbert's 10th problem, we present three different proofs of the undecidability of the problem whether the termination of a given rewrite system can be shown by a polynomial interpretation in the natural numbers. The talk is based on joint work with Fabian Mitterwallner. *

1 0

【カテゴリ2,3,4受付中、オンライン開催】第24回プログラミングおよびプログラミング言語ワークショップ (PPL 2022) 発表募集
by Kento EMOTO 10 Jan '22

10 Jan '22

皆様，（重複受信ご容赦ください） PPL 2022 (https://jssst-ppl.org/workshop/2022/) のカテゴリ2, 4 の締切まであと 2週間ほどとなりましたので，改めてご案内いたします： > カテゴリ2： > 発表申込締切 2022年 1月21日（金）17:00 (JST) > カテゴリ3： > 発表申込締切 2022年 2月 2日（水）17:00 (JST) > カテゴリ4： > 発表申込締切 2022年 1月21日（金）17:00 (JST) COVID-19 の影響により，PPL 2022 は開催形式をオンラインへと移行いたしました．参加登録の開始は来週末頃を予定しております．多数のご発表・ご参加をお待ちしております．よろしくお願いいたします．稲葉一浩（Google）江本健斗（九州工業大学）（PPL 2022 プログラム共同委員長） ================================================== 第24回プログラミングおよびプログラミング言語ワークショップ (PPL 2022) 論文募集/発表募集主催：日本ソフトウェア科学会プログラミング論研究会日程：2022年3月6日（日）-- 3月8日（火）会場：オンライン（Zoom, Slack, Gather） URL ：https://jssst-ppl.org/workshop/2022/ ** 重要な日程 ** カテゴリ1：発表申込締切 2021年12月24日（金）17:00 (JST) 論文提出締切 2022年 1月 7日（金）17:00 (JST) 採否通知 2022年 1月31日（月）カテゴリ2：発表申込締切 2022年 1月21日（金）17:00 (JST) 採否通知 2022年 2月 1日（火）カテゴリ3：発表申込締切 2022年 2月 2日（水）17:00 (JST) 採否通知 2022年 2月 4日（金）カテゴリ4：発表申込締切 2022年 1月21日（金）17:00 (JST) 採否通知 2022年 2月 1日（火） ** PPL 2022 の開催形式について ** COVID-19 の影響により PPL 2022 は完全オンライン（Zoom, Gather, Slack）での開催といたします． ** PPL 2022 とは ** PPL 2022 は，プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果や新たな研究課題の提案・討論・アイディア交換を行うことを目的とした研究集会です．代表的なトピックは以下のようなものですが，これらに限らず，プログラミングやプログラミング言語に関する内容であれば，基礎理論・実装技術の研究からソフトウェアやツールの実現に至るまで，幅広く受け入れます．基礎理論：意味論，ラムダ計算，型理論，項書き換え，形式論理と証明，形式　　　　　言語とオートマトン，圏論，チューリング機械，アルゴリズムなど言語デザイン：各種プログラミングパラダイム（オブジェクト指向・関数型・　　　　　　　論理型・アスペクト指向，その他あらゆるパラダイムを含む），　　　　　　　モジュール化，メタプログラミング，並行・並列・分散計算，　　　　　　　型システム，言語や言語システム等の相互運用，領域限定言語　　　　　　　など言語処理系技術：コンパイラ，インタプリタ，実行時システム，仮想機械，プ　　　　　　　　ログラム最適化，プログラム解析，プログラム変換，メモリ　　　　　　　　管理などプログラミング補助：プログラム検証器，デバッガ，プロファイラ，統合開発　　　　　　　　　　環境，プログラム合成，リファクタリングなどケーススタディ：ソフトウェア開発報告，プログラミング技法，ツールの紹介　　　　　　　　など応用：システムソフトウェア，Webシステム，データベースシステム，数値計　　　算，ユーザーインタフェース，セキュリティ，プログラミング教育，人　　　工知能・機械学習など ** 招待講演 ** PPL 2022 では，以下のお二方の招待講演を予定しております．　古瀬淳氏　　「ブロックチェーンと形式検証～ Tezos の場合」　諏訪敬之氏　「静的型つき函数型組版処理システムSATySFiの紹介」 ** 発表募集カテゴリ ** 以下の4カテゴリの研究発表を募集します．カテゴリ1：国内外未発表論文カテゴリ2：国際既発表論文カテゴリ3：ポスター・デモ発表カテゴリ4：サーベイ・チュートリアルカテゴリ1 では，国内外で未発表の論文発表を募集します．PPL での議論をもとに研究を発展させ，国際会議や学術論文誌への投稿につなげることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的なものとします．参加者相互で実りある議論ができるような，発展途上の研究を特に歓迎します．複数名の査読者による研究の発展性・重要性・根拠の確かさ・説明の明瞭さの評価をもとにプログラム委員会で議論し，採否を判断します．特に以下の点にご注意ください．・理論的な研究については，形式化の明瞭さと正しさが重要です．論文中に明　示してあれば証明等が未完成でも構いませんが，証明等について議論できる　程度の完成度は求められます．・実装技術の研究については，手法の妥当性や評価が重要です．論文中に明示　してあれば実装や実験が未完成でも構いませんが，上記の点を議論できる程　度の完成度は求められます．・ソフトウェアやツールの実現に関する研究については，その有用性やデザイ　ンチョイスが明瞭であることが重要です．論文中に明示してあれば実装が未　完成でも構いませんが，上記の点を議論できる程度の完成度は求められます．カテゴリ1 で発表された研究のうち，PPL 2022 プログラム委員会により優れていると認められたものは， PPL 2022 終了後（2022年6月中旬投稿締切予定），「コンピュータソフトウェア」誌の PPL 2022 推薦論文として投稿が可能です．推薦論文は，PPL プログラム委員が引き続き査読を行うことによる，迅速な査読プロセスを特長としています．また，特集号の締切後であっても，推薦を受けた研究もしくはそれをさらに発展させた研究を PPL 推薦論文として「コンピュータソフトウェア」誌に投稿することが可能です．たとえば，PPL で発表した研究を国際会議等で発表した後，さらに発展させて推薦論文として投稿することができます．カテゴリ2 では，国際会議や国際学術論文誌等で発表された，または採録決定済みの，研究成果の紹介を募集します．PPL との関連性，プログラム全体のバランス，発表された媒体等をもとにプログラム委員会で議論し，採否を判断します．カテゴリ3 では，PPL に関連する内容（未発表・既発表いずれでも構いません）についてのポスター発表を募集します．萌芽的なアイデアの紹介やツールのデモンストレーションなども歓迎します．PPLとの関連性・プログラム全体のバランスをもとに，プログラム委員による議論によって採否を判断します．カテゴリ4 では，研究動向の紹介・分野間の相互理解・ツールのチュートリアルなど，PPL の聴衆にとって有益な学術知識の紹介を募集します．未発表・既発表の別を問いません．PPL との関連性，内容の重要性，発表者の経歴，プログラム全体のバランス等をもとにプログラム委員会で議論し，採否を判断します．カテゴリ1 の採択論文の中から，特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です．さらに，カテゴリ1・2・4 の全発表のなかから最も聴衆の支持を集めたものに発表賞，カテゴリ3 の全発表のなかから最も聴衆の支持を集めたものにポスター賞を授与する予定です（いずれも一般の部・学生の部の 2種類，ただし「発表賞」は既受賞者を除く）． ** 投稿・発表申込要領 ** すべてのカテゴリの投稿・発表について，以下のURLから申し込んでください．　https://easychair.org/conferences/?conf=ppl2022 申込にあたっては EasyChair のアカウントが必要となります．申し込み時に Easychair で入力する氏名・所属の情報は，プログラム作成に用いますので，参加者の便宜を考慮し，日本語が良いと考えられる場合には日本語での入力をお願いいたします．最新の情報は上記ウェブページでご確認ください．各カテゴリの申込要領の詳細は以下の通りです．カテゴリ1（国内外未発表論文） --------------------------- 投稿手続きは 2段階です．発表申込を行った上で論文提出を行ってください．発表申込: 　著者名，所属，論文タイトル，論文概要（日本語 300～400字程度，もしくは　英語 200語程度），キーワード（3つ以上）を提出してください．論文提出: 　本文 10～15ページ程度（参考文献を除く）の論文（日本語もしくは英語，　PDF 形式．PPL 2022 ウェブページにて指定のスタイルファイルを利用）を　提出してください．最大ページ数を超える付録は投稿版に入れることができ　ます（最終原稿においては削除いただく可能性があります）．著者の web 　page 等においてソースコードや実験データなどを載せて引用しても構いませ　ん．最大ページ数を超える付録や web page 等の情報については査読におい　て考慮されない場合もあります．採録された論文の最終原稿の提出方法は，採否通知にてお知らせします． (注) 採録された論文等著作物は，日本ソフトウェア科学会著作権規定にもとづいて利用されますので，予めご確認ください．また，採録された論文等著作物に対して著作権の譲渡を求めません． (注) 投稿論文と類似の論文を，他の会議（予稿集を出版するもの）・論文誌などに同時投稿する場合は，査読の有無に関わらず，その旨を発表申込および論文提出の際に明記してください．PPLでは同時投稿の事実のみをもって論文を不採録とすることはありませんが，採否の決定に利用する場合があります（他の会議との重複を避けるため，発表内容についての条件付採録とすることもあります）．カテゴリ2（国際既発表論文） ------------------------- 原論文（ページ数不問，PDF形式）と論文概要（テキスト形式）を，著者名，所属，論文タイトル，キーワード（3つ以上），原論文の出典（発表会議名，掲載済／予定の別等を含む）と併せて提出してください．また，その他プログラム委員会への連絡事項（PPL で発表することに関しての懸念，注意点，事情，要望等）があれば任意で提出してください．カテゴリ3（ポスター・デモ発表） ----------------------------- 希望する発表形態を明記して著者名，所属，発表タイトル，発表概要（200～ 300字程度），キーワード（3つ以上）を提出してください．発表形態については，投稿フォームで選択するとともに，発表タイトル（Title欄）の最後の部分に括弧（）に入れて，「ポスター」「デモ」「ポスター・デモ」のいずれかを記載してください．カテゴリ4 (サーベイ・チュートリアル) --------------------------------------- 著者名，所属，発表タイトル，キーワード（3つ以上），発表概要（3ページ以内，PDF 形式．目的，カバーする話題，想定する聴衆，必要な知識の記述を含むもの）を提出してください． ** プログラム委員会 ** 青戸等人　　新潟大学石崎一明　　日本 IBM 稲葉一浩　　Google (プログラム共同委員長) 今井敬吾　　岐阜大学江本健斗　　九州工業大学 (プログラム共同委員長) 勝股審也　　国立情報学研究所菊池健太郎　東北大学倉光君郎　　日本女子大学小宮常康　　電気通信大学酒寄健　　　Università di Bologna 佐藤重幸　　東京大学佐藤亮介　　東京大学澄川靖信　　拓殖大学宋剛秀　　　神戸大学叢悠悠　　　東京工業大学高野保真　　北里大学千葉滋　　　東京大学中澤巧爾　　名古屋大学中正和久　　山口大学中丸智貴　　東京大学橋本健二　　名古屋大学日高宗一郎　法政大学藤田憲悦　　群馬大学前田敦司　　筑波大学増原英彦　　東京工業大学室屋晃子　　京都大学 ** 組織委員会 ** 組織委員長　　新屋良磨　秋田大学組織副委員長　関山太朗　国立情報学研究所財務担当　　　和賀正樹　京都大学財務副担当　　山田晃久　産業技術総合研究所会場担当　　　叢悠悠　　東京工業大学会場副担当　　北川舞　　渉外担当　　　水島宏太　OPT, Inc. プログラム共同委員長　　稲葉一浩　Google プログラム共同委員長　　江本健斗　九州工業大学前プログラム共同委員長　上野雄大　新潟大学前プログラム共同委員長　海野広志　筑波大学 ** 問い合わせ先 ** ・ワークショップ全般について　組織委員会：ppl2022-oc(a)googlegroups.com ・発表/プログラムについて　プログラム共同委員長：ppl2022-pc-chair(a)jssst-ppl.org

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml January 2022