Logic-ml

9 participants
1781 discussions

「論理・代数系・言語と計算機科学の周辺領域」の講演募集、12/3申込締切
by Munehiro Iwami 19 Oct '21

19 Oct '21

皆様島根大学の岩見と申します。 RIMS研究集会をオンラインで実施します。参加･発表を検討して頂けると幸いです。参加のみも可です。学生の発表も歓迎します。 12月3日(金)までに岩見まで申し込んで下さい。 ------------------------------------------------------------ 研究者の皆様島根大学　岩見です。京都大学数理解析研究所RIMS共同研究(公開型)(旧称：RIMS研究集会) 「論理・代数系・言語と計算機科学の周辺領域」を下記の日程で開催いたします．研究領域については広い意味での計算機科学ととらえていただき，関連する講演を幅広く募集いたします．アイデア段階のものでも構いません．多くの研究者による活発な研究発表・討論の場にしたいと考えております．講演希望の方は以下の情報をご記入の上,2021年12月3日(金)までに研究代表者宛（munehiro(a)cis.shimane-u.ac.xn--jp)e-mail-yd4hsbg ご連絡ください．講演については，「英語による講演」あるいは「英語による発表資料」をお願いいたします． ■今年度はコロナウィルス感染症のため，Zoomによるオンライン開催とします． ■京都大学数理解析研究所では実施しませんので，注意してください． ■数理解析研究所からの旅費支給はありません．氏名（日本語および英語）所属・職　(学生(院生)の方は学年を明記してください）所属住所：連絡先（メールアドレス）講演題目（日本語および英語）講演時間（30分を標準とします）その他：講演日時についてご希望などがございましたらお書きください．ご希望に添えないことがあるかもしれませんがその場合はご容赦ください．また, 講演されずに聴講される方も歓迎します． (メールが届かないことがまれに発生しております．講演を申し込まれた方に, 確認のため申込後７日以内にご返信差し上げます．万一返信がない場合は, お手数ですがお問い合わせください．) ---------------------------------------------------------------------- 記論理・代数系・言語と計算機科学の周辺領域形式：オンライン(Zoom) 期間： 2022/02/16（水）～2022/02/18（金）代表者：岩見　宗弘 (島根大学総合理工学部) Logic, Algebraic system, Language and Related Areas in Computer Science Location：　Online(Zoom) Period:　2022-02-16 -- 2022-02-18 Organizer: Munehiro Iwami (Interdisciplinary Faculty of Science and Engineering, Shimane University) ---------------(申込みフォーマット)------------------------------------- 研究集会「論理・代数系・言語と計算機科学の周辺領域」に参加します：（Ｏ×）　氏名（日本語および英語）：　所属・職：所属住所：　連絡先（メールアドレス）：研究集会「論理・代数系・言語と計算機科学の周辺領域」で講演を希望します：（Ｏ×）　講演者：　講演題目（日本語および英語）：　講演時間（30分を標準とします）：その他：講演日時希望などがございましたらお書きください．ご希望にそえないことがあるかもしれませんがその場合はご容赦ください． ------------------------------------------------------------------------- -- 以上、よろしくお願い致します。岩見宗弘島根大学学術研究院理工学系 E-mail: munehiro(a)cis.shimane-u.ac.jp

1 0

[jssst-ppl] preliminary CfP: FLOPS 2022, Kyoto
by Atsushi Igarashi 05 Oct '21

05 Oct '21

皆様，(マルチポストご容赦ください) 京都大学の五十嵐です．関数型および論理プログラミングの国際会議 FLOPS 2022 の論文募集のご案内です．(以前にも流しましたが，プログラム委員が確定するなど多少情報量が増えております．) 来年５月に京都で開催予定です．皆様の投稿をお待ちしております． -- 五十嵐淳 (IGARASHI Atsushi) E-mail: igarashi(a)kuis.kyoto-u.ac.jp url: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/ ============================================================================ Call For Papers FLOPS 2022: 16th International Symposium on Functional and Logic Programming ============================================================================ In-Cooperation with ACM SIGPLAN May 10-12, 2022, Kyoto, Japan https://conf.researchr.org/home/flops-2022 Writing down detailed computational steps is not the only way of programming. The alternative, being used increasingly in practice, is to start by writing down the desired properties of the result. The computational steps are then (semi-)automatically derived from these higher-level specifications. Examples of this declarative style include functional and logic programming, program transformation and re-writing, and extracting programs from proofs of their correctness. FLOPS aims to bring together practitioners, researchers and implementors of the declarative programming, to discuss mutually interesting results and common problems: theoretical advances, their implementations in language systems and tools, and applications of these systems in practice. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming. *** Scope *** FLOPS solicits original papers in all areas of declarative programming: * functional, logic, functional-logic programming, rewriting systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers, verifying properties of programs using declarative programming techniques; * foundations, language design, implementation issues (compilation techniques, memory management, run-time systems, etc.), applications and case studies. FLOPS promotes cross-fertilization among different styles of declarative programming. Therefore, research papers must be written to be understandable by the wide audience of declarative programmers and researchers. In particular, each submission should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant for its area, and comparing it with previous work. Submission of system descriptions and declarative pearls are especially encouraged. *** Submission *** Submissions should fall into one of the following categories: * Regular research papers: they should describe new results and will be judged on originality, correctness, and significance. * System descriptions: they should describe a working system and will be judged on originality, usefulness, and design. * Declarative pearls: new and excellent declarative programs or theories with illustrative applications. System descriptions and declarative pearls must be explicitly marked as such in the title. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. See also ACM SIGPLAN Republication Policy, as explained at http://www.sigplan.org/Resources/Policies/Republication. Submissions must be written in English and can be up to 15 pages excluding references, though system descriptions and pearls are typically shorter. The formatting has to conform to Springer's guidelines. Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g., a link to an anonymized web page or an appendix, which does not count towards the page limit). However, it is the responsibility of the authors to guarantee that their paper can be understood and appreciated without referring to this supporting information; reviewers may simply choose not to look at it when writing their review. FLOPS 2022 will employ a double-blind reviewing process. To facilitate this, submitted papers must adhere to two rules: 1. author names and institutions must be omitted, and 2. references to authors' own related work should be in the third person (e.g., not "We build on our previous work..." but rather "We build on the work of..."). The purpose of this process is to help the reviewers come to a judgement about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult (e.g., important background references should not be omitted or anonymized). In addition, authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For instance, authors may post drafts of their papers on the web or give talks on their research ideas. Papers should be submitted electronically at https://easychair.org/conferences/?conf=flops2022 Springer Guidelines https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu… *** Proceedings *** The proceedings will be published by Springer International Publishing in the Lecture Notes in Computer Science (LNCS) series (www.springer.com/lncs). *** Important Dates *** Abstract submission: November 14, 2021 (AoE) Paper submission: November 21, 2021 (AoE) Notification: January 17, 2022 Camera ready due: February 17, 2022 Symposium: May 10-12, 2022 *** Program Comittee *** Andreas Abel Gothenburg University, Sweden Elvira Albert Universidad Complutense de Madrid Nada Amin Harvard Universuty, USA Davide Ancona Univ. Genova, Italy William Byrd University of Alabama, USA Matteo Cimini UMass Lowell, USA Youyou Cong Tokyo Institute of Technology, Japan Robert Glück University of Copenhagen, Denmark Makoto Hamana Gunma University, Japan Michael Hanus Kiel University (co-chair) Zhenjiang Hu Peking University, China Atsushi Igarashi Kyoto University, Japan (co-chair) Ekaterina Komendantskaya Heriot-Watt University, UK Shin-Cheng Mu Academia Sinica, Taiwan Koko Muroya Kyoto University, Japan Klaus Ostermann University of Tuebingen, Germany Ricardo Rocha University of Porto, Portugal Tom Schrijvers KU Leuven, Belgium Harald Sondergaard University of Melbourne, Australia Hiroshi Unno University of Tsukuba, Japan Niki Vazou IMDEA, Spain Janis Voigtlaender University of Duisburg-Essen, Germany Nicolas Wu Imperial College, UK Ningning Xie University of Hong Kong, China Jeremy Yallop University of Cambridge, UK Neng-Fa Zhou City University of New York, USA *** Organizers *** Michael Hanus Kiel University, Germany (PC Co-Chair) Atsushi Igarashi Kyoto University, Japan (PC Co-Chair, General Chair) Keigo Imai Gifu University, Japan (Local Co-Chair) Taro Sekiyama National Institute of Informatics, Japan (Local Co-Chair) *** Contact Address *** flops2022 _AT_ easychair.org -------------------------------------------------------------------------------

1 0

特任研究員等の公募
by Naoki Kobayashi 01 Oct '21

01 Oct '21

東京大学の小林と申します。以前に募集させていただきましたが、締め切りを延長して、再度、研究員の募集を致します。お近くに興味のありそうな方がいらっしゃいましたらご紹介いただければ幸いです。過去に高階モデル検査のプロジェクトについて研究員の募集をしましたが、今回は高階モデル検査に限らないプログラム検証手法全般、および機械学習との融合・応用も含む、広めのプロジェクト設定になっております。ご本人の能力・経験次第では特別な審査を経て特任助教または特任講師での採用または途中での職位変更も可能です。小林直樹東京大学大学院情報理工学系研究科コンピュータ科学専攻 ================ 公募　職名：特任研究員，特任助教，または特任講師　　　（ただし、特任助教および特任講師は、教育能力等についての審査もあり）　着任時期：2022年1月から2022年4月の間（数ヵ月の前後は応相談）任期：当初2年、業績評価を経て最長2025年3月まで延長可能　勤務場所：東京大学大学院情報理工学系研究科コンピュータ科学専攻　　　（ただし、本人の希望によっては，共同研究者の所属である京都大学への配置も可能）給与：月額38-55万円　　（大学の規定および本人の実績による．詳細は応相談.）プロジェクト名：AI時代を見据えたプログラム検証技術（科研費基盤研究S 20H05703）職務内容：高階モデル検査をはじめとするプログラム検証手法、機械学習技術のプログラム検証への応用、および機械学習を組み込んだシステムの検証等の研究に従事。特任助教、および特任講師の場合は研究指導の補助など教育等の業務にも従事。条件： - 着任時に博士号を取得していること - 理論計算機科学全般または機械学習技術に明るいこと． - 以下の中の１つ以上のトピックに詳しくプログラミング能力が高いか、　　　２つ以上のトピックに詳しいことモデル検査（特にソフトウェアモデル検査）型システムプログラム意味論プログラム解析・検証・変換オートマトンと形式言語理論自動定理証明計算量理論機械学習（ニューラルネット、強化学習、形式言語の学習理論など）応募方法： 2021年11月15日までに、小林（koba(a)is.s.u-tokyo.ac.xn--jp)cv(-kr3ed72gtgq362dt6ya 業績等を記載したもの）および抱負（1頁程度）、照会先情報（2名程度）をお送りください。問い合わせ先： koba(a)is.s.u-tokyo.ac.jp 　参考資料等：　　高階モデル検査およびそれに基づくプログラム検証の概要については以下の招待講演論文・講演を　　ご覧ください　　* Naoki Kobayashi, 10 Years of the Higher-Order Model Checking Project (Extended Abstract). PPDP 2019: 2:1-2:2 https://www-kb.is.s.u-tokyo.ac.jp/~koba/papers/ppdp19.pdf (talk: https://www.youtube.com/watch?v=smJhjuv9RYw ) * Naoki Kobayashi, An Overview of the HFL Model Checking Project, HCVS 2021 https://www-kb.is.s.u-tokyo.ac.jp/~koba/papers/hcvs21.pdf (talk: https://www.youtube.com/watch?v=lOY0Xw8i3zY ) 機械学習とプログラム検証・合成分野の融合についての研究はまだ始めたばかりですが最初の結果をまとめた以下の論文をご覧いただければ目指している方向がわかっていただけると思います * Naoki Kobayashi, Taro Sekiyama, Issei Sato, and Hiroshi Unno, Toward Neural-Network-Guided Program Synthesis and Verification. To appear in Proceedings of SAS 2021. (A preliminary version: https://arxiv.org/abs/2103.09414 ) ===================== -- Naoki Kobayashi Department of Computer Science Graduate School of Information Science and Technology The University of Tokyo 7-3-1 Hongo, Bunkyo-ku, Tokyo, 113-0033 Japan email: koba(a)is.s.u-tokyo.ac.jp

1 0

RIMS共同研究（公開型）「証明と計算の理論と応用」のご案内
by ikeda 29 Sep '21

29 Sep '21

（複数のメーリングリストにお送りしています．重複してお受け取りの際はご容赦ください）皆様 2021年度の証明論研究集会のご案内をお送りさせていただきます．今年度はRIMS共同研究(公開型)として，下記の要領で開催される予定です．新型コロナの感染拡大状況を鑑みて，現在のところハイブリッド型で開催する予定です．講演は証明論・計算論とその周辺を含めた分野から，幅広く募集しています．今回の研究集会では，東京大学数理科学研究科の新井敏康先生に招待講演をお願いしております．多くの皆様のご参加・ご講演をお待ちしています． --------------------------------------------------------------------------------- RIMS共同研究(公開型)「証明と計算の理論と応用」日時：2021年12月20日〜2021年12月22日場所：京都大学数理解析研究所111号室（講演者，代表者などコアメンバーのみ会場での参加が可能で，コアメンバー以外の参加者はZoomによる参加を想定してます．） Webページ：https://www.kyorin-u.ac.jp/univ/user/health/proof_theory/2021/ --------------------------------------------------------------------------------- 参加を希望される方は，11月15日(月) 17:00までに， ikedak[at]ks.kyorin-u.ac.jp宛に，以下の項目をご連絡ください．（講演されない方も11月15日（月）17:00までにご連絡ください．）・氏名：・大学等名：・部局等名（学部，研究科，研究所等）：・職名：・e-mailアドレス：・参加の仕方：　１．会場（数理解析研究所）　　２．遠隔　（どちらか一方を消してください）・講演の有無：　１．講演する　　２．講演しない　（どちらか一方を消してください）　（講演を希望される場合は，タイトルと講演時間や講演日等の希望をご連絡ください．）・旅費援助の希望の有無：　１．希望する　　２．希望しない　（どちらか一方を消してください．）（希望される場合は参加日程（例：12月20日〜12月21日）をご連絡ください．　　　また，申込状況によってはご希望に添えない場合があります．） ※上記の情報は京都大学数理解析研究所および次年度世話人に提供されます．杏林大学池田一磨 -- ikeda <ikedak(a)ks.kyorin-u.ac.jp>

1 0

QIT45のご案内
by NISHIMURA Harumichi 25 Sep '21

25 Sep '21

logic-mlの皆さま第45回量子情報技術研究会(QIT45)の会告を代理で投稿させていただきます．よろしくお願いいたします．名古屋大学大学院情報学研究科西村治道 -------------------------------------------------------------- 第45回量子情報技術研究会（QIT45）研究会の内容：情報科学と量子力学を融合させた新しい分野，量子情報科学に関する研究会です．情報を担う物理系の量子力学的側面を積極的に活かした新しい情報処理原理の研究とそこから開かれる新しい学問体系の構築および新しい情報技術パラダイムの創生を目指して，情報科学，物理学，光エレクトロニクスを含む理学，工学，数理科学に携わる研究者間に自由な討論の場を提供し，この研究分野の発展を図ることを目的としています．第45回研究会を下記のように開催いたします．現在この分野で活躍する研究者は勿論，自分の研究資産が何らかの形で使えそうだと予感している研究者・技術者など，広く関連する分野の研究者・技術者からの発表を募集致します．聴講のみの参加も歓迎致しますので，奮ってお申し込みください．なお，第38回研究会から学生発表賞を創設いたしました．応募方法等については，下記のQITウェブサイトをご確認下さい．日時：2021年11月30日(火)～2021年12月1日(水) （予稿集（電子版）は2021年11月29日（月）発行を予定）会場：オンライン（Zoomを予定）（参加に必要なURLは参加登録した方にお知らせします）発表募集分野（申し込み状況によっては査読の可能性あり）：量子情報，量子計算，量子暗号など広く量子情報技術に関わる理論的研究，実験的研究，計算機科学的研究，数学的研究，および，その他関連分野．定員：300名程度参加費：一般2,000円，学生1,000円 ※参加費は予稿集代（電子版）を含みます．参加された方は無料でオンライン懇親会に参加頂けます． ※11月19日（金）より後にお支払いの場合は11月26日（金）まで直前料金（+1,000円）で振り込みを受け付けます．これを過ぎますとご参加いただけませんのでご注意下さい．参加事前登録が期限に間に合わない場合も，直前料金となります．研究会参加申込要領：参加申込は下記 Web にて受付けます： https://www.ieice.org/es/qit/qit45/ 講演 (口頭，ポスター) の申込，予稿集原稿PDFの提出は，電子情報通信学会の Webシステムを使用する予定．各種締切：【口頭講演申込締切】 2020年10月22日（金）【ポスター講演申込締切】2020年11月12日（金）【予稿原稿提出締切】 2020年11月12日（金）【参加事前登録】 2020年11月19日（金）【参加費の銀行振込】 2020年11月19日（金）【問合せ先】山本俊 (大阪大学) 生田力三 (大阪大学) 小林俊輝 (大阪大学) 山下眞 (大阪大学) Email: qit45committee(a)qi.mp.es.osaka-u.ac.jp 主催：量子情報技術特別研究専門委員会（委員長：小芦雅斗（東京大学））共催：応用物理学会量子エレクトロニクス研究会大阪大学量子情報・量子生命研究センター（QIQB）

1 0

筑波大学数理物質系数学域の公募（助教）
by shioya 16 Sep '21

16 Sep '21

logic-ml の皆様筑波大学数理物質系数学域の公募に関しまして代理投稿いたします．（重複投稿をお詫びいたします．）どうぞよろしくお願いいたします．筑波大学数理物質系数学域塩谷真弘 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 筑波大学数理物質系数学域では以下の公募を開始いたしました。公募人員：助教１名　（テニュアトラック制　着任後5年以内にテニュア獲得審査）専門分野：数学（数理科学分野）公募締め切り：令和３年１１月５日（金）任用予定：令和４年４月１日詳細は https://nc.math.tsukuba.ac.jp/recruitment/ をご覧ください．数学・数理科学の広い範囲から募集しております。関係各位にお知らせいただくとともに，適任のかたに応募をお勧めいただきますよう，どうかよろしくお願い申し上げます。

1 0

教員公募のお知らせ (愛媛大学)
by FUJITA Hiroshi 13 Sep '21

13 Sep '21

Logic-MLのみなさま、こんにちは、愛媛大学の藤田です。愛媛大学にて、数理科学系の教員公募が始まりましたのでお知らせいたします。大学院理工学研究科数理物質科学専攻数理科学講座（助教1人・女性限定）応募〆切は9月21日(火) 必着となっております。詳しくは次のリンクをご参照ください。 https://www.ehime-u.ac.jp/post-169347/ お近くの研究者の方々にもお伝えいただければ幸甚です。藤田博司 <fujita.hiroshi.mh(a)ehime-u.ac.jp>

1 1

数学基礎論若手の会 2021（12/3（金）～12/5（日））
by Taishi Kurahashi 12 Sep '21

12 Sep '21

皆様，神戸大学の倉橋と申します．数学基礎論若手の会 2021 についてアナウンスをさせていただきます．今年度の数学基礎論若手の会も，新型コロナウィルスの感染状況をみてオンライン開催としたいと思います．日程：2021年12月3日（金）～ 12月5日（日）世話人：倉橋太志（神戸大学）開催方法：Zoom によるオンライン開催参加申し込み：下記フォームからお願いします． https://docs.google.com/forms/d/1yXCP8xxReEUsjZaEqk9tB_UYa1LQSxOfEI4aUui-Yh… 参加・講演申し込み締め切り：11月19日（金）ホームページ：http://www2.kobe-u.ac.jp/~tk/jp/workshop/wakate2021.html 数学基礎論若手の会は数学基礎論を専攻する学生および若手研究者の研究交流を目的とする研究集会です．講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しております．また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します． Zoom の URL 等については参加登録者に対して追ってご連絡いたします．期間中には懇親会として zoom のブレイクアウトルームを用いた交流時間を設ける予定です．それでは，多くの方々のご参加およびご講演をお待ちしております．倉橋太志

1 0

Session of Logic at CLAM 2021 - 15-17 September, 2021. Online event
by Diego A. Mejía 01 Sep '21

01 Sep '21

---------- Forwarded message --------- From: Pedro H. Zambrano <phzambranor(a)unal.edu.co> Date: Wed, Sep 1, 2021 at 12:10 AM Subject: [LOGBOG: 1004] Session of Logic at CLAM 2021 - Call for Participation - 15-17 September, 2021. Online event To: logbog <logbog(a)googlegroups.com>, <logic-list(a)helsinki.fi> -------------------------------------------- [Please circulate! We apologize for any cross-postings] Session of Logic at CLAM 2021 Online, September 15-17, 2021 https://clam2021.cmat.edu.uy/ The 6th Latin American Congress of Mathematicians (CLAM 2021) will be held online from 13 September to 17 September, 2021. A session of logic "Lógica Matemática" will take place as part of the congress, from 15 September to 17 September, 2021 (15:00 to 18:15 UTC-3). The Program of the session of logic is the following: PROGRAM (UTC-3) Day 1 - Wednesday 15 September 15:00-15:45 Hugo Luiz Mariano (Universidade de São Paulo - USP, Brazil) "Filter pairs and natural extensions of logics" 15:45-16:30 Rodolfo C. Ertola-Biraben (Universidade Estadual de Campinas - UNICAMP, Brazil) "Distributivity, Modularity, and Natural Deduction" 16:45-17:30 María Paula Menchón (Universidad Nacional del Centro de la Provincia de Buenos Aires - UNICEN, Argentina) "A topological duality for monotone expansions of semilattices" 17:30-18:15 Nick Galatos (University of Denver, USA) "Interpolation and Beth definability for conic idempotent Full Lambek calculus" ------------------------------------------------- Day 2 - Thursday 16 September 15:00-15:45 Carles Noguera (Czech Academy of Sciences, Czech Republic) "Lindström theorems in graded model theory" 15:45-16:30 José Patricio Díaz Varela (Universidad Nacional del Sur - UNS, Argentina) "Completitud estándar fuerte (fuerte finita) para lógicas de S5-modales de Łukasiewicz" 16:45-17:30 Xavier Caicedo (Universidad de los Andes - Uniandes, Colombia) "Locally pseudocomplemented abelian ℓ-groups" ---------------------------------------------------- Day 3 - Friday 17 September 15:00-15:45 Xavier Vidaux (Universidad de Concepción - UdeC, Chile) "Hilbert's tenth problem in rings of meromorphic functions" 15:45-16:30 Rodrigo de Alvarenga Freire (Universidade de Brasília - UnB, Brazil) "Embeddability between orderings and GCH" 16:45-17:30 Alexander Berenstein (Universidad de los Andes - Uniandes, Colombia) "Existentially closed measure preserving actions of the free group." ------------------------------------------------------ REGISTRATION Participation in the congress will be free-of-charge, but registration is mandatory. The registration form is here: https://clam2021.cmat.edu.uy/registrarse ***Please register until September 5th** More information will be available here: https://clam2021.cmat.edu.uy/ We hope to meet you at the CLAM 2021. All the best, Manuela Busaniche and Marcelo Coniglio Organizers of the session "Lógica Matemática" CLAM 2021 --- Pedro ZAMBRANO Associate Professor Department of Mathematics Universidad Nacional de Colombia Bogota, Colombia PBX + 57 1 316 5000 ext. 13163 sites.google.com/a/unal.edu.co/phzambranor -- 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

第24回プログラミングおよびプログラミング言語ワークショップ (PPL 2022) 論文/発表募集
by Kento EMOTO 31 Aug '21

31 Aug '21

皆様，（重複受信ご容赦ください） 2022年3月6日(日) ～ 8日(火) に東京都目黒区で開催予定の PPL 2022 の論文/発表募集をお送りいたします．理論・実装を問わず，プログラミング・プログラミング言語に関する研究発表を幅広く募集いたします．どうぞ投稿をご検討ください．今回の PPL は，合宿形式ではなく，通常の研究会形式でのハイブリッド開催を予定しております．よろしくお願いいたします．稲葉一浩（Google）江本健斗（九州工業大学）（PPL 2022 プログラム共同委員長） ================================================== 第24回プログラミングおよびプログラミング言語ワークショップ (PPL 2022) 論文募集/発表募集主催：日本ソフトウェア科学会プログラミング論研究会日程：2022年3月6日（日）-- 3月8日（火）会場：東京都目黒区「東京工業大学 70周年記念講堂」（ハイブリッド開催の予定） 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 の開催形式について ** PPL 2022 は，通常の研究会形式での開催となります．また，発表者を含む全ての参加者がオンライン参加と現地参加とを自身で選択できる，ハイブリッド形式を採用する予定です．以前の PPL は合宿形式で開催しておりましたが，COVID-19 の影響により，前々回の PPL 2020 は現地開催を緊急中止し，前回の PPL 2021 もオンラインでの開催となりました．今回の PPL 2022 につきましては，現地での開催への最初のステップとして，合宿形式ではなく，通常の研究会形式での開催を採用することとなりました．現地開催を目指す PPL 2022 ですが，参加者によっては現地での参加が難しい可能性もあります．そのため，発表者を含む全ての参加者について，現地参加とオンライン参加とを選択可能とする予定です．なお，ポスター・デモ発表のセッションにつきましては，現地開催とオンライン開催を同時に行うことは技術的に困難です．そのため，全てのポスター・デモ発表について必ずオンラインセッションでの発表を行いますが，現地に来られた参加者だけが現地参加する特別な「ポスター・デモ発表の現地セッション」を設ける可能性があります．なお，状況によっては完全オンラインでの開催へ移行する可能性もあります．開催形式の変更に関する判断は，少なくともワークショップ開催の 2ヶ月前までを目処に行う予定です．開催に関する詳しい動向は随時 Web ページ等で公開します． ** PPL 2022 とは ** PPL 2022 は，プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果や新たな研究課題の提案・討論・アイディア交換を行うことを目的とした研究集会です．代表的なトピックは以下のようなものですが，これらに限らず，プログラミングやプログラミング言語に関する内容であれば，基礎理論・実装技術の研究からソフトウェアやツールの実現に至るまで，幅広く受け入れます．基礎理論：意味論，ラムダ計算，型理論，項書き換え，形式論理と証明，形式　　　　　言語とオートマトン，圏論，チューリング機械，アルゴリズムなど言語デザイン：各種プログラミングパラダイム（オブジェクト指向・関数型・　　　　　　　論理型・アスペクト指向，その他あらゆるパラダイムを含む），　　　　　　　モジュール化，メタプログラミング，並行・並列・分散計算，　　　　　　　型システム，言語や言語システム等の相互運用，領域限定言語　　　　　　　など言語処理系技術：コンパイラ，インタプリタ，実行時システム，仮想機械，プ　　　　　　　　ログラム最適化，プログラム解析，プログラム変換，メモリ　　　　　　　　管理などプログラミング補助：プログラム検証器，デバッガ，プロファイラ，統合開発　　　　　　　　　　環境，プログラム合成，リファクタリングなどケーススタディ：ソフトウェア開発報告，プログラミング技法，ツールの紹介　　　　　　　　など応用：システムソフトウェア，Webシステム，データベースシステム，数値計　　　算，ユーザーインタフェース，セキュリティ，プログラミング教育，人　　　工知能・機械学習など ** 発表募集カテゴリ ** 以下の4カテゴリの研究発表を募集します．カテゴリ1：国内外未発表論文カテゴリ2：国外既発表論文カテゴリ3：ポスター・デモ発表カテゴリ4：サーベイ・チュートリアルカテゴリ1 では，国内外で未発表の論文発表を募集します．PPL での議論をもとに研究を発展させ，国際会議や学術論文誌への投稿につなげることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的なものとします．参加者相互で実りある議論ができるような，発展途上の研究を特に歓迎します．複数名の査読者による研究の発展性・重要性・根拠の確かさ・説明の明瞭さの評価をもとにプログラム委員会で議論し，採否を判断します．特に以下の点にご注意ください．・理論的な研究については，形式化の明瞭さと正しさが重要です．論文中に明　示してあれば証明等が未完成でも構いませんが，証明等について議論できる　程度の完成度は求められます．・実装技術の研究については，手法の妥当性や評価が重要です．論文中に明示　してあれば実装や実験が未完成でも構いませんが，上記の点を議論できる程　度の完成度は求められます．・ソフトウェアやツールの実現に関する研究については，その有用性やデザイ　ンチョイスが明瞭であることが重要です．論文中に明示してあれば実装が未　完成でも構いませんが，上記の点を議論できる程度の完成度は求められます．カテゴリ2 では，国際会議や国際学術論文誌等で発表された，または採録決定済みの，国内では未発表の研究成果の紹介を募集します．PPL との関連性，プログラム全体のバランス，発表された媒体等をもとにプログラム委員会で議論し，採否を判断します．カテゴリ3 では，PPL に関連する内容（未発表・既発表いずれでも構いません）についてのポスター発表を募集します．萌芽的なアイデアの紹介やツールのデモンストレーションなども歓迎します．PPLとの関連性・プログラム全体のバランスをもとに，プログラム委員による議論によって採否を判断します．カテゴリ4 では，研究動向の紹介・分野間の相互理解・ツールのチュートリアルなど，PPL の聴衆にとって有益な学術知識の紹介を募集します．未発表・既発表の別を問いません．PPL との関連性，内容の重要性，発表者の経歴，プログラム全体のバランス等をもとにプログラム委員会で議論し，採否を判断します．カテゴリ1 の採択論文の中から，特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です．さらに，カテゴリ1・2・4 の全発表のなかから最も聴衆の支持を集めたものに発表賞，カテゴリ3 の全発表のなかから最も聴衆の支持を集めたものにポスター賞を授与する予定です（いずれも一般の部・学生の部の 2種類，ただし「発表賞」は既受賞者を除く）． ** プログラム委員会 ** 青戸等人　　新潟大学石崎一明　　日本 IBM 稲葉一浩　　Google (プログラム共同委員長) 今井敬吾　　岐阜大学江本健斗　　九州工業大学 (プログラム共同委員長) 勝股審也　　国立情報学研究所菊池健太郎　東北大学倉光君郎　　日本女子大学小宮常康　　電気通信大学酒寄健　　　東京大学佐藤重幸　　東京大学佐藤亮介　　東京大学澄川靖信　　拓殖大学宋剛秀　　　神戸大学叢悠悠　　　東京工業大学高野保真　　北里大学千葉滋　　　東京大学中澤巧爾　　名古屋大学中正和久　　山口大学中丸智貴　　東京大学橋本健二　　名古屋大学日高宗一郎　法政大学藤田憲悦　　群馬大学前田敦司　　筑波大学増原英彦　　東京工業大学室屋晃子　　京都大学 ** 組織委員会 ** 組織委員長　　新屋良磨　秋田大学組織副委員長　関山太朗　国立情報学研究所財務担当　　　和賀正樹　京都大学財務副担当　　山田晃久　産業技術総合研究所会場担当　　　叢悠悠　　東京工業大学会場副担当　　北川舞　　渉外担当　　　水島宏太　OPT, Inc. プログラム共同委員長　　稲葉一浩　Google プログラム共同委員長　　江本健斗　九州工業大学前プログラム共同委員長　上野雄大　東北大学前プログラム共同委員長　海野広志　筑波大学 ** 問い合わせ先 ** ・ワークショップ全般について　組織委員会：ppl2022-oc(a)googlegroups.com ・発表/プログラムについて　プログラム共同委員長：ppl2022-pc-chair(a)jssst-ppl.org ==================================================

1 0

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml