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

Fwd: Anand's 70th
by kota takeuchi 20 Oct '21

20 Oct '21

皆様 University of Torontoで開かれるモデル理論特別講義のお知らせを転送します。 Special Lectures in Honor of Anand Pillay's 70th birthday として、11月10日にzoomで開かれます。なかなかこのような講義を聞ける機会は少ないかと思いますので興味のある方は参加してみてください。以下の転送文に詳細リンクがあります。竹内耕太 ---------- Forwarded message --------- From: 이정욱 <ljwhayo(a)kaist.ac.kr> Date: Wed, Oct 20, 2021 at 12:04 PM Subject: Anand's 70th To: <kota(a)math.tsukuba.ac.jp> Dear Professor Takeuchi, Hello, Kota. There will be an event to celebrate Anand's 70th on November, 10, 2021. The detail of the event are here: http://www.fields.utoronto.ca/activities/21-22/Anand-Pillay Please share the event with someone who might be interested in. Sincerely, Junguk

1 0

「論理・代数系・言語と計算機科学の周辺領域」の講演募集、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 24 Sep '21

24 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

Annnouncement: RIMS Set Theory Workshop 2021; OCT 12--15, 2021
by Masaru KADA 22 Aug '21

22 Aug '21

======== Announcement / Call for Contributions RIMS workshop "Recent Developments in Set Theory of the Reals" Date: Tuesday, October 12, 2021 to Friday, October 15, 2021 Venue: ONLINE (via ZOOM meeting), based on Japan Standard Time 9am--5pm Contact: Masaru Kada (Osaka Prefecture University) / kada(a)mi.s.osakafu-u.ac.jp Workshop Overview: This online workshop, hosted by RIMS (Research Institute for Mathematical Sciences, Kyoto University), is mainly (but not only) focused on recent developments in set theory of the reals. The program will contain a minicourse (a series of lectures) as well as contributed talks. In the minicourse, we invite Joerg Brendle (Kobe University) and Diego Mejia (Shizuoka University), who will give us lectures on some forcing techniques (e.g., Boolean ultrapowers, submodel methods, etc.) and related results in set theory of the reals. We welcome every researcher in set theory or related research fields. Please join us! Registration: Please submit a registration form to register your participation / contributed talk, from the following URL: https://forms.gle/1156YFMp1bN9GEDJ9 Deadline for contributed talks: September 9, 2021 Deadline for participation: October 10, 2021 ======== -------- Masaru KADA （嘉田勝） kada(a)mi.s.osakafu-u.ac.jp --------

1 0

Call for Contributions - 1st Meeting Brazil-Colombia in Logic - December 14-17, 2021
by Diego A. Mejía 19 Aug '21

19 Aug '21

---------- Forwarded message --------- From: Pedro H. Zambrano <phzambranor(a)gmail.com> Date: Thu, Aug 19, 2021 at 9:29 AM Subject: [LOGBOG: 1002] Call for Contributions - 1st Meeting Brazil-Colombia in Logic - December 14-17, 2021 To: logbog <logbog(a)googlegroups.com>, <logic-list(a)helsinki.fi> ************************************************************ CALL FOR CONTRIBUTIONS 1st Meeting Brazil-Colombia in Logic (1o. Enc(ue-o)ntro de Logica Brasil-Col(o-ô)mbia) Online Meeting Universidad Nacional de Colombia at Bogotá – December 14-17, 2021 https://sites.google.com/unal.edu.co/i-enclogbracol/ No registration fee ************************************************************ The mathematical logic interactions between Colombian and Brazilian logicians have been strong for a long time and have a history of friendships and collaborations that go back several decades, and this was accomplished through (but not exclusively by) many SLALMs (Simposios Latino-Americano de Logica-Matematicas) and EBLs (Encontros Brasileiros de Lógica). With this "First Meeting Brazil-Colombia in Logic", we intend to initiate a new institutional phase of collaborations and exchange of experiences in areas involving Foundations of Mathematics between researchers and students from Brazil and Colombia: we hope this is the first of many events in the years to come! We are very glad to see some of the personages that have created this profound and rich interaction between Colombian and Brazilian logicians will be present in this meeting and that another generation of researchers and students have manifested its intention of carrying out and strengthening this bond. Confirmed Plenary Speakers: ************************* Xavier Caicedo (UniAndes, Bogotá, COL) Carlos Di Prisco (UniAndes, Bogotá, COL) Itala D’Ottaviano (CLE-UNICAMP, Campinas, BRA) Francisco Miraglia (IME-USP, São Paulo, BRA) Carlos Uzcátegui (UIS, Bucaramanga, COL) Confirmed Invited Speakers: ************************ Rodrigo Freire (UnB, Brasília, BRA) João Marcos (UFRN, Natal, BRA) Diego Mejía (Shizuoka University, JAP) Diana Montoya (University of Vienna, AUT) Tutorials: ******** Elaine Pimentel (UFRN, Natal, BRA) Darío Garcia (UniAndes, Bogotá, COL) The meeting (which will be held online) welcomes submissions of 25 minutes talks (20 minutes presentation + 5 minutes questions). We will accept submissions from all areas related to Logic (including Mathematical Logic, Philosophy and Computer Science). To facilitate the organization, the authors will be asked to declare whether the submitted work belongs to one of the following topics: · Categorial and Algebraic Logic · General Logic · Model Theory · Non-classical Logics · Proof Theory · Set Theory Depending on the number of accepted submissions, the authors may be required to pre-record their talks (sending us an editable link of the recording). Students (undergrads and grads) are encouraged to submit posters (10 minutes presentation). The languages of the meeting are: English, Spanish, Portuguese (we recommend the slides to be in English, but talks may be delivered in any of the mentioned languages). The LaTeX template for submissions (for both talks and posters) may be found at https://www.overleaf.com/read/vftjwhycpgsk The abstracts of the talks are expected to be 1-3 pages long, including references. After producing your .pdf file, you will be asked to upload it at https://forms.gle/Smwgv7kwLakSWTy7A The deadline for submissions is September 24, 2021 Accepted talks and posters will be announced on October 22, 2021 More information may be found at our page: https://sites.google.com/unal.edu.co/i-enclogbracol/ Scientific and Organizing Committee: Marcelo Coniglio (IFCH-Unicamp, Campinas, BRA) Hugo L. Mariano (IME-USP, São Paulo, BRA) Ciro Russo (UFBA, Salvador de Bahia, BRA) Samuel G. da Silva (UFBA, Salvador de Bahia, BRA) Andrés Villaveces (UNAL, Bogotá, COL) Pedro H. Zambrano (UNAL, Bogotá, COL) Partners: Sociedad Colombiana de Matemáticas Sociedade Brasileira de Lógica --- 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

PEPM 2022 - First Call for Papers
by Youyou Cong 17 Aug '21

17 Aug '21

みなさま、東京工業大学の叢です。 POPL 2022 の併設ワークショップ PEPM 2022 の案内をお送りいたします。部分評価やプログラム変換に関する研究発表を幅広く募集しております。締切は10月7日（木）AoE です。なお、今のところ POPL は対面で開催されることになっていますが、 PEPM はオンラインでも参加できるようにする予定です。みなさまのご投稿をお待ちしております。叢悠悠 -- CALL FOR PAPERS -- ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2022 =============================================================================== * Website : https://popl22.sigplan.org/home/pepm-2022 * Time : 17th--18th January 2022 * Place : Online or Philadelphia, Pennsylvania, United States (co-located with POPL 2022) **Note that the workshop will be held as a physical, virtual, or hybrid physical/virtual meeting in line with POPL 2022. Details to appear.** The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) has a history going back to 1991 and has been co-located with POPL every year since 2006. It originated with the discoveries of useful automated techniques for evaluating programs with only partial input. Over the years, the scope of PEPM has expanded to include a variety of research areas centred around the theme of semantics-based program manipulation — the systematic exploitation of treating programs not only as subjects to black-box execution but also as data structures that can be generated, analysed, and transformed while establishing or maintaining important semantic properties. Scope ----- In addition to the traditional PEPM topics (see below), PEPM 2022 welcomes submissions in new domains, in particular: * Semantics based and machine-learning based program synthesis and program optimisation. * Modelling, analysis, and transformation techniques for distributed and concurrent protocols and programs, such as session types, linear types, and contract specifications. More generally, topics of interest for PEPM 2022 include, but are not limited to: * Program and model manipulation techniques such as: supercompilation, partial evaluation, fusion, on-the-fly program adaptation, active libraries, program inversion, slicing, symbolic execution, refactoring, decompilation, and obfuscation. * Techniques that treat programs/models as data objects including metaprogramming, generative programming, embedded domain-specific languages, program synthesis by sketching and inductive programming, staged computation, and model-driven program generation and transformation. * Program analysis techniques that are used to drive program/model manipulation such as: abstract interpretation, termination checking, binding-time analysis, constraint solving, type systems, automated testing and test case generation. * Application of the above techniques including case studies of program manipulation in real-world (industrial, open-source) projects and software development processes, descriptions of robust tools capable of effectively handling realistic applications, benchmarking. Examples of application domains include legacy program understanding and transformation, DSL implementations, visual languages and end-user programming, scientific computing, middleware frameworks and infrastructure needed for distributed and web-based applications, embedded and resource-limited computation, and security. This list of categories is not exhaustive, and we encourage submissions describing new theories and applications related to semantics-based program manipulation in general. If you have a question as to whether a potential submission is within the scope of the workshop, please contact the programme co-chairs, Zena M. Ariola <ariola(a)cs.uoregon.edu> and Youyou Cong <cong(a)c.titech.ac.jp>. Submission categories and guidelines ------------------------------------ Two kinds of submissions will be accepted: * Regular Research Papers should describe new results, and will be judged on originality, correctness, significance, and clarity. Regular research papers must not exceed 12 pages. * Short Papers may include tool demonstrations and presentations of exciting if not fully polished research, and of interesting academic, industrial, and open-source applications that are new or unfamiliar. Short papers must not exceed 6 pages. References and appendices are not included in page limits. Appendices may not be read by reviewers. Both kinds of submissions should be typeset using the two-column ‘sigplan’ sub-format of the new ‘acmart’ format available at: http://sigplan.org/Resources/Author/ and submitted electronically via HotCRP: https://pepm22.hotcrp.com/ Reviewing will be single-blind. Submissions are welcome from PC members (except the two co-chairs). Accepted regular research papers will appear in formal proceedings published by ACM, and be included in the ACM Digital Library. Accepted short papers do not constitute formal publications and will not appear in the proceedings. At least one author of each accepted contribution must attend the workshop (physically or virtually) and present the work. In the case of tool demonstration papers, a live demonstration of the described tool is expected. Important dates --------------- * Paper submission deadline : **Thursday 7th October 2021 (AoE)** * Author notification : **Thursday 11th November 2021 (AoE)** * Workshop : **Monday 17th January 2022 to Tuesday 18th January 2022** Best paper award ---------------- PEPM 2022 continues the tradition of a Best Paper award. The winner will be announced at the workshop. Programme committee ------------------- * Chairs: Zena M. Ariola (University of Oregon, US) Youyou Cong (Tokyo Institute of Technology, Japan) * Maria Alpuente (U.P. Valencia, Spain) * William J. Bowman (UBC, Canada) * Jonathan Immanuel Brachthäuser (EPFL, Switzerland) * William E. Byrd (University of Alabama at Birmingham, US) * Robert Glück (University of Copenhagen, Denmark) * Zhenjiang Hu (Peking University, China) * Yukiyoshi Kameyama (University of Tsukuba, Japan) * Gabriele Keller (Utrecht University, Netherlands) * Julia Lawall (INRIA, France) * Y. Annie Liu (Stony Brook University, US) * Keiko Nakata (SAP Innovation Center Potsdam, Germany) * Antonina Nepeivoda (Program Systems Institute of RAS, Russia) * Zoe Paraskevopoulou (Northeastern University, US) * Yann Régis-Gianas (Nomadic Labs, France) * Tiark Rompf (Purdue University, US) * KC Sivaramakrishnan (IIT Madras, India) * Dimitrios Vytiniotis (DeepMind, UK) * Beta Ziliani (FAMAF, UNC and Manas.Tech, Argentina)

1 0

CFP: 55th TRS Meeting, September 28 - 30, 2021, Online
by Munehiro Iwami 12 Aug '21

12 Aug '21

皆様島根大学の岩見と申します。 9/28--9/30に第55回TRS Meetingをオンラインで開催します。講演申し込み締切は8/6です。よろしくお願いします。 --------------------- Dear all, Please find the CFP for the next TRS Meeting below: Best regards, Munehiro Iwami Shimane University E-mail: munehiro(a)cis.shimane-u.ac.jp ========================================================================================= Call For Participation 55th TRS Meeting September 28 – September 30, 2021 Online http://www.cis.shimane-u.ac.jp/~munehiro/trs-meeting55/ * About TRS meeting 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(s) of approximately 15 - 60 minutes in English on their research activities. The subject of the talk may not be one's original result; for example, explaining an interesting paper is perfectly OK. (See Rewriting Researchers Forum for further information: http://www.jaist.ac.jp/~hirokawa/trs-meeting/). * Basic Information Date: September 28 (Tue) – September 30 (Thu), 2021 Venue: Online Fee: Free * Tentative Schedule Opening: 13:30, September 28 Closing: 12:00, September 30 * Registration Please send the registration form below to Munehiro Iwami (munehiro(a)cis.shimane-u.ac.jp ) no later than August 6. * Contact Munehiro Iwami (http://www.cis.shimane-u.ac.jp/~munehiro/) -------------------------------------------------------------------------------------------- Registration Form of the 55th TRS Meeting name: affiliation: * title of talk: * approximate duration of talk (15 - 60 minutes): (In case of partial participation, please contact us) -------------------------------------------------------------------------------------------- =============================================================================================

1 1

preliminary CfP: FLOPS 2022, Kyoto
by Atsushi Igarashi 07 Aug '21

07 Aug '21

皆様，(マルチポストご容赦ください) 京都大学の五十嵐です．関数型および論理プログラミングの国際会議 FLOPS 2022 の論文募集のご案内です．来年５月に京都で開催予定です．皆様の投稿をお待ちしております． -- 五十嵐淳 (IGARASHI Atsushi) E-mail: igarashi(a)kuis.kyoto-u.ac.jp url: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/ ============================================================================ Preliminary Call For Papers FLOPS 2022: 16th International Symposium on Functional and Logic Programming ============================================================================ 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 (to be completed) *** 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) Shin-Cheng Mu Academia Sinica, Taiwan Koko Muroya Kyoto University, Japan Ricardo Rocha University of Porto, Portugal Tom Schrijvers KU Leuven, Belgium 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

第三十二回 ALGI（代数・論理・幾何と情報科学研究集会）開催のお知らせ
by 西澤弘毅 03 Aug '21

03 Aug '21

logic-ml メーリングリストの皆様、神奈川大学の西澤弘毅と申します。今年のALGIの開催についてお知らせ致します。 ************************************************** 第三十二回 ALGI（代数・論理・幾何と情報科学研究集会）令和3年9月9日（木）～9月10日（金） ZOOMによるオンライン開催開催のお知らせと講演の募集 https://sites.google.com/site/algimeeting/ <https://sites.google.com/site/algimeeting/%E4%BB%A3%E6%95%B0-%E8%AB%96%E7%9…> ************************************************** ALGI (Algebra, Logic, Geometry and Informatics) は、代数学や論理学、幾何学の情報科学への応用について、および情報科学の代数学や論理学、幾何学への応用についての研究集会で、年一回の頻度で開催されています。今年は、COVID-19の感染拡大防止のため、 ZOOMによるオンライン開催とします。奮ってご参加ください。 ●日程令和3年（2021年） 9/9（木）10:00〜遅くても15:00程度 9/10（金）10:00〜遅くても15:00程度講演または聴講を希望される方は、下記のリンクより必要事項を登録してください。 https://docs.google.com/forms/d/e/1FAIpQLSc6KaxNFWORzU5AjlNTcq2u7xzU3_F_KuR… ZOOM ID等のアクセス情報は、上記フォームに登録したメールアドレスに、後日おしらせします。時間の空きがある限り、開催直前まで講演申込を受け付けるつもりですが、申込順に発表時間を割り当てていきますので、講演をお考えの方は、なるべくお早めにご登録いただけますようお願い致します。幹事・世話人西澤弘毅（神奈川大学）津曲紀宏（崇城大学）新屋良磨（秋田大学） ----------------------------------------- -- 西澤弘毅神奈川大学工学部情報システム創成学科〒221-8686 神奈川県横浜市神奈川区六角橋3-27-1 nishizawa(a)kanagawa-u.ac.jp TEL（代表）045-481-5661 （内線：3378）

1 0

SLACS2021 (8月10日～11日) プログラム確定のお知らせ
by NAKAMURA Yoshiki 03 Aug '21

03 Aug '21

皆様（複数のメイリングリストに送信しています。重複して受信の際はご容赦ください。） SLACS2021幹事の中村誠希です。講演・参加の申し込みをいただき、どうもありがとうございました。 SLACS2021のプログラムが確定しましたのでお知らせします。詳細はウェブページからご確認ください。 https://sites.google.com/view/slacs2021/ なお、参加申し込みをされた方にのみ参加方法等に関する連絡をおこないますので、聴講のみを希望される方もお手数ですが以下のリンク先のフォームから申し込みをお願いいたします。 https://docs.google.com/forms/d/e/1FAIpQLSfzf88OgKBFIQhPNjIa4dNULu6FsQzuCRx… どうぞよろしくお願いいたします。 ==== 第38回記号論理と情報科学研究集会（SLACS2021） https://sites.google.com/view/slacs2021/ 期間 2021年8月10日（火）から2021年8月11日（水）場所オンライン（Zoom）参加費無料幹事東京工業大学中村誠希連絡先 slacs2021(a)gmail.com SLACSとは以下はSLACSのページの冒頭からの抜粋です。 http://www.math.s.chiba-u.ac.jp/SLACS/ 「SLACS（スラックス）は，記号論理学と情報科学の境界領域に関する研究発表・研究討論の場を提供することを目的にして開催されている研究集会です． 1985年1月に第１回が開催されて以来，毎年１回のペースで開催されています． SLACS は，堅苦しい研究会ではなく，その年の幹事を中心とした参加者自らの手作りによるフレンドリーな雰囲気を持った集会です．気軽に発表できる場ですから，研究が進行中の話題を持ってきて議論したり，学生さんが発表する場としても適当です．もちろん，発展を続けるこの分野の最先端の研究テーマに関する発表も数多く聞くことができます．参加者の資格は問いませんので，原則として，どなたでも講演発表・聴講いただけます．発表はごく少数の例外を除いて日本語です．」より詳しい情報はSLACSのページや最近の開催情報をご確認ください。 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

【教員公募】群馬大学情報学部計算機科学プログラム
by Fujita Ken-etsu 23 Jul '21

23 Jul '21

[logic-ml]メーリングリストの皆様群馬大学では情報学部を設置しました【2021年4月】。　　　https://www.inf.gunma-u.ac.jp/ <https://www.inf.gunma-u.ac.jp/> この学部では４つのプログラムをもちますが、そのうち、「計算機科学プログラム」で、　　　https://www.inf.gunma-u.ac.jp/program/computer/ <https://www.inf.gunma-u.ac.jp/program/computer/> 下記の２名の教員を　　　着任時期　　2022年4月1日　　　勤務予定地　荒牧キャンパス（群馬県前橋市）　　　応募締切り　2021年9月30日(水) 必着で公募しています。皆様からのご応募をお待ちするとともに、皆様の周りに適任の方がいらっしゃいましたら、応募をお勧め下さいますようお願い申し上げます。【公募詳細】 ● JREC-IN：　准教授（ネットワーク）　　　　　https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3&id=D121062033&ln_jor=0 <https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3&id=D121062033&ln_jor=0> 　教授又は准教授（計算理論・アルゴリズム）　　https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3&id=D121062030&ln_jor=0 <https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3&id=D121062030&ln_jor=0> ● 群馬大学HP：　　https://www.gunma-u.ac.jp/outline/out011/g1944/g76514 <https://www.gunma-u.ac.jp/outline/out011/g1944/g76514> 以上 -----------------------------------------------------------

1 0

2021年度数学基礎論サマースクールのご案内
by Katsumi Sasaki 22 Jul '21

22 Jul '21

みなさま　南山大の佐々木です．　2021年度数学基礎論サマースクールのウェブサイト：　　http://www.st.nanzan-u.ac.jp/info/sasaki/2021summerschool/sc2021.html で，参加申し込みなどの案内を更新しています．興味のありそうな方に周知いただけるとありがたいです， -- Katsumi Sasaki <sasaki(a)nanzan-u.ac.jp>

1 0

専任教員採用公募（法政大学理工学部）
by Makoto Kanazawa 21 Jul '21

21 Jul '21

メーリングリストのみなさますでに一度お知らせしていますが，締め切りが近づいて参りましたので，もう一度お知らせいたします。応募締め切りは8月10日です。お近くに適任の方がいらっしゃれば，知らせていただけいると幸いです。法政大学理工学部創生科学科では，情報科学・情報工学の分野の専任教員（教授，准教授または専任講師，任期の定めなし）を1名募集しています。研究分野は大分類「情報学」のすべての分野が該当します。詳しくは，JREC-IN Portalの求人公募情報をご覧ください。 https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3&id=D121051191&ln_jor=0 ※創生科学科の紹介・理系・文系の科学領域を横断した「自然」「物質」「人間」「知能」の4つの領域を学習のフィールドとして学士課程教育を行なっています。・今回ご案内している公募は「知能」フィールドの教員の募集です。・昨年度も「知能」フィールドの教員を1名公募し，機械学習・深層学習を専門とする研究者を採用しました。どうぞよろしくお願いいたします。法政大学理工学部創生科学科金沢　誠

1 0

特任研究員の公募
by Naoki Kobayashi 20 Jul '21

20 Jul '21

東京大学の小林と申します。以下の条件で、研究員の募集を致します。お近くに興味のありそうな方がいらっしゃいましたらご紹介いただければ幸いです。過去に高階モデル検査のプロジェクトについて研究員の募集をしましたが、今回は高階モデル検査に限らないプログラム検証手法全般、および機械学習との融合・応用も含む、広めのプロジェクト設定になっております。ご本人の能力・経験次第では特別な審査を経て特任助教または特任講師での採用または途中での職位変更も可能です。小林直樹東京大学大学院情報理工学系研究科コンピュータ科学専攻 ================ 公募　職名：特任研究員，特任助教，または特任講師　　　（ただし、特任助教および特任講師は、教育能力等についての審査もあり）　着任時期：2021年11月から2022年4月の間（数ヵ月の前後は応相談）任期：当初2年、業績評価を経て最長2025年3月まで延長可能　勤務場所：東京大学大学院情報理工学系研究科コンピュータ科学専攻　　　（ただし、本人の希望によっては，共同研究者の所属である京都大学への配置も可能）給与：月額38-55万円　　（大学の規定および本人の実績による．詳細は応相談.）プロジェクト名：AI時代を見据えたプログラム検証技術（科研費基盤研究S 20H05703）職務内容：高階モデル検査をはじめとするプログラム検証手法、機械学習技術のプログラム検証への応用、および機械学習を組み込んだシステムの検証等の研究に従事。特任助教、および特任講師の場合は研究指導の補助など教育等の業務にも従事。条件： - 着任時に博士号を取得していること - 理論計算機科学全般または機械学習技術に明るいこと． - 以下の中の１つ以上のトピックに詳しくプログラミング能力が高いか、　　　２つ以上のトピックに詳しいことモデル検査（特にソフトウェアモデル検査）型システムプログラム意味論プログラム解析・検証・変換オートマトンと形式言語理論自動定理証明計算量理論機械学習（ニューラルネット、強化学習、形式言語の学習理論など）応募方法： 2021年8月31日までに、小林（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

SLACS2021 (8月10日～11日) 講演・参加募集のお知らせ
by NAKAMURA Yoshiki 18 Jul '21

18 Jul '21

皆様（複数のメイリングリストに送信しています。重複して受信の際はご容赦ください。）東京工業大学の中村誠希と申します。 SLACS2021の講演募集を以下のとおり行います。ご検討よろしくお願いいたします。第38回記号論理と情報科学研究集会（SLACS2021） https://sites.google.com/view/slacs2021/ 期間 2021年8月10日（火）から2021年8月11日（水）場所オンライン（Zoom）参加費無料幹事東京工業大学中村誠希連絡先 slacs2021(a)gmail.com SLACSとは以下はSLACSのページの冒頭からの抜粋です。 http://www.math.s.chiba-u.ac.jp/SLACS/ 「SLACS（スラックス）は，記号論理学と情報科学の境界領域に関する研究発表・研究討論の場を提供することを目的にして開催されている研究集会です． 1985年1月に第１回が開催されて以来，毎年１回のペースで開催されています． SLACS は，堅苦しい研究会ではなく，その年の幹事を中心とした参加者自らの手作りによるフレンドリーな雰囲気を持った集会です．気軽に発表できる場ですから，研究が進行中の話題を持ってきて議論したり，学生さんが発表する場としても適当です．もちろん，発展を続けるこの分野の最先端の研究テーマに関する発表も数多く聞くことができます．参加者の資格は問いませんので，原則として，どなたでも講演発表・聴講いただけます．発表はごく少数の例外を除いて日本語です．」より詳しい情報はSLACSのページや最近の開催情報をご確認ください。 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 参加申込方法：講演・聴講を希望される方は、以下のフォームからお申し込みください。申込をされた方に、参加方法等の連絡をおこないます（聴講のみを希望される方も申込をお願いいたします）。 https://docs.google.com/forms/d/e/1FAIpQLSfzf88OgKBFIQhPNjIa4dNULu6FsQzuCRx… 講演申込期限は **2021年7月26日（月）** とします。講演する意思があるという方は早めにご連絡いただけると幸いです。

1 1

Fwd: Postdoc and PhD positions in UGent
by arai toshiyasu 08 Jul '21

08 Jul '21

みなさま Gent でのposdoc とPhD position の応募のお知らせを転送します。新井敏康 ---------- Forwarded message --------- From: Fedor Pakhomov <Fedor.Pakhomov(a)ugent.be> Date: 2021年7月9日(金) 1:29 Subject: Postdoc and PhD positions in UGent To: Fedor Pakhomov <Fedor.Pakhomov(a)ugent.be> Cc: Jeremy Avigad <avigad(a)cmu.edu>, Antonio Montalban <antonio(a)math.berkeley.edu>, Michael Rathjen <michrathjen(a)snafu.de>, Gerhard Jaeger <jaeger(a)inf.unibe.ch>, Ulrich Kohlenbach <kohlenbach(a)mathematik.tu-darmstadt.de>, Joost Johannes Joosten <jjoosten(a)ub.edu>, Beckmann A. <a.beckmann(a)swansea.ac.uk>, Pavel Pudlak <pudlak(a)math.cas.cz>, Toshiyasu Arai <tosarai(a)gmail.com>, Leszek Kolodziejczyk <lak(a)mimuw.edu.pl>, Andreas Weiermann <Andreas.Weiermann(a)ugent.be>, Lev D. Beklemishev <bekl(a)mi-ras.ru> Dear colleagues, We have an opening for one postdoc and one PhD positions in UGent. It might be interesting for some of your recent students. Best wishes, Fedor ******************************************************* One Postdoc position and one PhD position in Mathematical Logic Project: Recursion, reflection, and second-order arithmetic Supervisors: Fedor Pakhomov, and Andreas Weiermann Host institutions: Ghent University Funding bodies: FWO Application deadline: 31 July, 2021 Contact:fedor.pakhomov@ugent.be ******************************************************* Postdoc position. Duration: October 2021 - September 2024 **Application deadline: 31 July, 2021.** Submissions are welcome for one postdoctoral position in mathematical logic within the research project "Recursion, reflection, and second-order arithmetic". The project aims to make developments in the area of proof theory of fragments of second-order arithmetic. The salary will be standard for postdoc positions in Belgium. Candidates are expected to have a PhD in mathematics, computer science, or a similar subject and have experience conducting research in mathematical logic. Familiarity with proof theory, reverse mathematics, and category theory, or other relevant sub-fields is desirable. Proficiency in written and spoken English is required. Interested parties may send their application to fedor.pakhomov(a)ugent.be, consisting of the following documents: + Letter of motivation + Full CV + Name and e-mail address of two or three references + Copy of PhD thesis and 2 selected research papers + PhD diploma (to be handed in before September 1st 2021) ******************************************************* PhD position. Duration: October 2021 - September 2025 **Application deadline: 31 July, 2021.** Submissions are welcome for one PhD position in mathematical logic within the research project "Recursion, reflection, and second-order arithmetic". The project aims to make developments in the area of proof theory of fragments of second-order arithmetic. The salary will be standard for PhD positions in Belgium. Candidates are expected to have a MSc in mathematics, computer science, or a similar subject. Familiarity with proof theory, reverse mathematics, and category theory, or other relevant sub-fields is desirable. Proficiency in written and spoken English is required. Interested parties may send their application to fedor.pakhomov(a)ugent.be, consisting of the following documents: + Letter of motivation + Full CV + Name and e-mail address of one or two references + Copy of Master thesis + MSc diploma (to be handed in before September 1st 2021)

1 0

June 19th Symposium “Fairness, Integrity andTransparency of Formal Systems:Challenges for a Society IncreasinglyDominated by Technology”
by Mitsu Okada 16 Jun '21

16 Jun '21

Symposium “Fairness, Integrity and Transparency of Formal Systems: Challenges for a Society Increasingly Dominated by Technology” June 19th (Sat.) 14:30-18:00 JST 6月19日(土) June 19th, 2021, Zoom Free pre-registration open now 登録受付中（無料） (重複した受信になりましたらお許しください。）本会議は論理・科学・技術哲学系研究者の会議ですが、Algorithms の説明可能性、公平性の問題を、計算や証明の観点を含む、諸観点から議論します。本メールリストのsubscribersの一部の方に関心をお持ちの方がいらっしゃると思いますので、投稿させていただきます。主要講演は、証明とアルゴリズムと説明性、公平性公理と投票アルゴリズム、説明性の価値、などに関わります。The topics of the main invited talks include expnainability with proofs and algorithms, some issues on voting algorithms with a fairness property and their computation, values of explainability in automatic authority systems, and others. Gilles Dowek (INRIA、ENS-Saclay) “Explanation: from ethics to logic” Edith Elkind (University of Oxford) “Justified Representation in Approval-Based Committee Voting” Seth Lazar (Australian National University) “Legitimacy, Authority, and the Political Value of Explanations” プログラム、講演アブストラクトは下にあります。基本情報ページ (Information Pages in English) https://abelard.flet.keio.ac.jp/seminar/symposium-202106-en/ [要事前登録 Pre-registration required] 事前登録方法：日本語ポスターの案内に従ってStreaming用登録ができます。DLMPSTページ側の案内に従って英語ポスターのコードを用いると ZoomWebinar登録できます。 Use the code on the poster in Japanese of JAPS for streaming. One could use the code on the poster in English posted on the DLMPST page for Zoom. 科学基礎論学会ポスター (JAPS Poster in Japanese) http://phsc.jp/dat/20210514_poster.pdf DLMPST(国際科学基礎論学会連合)/IUHPST)Symposium Information Page http://dlmpst.org/pages/activities/japs-dlmpst-symposium-2021.php DLMPST > Activities > 2021 Contact: 岡田光弘 Mitsuhiro Okada Coordinator and Co-organizer of the Symposium Keio University Mitsu[ AT ]abelard.flet.keio.ac.jp

1 0

AQIS'21 CFP
by NISHIMURA Harumichi 11 Jun '21

11 Jun '21

logic-mlの皆さま名古屋大学の西村治道と申します．立命館大学の山下先生の代理で AQIS'21のCall For Papersをご案内させていただきます．関係分野の方々が投稿をご検討いただければ幸いです．名古屋大学大学院情報学研究科西村治道 ----------------------------------------------------------------------- CALL FOR PAPERS 21th Asian Conference on Quantum Information Science (AQIS'21) http://aqis-conf.org/2021/ 1-4 September 2021, On-line (hosted by U. Tokyo, Japan) Apologies if you receive this multiple times. Please forward to interested colleagues. We would like to draw your attention, and that of the quantum information community, to the 21th edition of the Asian Conference on Quantum Information Science (AQIS'21). AQIS is the leading conference in the subject in Asia and one of the longest-running worldwide, its highly successful predecessors having been EQIS'01-05 and AQIS'06-20. The topics covered include (but are not limited to) quantum computing, quantum information processing, quantum communication and cryptography, and foundations of quantum mechanics. Details about the conference are to be found on the website http://aqis-conf.org/2021/ Please check repeatedly as the information there will be updated regularly. Like its previous editions, AQIS'21 will consist of tutorials, invited talk, as well as oral and poster presentations, selected by a high-profile international program committee. The submission deadline is 4 July 2021 (Sun), 23:59 Anywhere on Earth (AoE). All submissions should follow the guidelines specified on the web site: http://aqis-conf.org/2021/submission/ We are looking forward to seeing you in Seoul! Committee Chairs Steering Committee: Jaewan KIM (KIAS, Chair) Program Committee: Kae NEMOTO (NII, Chair) Miklos SANTHA (CNRS Paris/CQT Singapore, Co-Chair) Organizing Committee: Hiroshi IMAI (U Tokyo, Chair)

1 1

教員公募のお知らせ
by Makoto Kanazawa 01 Jun '21

01 Jun '21

メーリングリストのみなさま法政大学理工学部創生科学科では，情報科学・情報工学の分野の専任教員（教授，准教授または専任講師，任期の定めなし）を1名募集しています。詳しくは，JREC-IN Portalの求人公募情報をご覧ください。 https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3&id=D121051191&ln_jor=0 ------ 法政大学理工学部創生科学科金沢　誠

1 0

ERATO Project Colloquium by Youyou Cong (16:30-18:00 on June 15th)
by Jeremy Dubut 25 May '21

25 May '21

** *Dear all,* * On Tuesday June 15th, Youyou Cong (Tokyo Institute of Technology, Japan) will give a talk, /A Tutorial on Delimited Continuations/, for our project colloquium at 16:30-18:00. 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 June 15th, 16:30-18:00 Speaker: *Youyou Cong (Tokyo Institute of Technology, Japan)* Title: A Tutorial on Delimited Continuations Abstract: Delimited continuations represent a prefix of the computation to be performed in the future. This concept can express a wide variety of computational effects, such as exceptions, nondeterminism, and mutable state. The aim of this talk is to give a general idea of what delimited continuations allow us to do. I will begin with a gentle introduction to undelimited and delimited continuations, focusing on the flexibility gained by delimitation. I will then present several practical applications of delimited continuations, ranging from probabilistic programming, to Web applications, and to automatic differentiation. Lastly, I will discuss the theoretical aspects of delimited continuations, including a dependent type system that enables maintaining non-trivial invariants in the presence of control effects. During the discussion, I would like to invite the audience to explore possible uses of delimited continuations in their individual domains. *

1 0

Call for papers: APLAS 2021
by Kohei SUENAGA 13 May '21

13 May '21

皆様，（複数お受け取りの場合はご容赦ください．）京都大学の末永です． APLAS 2021 の論文募集をお送りします．今年は co-located with SPLASH です．どうぞご検討ください．よろしくお願いいたします．末永 == CALL FOR PAPERS 19th Asian Symposium on Programming Languages and Systems (APLAS 2021) Oct 17-Oct 22, 2021, Chicago, Illinois (co-located with SPLASH 2021) https://conf.researchr.org/home/aplas-2021 The 19th Asian Symposium on Programming Languages and Systems (APLAS 2021) aims to stimulate programming language research by providing a forum for the presentation of the latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia but is an international forum that serves the worldwide programming languages community. APLAS 2021 will be co-located with SPLASH 2021. Due to the COVID-19 situation, all authors will be given the chance to present remotely regardless of whether the conference is held as a physical, virtual, or hybrid physical/virtual meeting. Papers are solicited on topics such as: - Semantics, logics, foundational theory - Design of languages, type systems, and foundational calculi - Domain-specific languages - Compilers, interpreters, abstract machines - Program derivation, synthesis, and transformation - Program analysis, verification, model-checking - Logic, constraint, probabilistic, and quantum programming - Software security - Concurrency and parallelism - Tools and environments for programming and implementation - Applications of SAT/SMT to programming and implementation Topics are not limited to those discussed in previous symposiums. Papers identifying future directions of programming and those addressing the rapid changes of the underlying computing platforms are especially welcome. Demonstration of tools in the scope of APLAS are welcome to the Tool paper category. Authors concerned about the appropriateness of a topic are welcome to consult with program chair prior to submission. IMPORTANT DATES Submission deadline: June 16, 2021 (anywhere on Earth) Author response: July 28 - 30, 2021 Author notification: August 11, 2021 Final version: September 1, 2021 Conference: October 17 - October 22, 2021 CALL FOR REGULAR RESEARCH PAPERS We solicit submissions in the form of regular research papers describing original scientific research results, including system development and case studies. Regular research papers should not exceed 18 pages in the Springer LNCS format, including bibliography and figures. This category encompasses both theoretical and implementation (also known as system descriptions) papers. In either case, submissions should clearly identify what has been accomplished and why it is significant. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. System descriptions papers should contain a link to a working system and will be judged on originality, usefulness, and design. In case of lack of space, proofs, experimental results, or any information supporting the technical results of the paper could be provided as an appendix or a link to a web page, but reviewers are not obliged to read them. CALL FOR TOOL PAPERS We solicit submissions in the form of tool papers describing a demonstration of a tool or a system that support theory, program construction, reasoning, or program execution in the scope of APLAS. The main purpose of a tool paper is to display a completed, robust and well-documented tool-highlighting the overall functionality of the tool, the interfaces of the tool, interesting examples and applications of the tool, an assessment of the tool’s strengths and weaknesses, and a summary of documentation/support available with the tool. Authors of tool demonstration proposals are expected to present a live demonstration of the tool at the conference. It is highly desirable that the tools are available on the web. System and Tool papers should not exceed 8 pages in the Springer LNCS format, including bibliography and figures. They may include an additional appendix of up to 6 extra pages giving the outline, screenshots, examples, etc. to indicate the content of the proposed live demo. PROGRAM COMMITTEE Andreas Abel, Gothenburg University, Sweden Kyungmin Bae, POSTECH, South Korea Edwin Brady, University of St. Andrews, UK Yu-Fang Chen, Academia Sinica, Taiwan Andreea Costea, NUS, Singapore Rayna Dimitrova, CISPA Helmholtz Center for Information Security, Germany Yu Feng, UC Santa Barbara, US Giulio Guerrieri, University of Bath, UK Kihong Heo, KAIST, South Korea Yue Li, Nanjing University, China Sam Lindley, Heriot-Watt University / University of Edinburgh, UK Sergio Mover, Ecole Polytechnique, France Uday P. Khedker, IIT Bombay, India Alex Potanin, Victoria University of Wellington, New Zealand Xiaokang Qiu, Purdue University, US Jiasi Shen, MIT, US Xujie Si, McGill University, Canada Gagandeep Singh, VMWare Research / UIUC, US Youngju Song, Seoul National University, South Korea Kohei Suenaga, Kyoto University, Japan Yulei Sui, University of Technology Sydney, Australia Tachio Terauchi, Waseda University, Japan Xinyu Wang, University of Michigan, US Qirun Zhang, Georgia Institute of Technology, US Xin Zhang, Peking University, China SUBMISSION INFORMATION Papers should be submitted electronically via the submission web page using HotCRP (https://aplas2021.hotcrp.com). The acceptable format is PDF. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. The proceedings will be published as a volume in Springer’s LNCS series. Accepted papers must be presented at the conference. REVIEW PROCESS APLAS 2021 will use a lightweight double-blind reviewing process. Following this process means that reviewers will not see the authors’ names or affiliations as they initially review a paper. The authors’ names will then be revealed to the reviewers only once their reviews have been submitted. To facilitate this process, submitted papers must adhere to the following: Author names and institutions must be omitted and References to the 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 an initial 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, makes the job of reviewing the paper more difficult, or interferes with the process of disseminating new ideas. For example, important background references should not be omitted or anonymized, even if they are written by the same authors and share common ideas, techniques, or infrastructure. 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. AUTHOR RESPONSE PERIOD During the author response period, authors will be able to read reviews and respond to them as appropriate. RESEARCH INTEGRITY The Program Committee reserves the right, up until the time of publication, to reverse a decision of paper acceptance. Reversal is possible if fatal flaws are discovered in the paper, or research integrity is found to have been seriously breached. -- 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

オンライン講義のご案内: モデル理論:ソフトウェアの代数的仕様記述と形式検証
by Yoshihito Tanaka 12 May '21

12 May '21

九州産業大学の田中義人です．九州大学の溝口佳寛先生の代理で投稿いたします．九州大学により，オンライン講義「モデル理論:ソフトウェアの代数的仕様記述と形式検証」が以下の要領で開催されます：期間：5月13日-7月29日日時：毎週木曜日16:00-18:00 詳細は添付のポスターをご参照ください（2行目の講義開始日は5月13日の誤りです）． ZoomのURL，ID等は，以下にお問い合わせください： Daniel Gaina：daniel(a)imi.kyushu-u.ac.jp 溝口佳寛：ym(a)imi.kyushu-u.ac.jp ********************************* 田中義人九州産業大学経済学部 813-8503 福岡市東区松香台2-3-1 092-673-5216 (直通) e-mail: ytanaka(a)ip.kyusan-u.ac.jp *********************************

1 0

QIT44ポスター発表・参加登録申込締切延長のご案内
by NISHIMURA Harumichi 11 May '21

11 May '21

logic-mlの皆様名古屋大学の西村と申します．第44回量子情報技術研究会(QIT44)のポスター発表と参加登録の締切が延長されましたのでご案内させていただきます．よろしくお願いいたします．名古屋大学大学院情報学研究科西村治道 =============(通知ここから)================= 量子情報技術研究会(QIT研究会)を5/24(月), 25(火)の2日間、オンラインで開催いたします。 https://www.ieice.org/es/qit/qit44/ ・ポスター発表申込の〆切・参加登録申込の〆切を2021年5月17日（月）に延長しましたので、ご連絡させていただきます。積極的なポスター発表とご参加をよろしくお願いいたします。【研究会名】第44回量子情報技術研究会 (QIT44) 【研究会リンク】https://www.ieice.org/es/qit/qit44/ 【日時】2021年5月24日（月）～25日（火）（予稿集（電子版）は2021年5月21日（金）発行を予定）【会場】オンライン（Zoomを予定）（参加に必要なURLは参加登録した方にお知らせします）【発表募集分野（申し込み状況によっては査読の可能性あり）】量子情報，量子計算，量子暗号など広く量子情報技術に関わる理論的研究，実験的研究，計算機科学的研究, 数学的研究，および，その他関連分野．【定員】300名程度【参加費】一般2,000円，学生1,000円 ※参加費は予稿集代（電子版）を含みます．参加された方は無料でオンライン懇親会に参加頂けます． ※5月14日（金）より後にお支払いの場合は5月21日（金）まで直前料金（+1,000円）で振り込みを受け付けます．これを過ぎますとご参加いただけませんのでご注意下さい．参加事前登録が期限に間に合わない場合も直前料金となります．【研究会参加申込要領】参加申込は下記 Web にて受付けます。 https://www.ieice.org/es/qit/qit44/ 講演 (口頭，ポスター) の申込，予稿集原稿PDFの提出は，電子情報通信学会のWebシステムを使用する予定．【各種締切】・口頭講演申込締切 2021年4月19日（月）[〆切終了] ・ポスター講演申込締切 2021年5月17日（月）[延長しました] ・予稿原稿提出締切 2021年5月17日（月）[延長しました] ・参加事前登録 2021年5月17日（月）[延長しました] ・参加費の銀行振込 2021年5月17日（月）[延長しました] 【研究会の内容】情報科学と量子力学を融合させた新しい分野，量子情報科学に関する研究会です．情報を担う物理系の量子力学的側面を積極的に活かした新しい情報処理原理の研究とそこから開かれる新しい学問体系の構築および新しい情報技術パラダイムの創生を目指して，情報科学，物理学，光エレクトロニクスを含む理学，工学，数理科学に携わる研究者間に自由な討論の場を提供し，この研究分野の発展を図ることを目的としています．第44回研究会では, 現在この分野で活躍する研究者は勿論，自分の研究資産が何らかの形で使えそうだと予感している研究者・技術者など，広く関連する分野の研究者・技術者からの発表を募集致します．聴講のみの参加も歓迎致しますので，奮ってお申し込みください．なお，第38回研究会から学生発表賞を創設いたしました．応募方法等については, 下記のQITウェブサイトをご確認下さい．【主催】量子情報技術特別研究専門委員会（委員長：小芦雅斗（東京大学））【共催】応用物理学会量子エレクトロニクス研究会【問合せ先】QIT44実行委員会 qit44_jikkou(a)googlegroups.com ・委員長：鶴丸豊広 (三菱電機) ・副委員長：水谷明博 (三菱電機) ・副委員長：相川勇輔（三菱電機）・副委員長：野邑寿仁亜（三菱電機）・副委員長：廣政良（三菱電機） =========(ここまで) =========

1 0

准教授公募（東京大学）
by arai toshiyasu 28 Apr '21

28 Apr '21

みなさま新井です。東京大学数理科学研究科では 6月25日締切で准教授を若干名募集しています。詳しくは https://www.ms.u-tokyo.ac.jp/index-j.html https://www.ms.u-tokyo.ac.jp/news/bbe4e919649b3cb81c8c3460b678f347b468e185.… をご覧ください。新井敏康

1 0

特定研究員の公募（アルゴリズム基礎理論）京都大学
by Akitoshi Kawamura 03 Apr '21

03 Apr '21

皆様学術変革領域研究「アルゴリズム基盤」 https://www.afsa.jp/ の課題B04「アルゴリズム基礎理論の追究・発展」（研究代表者：牧野和久）に従事する研究員1名の募集が行われております（応募締切5月6日16:00）。詳しくは以下をご覧ください。京都大学　教職員公募一覧 https://www.kyoto-u.ac.jp/ja/jobs/open 数理解析研究所　特定研究員の公募 https://www.kyoto-u.ac.jp/sites/default/files/2021-03/210506_0330-3aff43edd… （英語版） https://www.kyoto-u.ac.jp/sites/default/files/2021-03/210506_0329-5962df92e… -- 河村彰星京都大学数理解析研究所

1 0

ERATO Project Seminar by Mirai Ikebuchi (9:30 - 11:00 on Wednesday 7 Apr)
by Shinya KATSUMATA 30 Mar '21

30 Mar '21

Dear all, On Wednesday 7 Apr, Mirai Ikebuchi (Massachusetts Institute of Technology) will give a talk, Homological Methods in Rewriting, for our seminar during 9:30 - 11:00. Further details can be found below. If you would like to attend, please register through the following Google form: https://forms.gle/6PoGNEfJVHLYDAdKA Shin-ya Katsumata ------- Wednesday 7 Apr, 9:30 - 11:00 Speaker: Mirai Ikebuchi (Massachusetts Institute of Technology) Title: Homological Methods in Rewriting Abstract: It is well-known that some equational theories such as groups or boolean algebras can be defined by fewer equational axioms than the original axioms. However, it is not easy to determine if a given set of axioms is the smallest or not. In this talk, we will see a way to find a lower bound of the number of axioms. The inequality that gives the lower bound is obtained by analyzing the algebraic structure, called the homology group, associated with the given equational theory. I will explain how equational theories and rewriting systems relate to abstract algebra, what homology groups in general settings are like, and what the homology groups of equational theories give us. Also, a connection to E-unification will be given.

1 0

第44回量子情報技術研究会（QIT44）のご案内
by NISHIMURA Harumichi 23 Mar '21

23 Mar '21

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

1 0

FW: OPEN ACCESS LIBRARY | Computer Science, Engineering, Math, Statistics, Science, Marketing, Applied Sciences, Image & Signal Processing, Robotics, Artificial Intelligence, Comp. Security, Theory & Algorithms
by CSC Journals 19 Mar '21

19 Mar '21

OPEN ACCESS LIBRARY http://www.cscjournals.org/library/oa-library.php Providing FREE access to journal articles published by prestigious authors from USA, CANADA, EUROPE, MIDDLE EAST, AFRICA & ASIA. ---------------------------------------------------------------------------- ------------------------------------------- JOURNALS BY SUBJECTS Access to journals and its archived publications by subjects. Computer Science <http://www.cscjournals.org/library/computer-science.php> | Engineering <http://www.cscjournals.org/library/engineering-science.php> | Management, Marketing <http://www.cscjournals.org/library/social-management-science.php> & Social Sciences | Applied Sciences <http://www.cscjournals.org/journals/IJAS/description.php> | Mathematics/Statistics <http://www.cscjournals.org/library/mathematical-science.php> | Biometrics <http://www.cscjournals.org/library/bio-science.php> & Bioinformatics | Image Processing <http://www.cscjournals.org/library/image-science.php> | Signal Processing <http://www.cscjournals.org/library/signal-science.php> | Artificial Intelligence <http://www.cscjournals.org/library/intelligent-systems.php> | Software Engineering <http://www.cscjournals.org/library/software-engineering.php> | Theory <http://www.cscjournals.org/library/theory-algorithms.php> & Algorithms | Databases <http://www.cscjournals.org/library/database-management.php> | Nano Science <http://www.cscjournals.org/library/nano-science.php> | Computer & Network Security | Ubiquitous Computing <http://www.cscjournals.org/library/ubiquitous-computing.php> ---------------------------------------------------------------------------- ------------------------------------------- LIST OF JOURNALS For complete list of journals, please refer to the following link. http://www.cscjournals.org/library/byjournal.php NETWORK & COMPUTER SECURITY <http://www.cscjournals.org/journals/IJCSS/description.php> . International Journal of Computer Science and Security (IJCSS) <http://www.cscjournals.org/journals/IJS/description.php> . International Journal Security (IJS) <http://www.cscjournals.org/journals/IJCN/description.php> . International Journal of Computer Networks (IJCN) ----------------------------------------- MARKETING, MANAGEMENT & LINGUISTICS <http://www.cscjournals.org/journals/IJBRM/description.php> . International Journal of Business Research and Management (IJBRM) <http://www.cscjournals.org/journals/IJCL/description.php> . International Journal of Computational Linguistics (IJCL) <http://www.cscjournals.org/journals/ISIJ/description.php> . Innovative Studies: International Journal (ISIJ) ----------------------------------------- BIOLOGY & APPLIED SCIENCES <http://www.cscjournals.org/journals/IJBB/description.php> . International Journal of Biometrics and Bioinformatics (IJBB) <http://www.cscjournals.org/journals/IJAS/description.php> . International Journal of Applied Sciences (IJAS) ----------------------------------------- MATH & STATISTICS <http://www.cscjournals.org/journals/IJSSC/description.php> . International Journal of Scientific and Statistical Computing (IJSSC) <http://www.cscjournals.org/journals/IJCM/description.php> . International Journal of Contemporary Advanced Mathematics (IJCM) ----------------------------------------- ENGINEERING <http://www.cscjournals.org/journals/IJE/description.php> . International Journal of Engineering (IJE) <http://www.cscjournals.org/journals/IJEG/description.php> . International Journal of Ergonomics (IJEG) ----------------------------------------- IMAGE & SIGNAL PROCESSING <http://www.cscjournals.org/journals/IJIP/description.php> . International Journal of Image Processing (IJIP) <http://www.cscjournals.org/journals/SPIJ/description.php> . Signal Processing: An International Journal (SPIJ) <http://www.cscjournals.org/journals/AMIJ/description.php> . Advances in Multimedia - An International Journal (AMIJ) ----------------------------------------- EXPERT SYSTEMS & AUTOMATION <http://www.cscjournals.org/journals/IJAE/description.php> . International Journal of Artificial Intelligence and Expert Systems (IJAE) <http://www.cscjournals.org/journals/IJRA/description.php> . International Journal of Intelligent Systems and Applications in Robotics (IJRA) ----------------------------------------- UBIQUITOUS COMPUTING <http://www.cscjournals.org/journals/GIIJ/description.php> . Geoinformatica - An International Journal (GIIJ) <http://www.cscjournals.org/journals/IJUC/description.php> . International Journal of Ubiquitous Computing (IJUC) ----------------------------------------- DATA & SOFTWARE ENGINEERING <http://www.cscjournals.org/journals/IJDE/description.php> . International Journal of Data Engineering (IJDE) <http://www.cscjournals.org/journals/IJSE/description.php> . International Journal of Software Engineering (IJSE) ----------------------------------------- ALGORITHMS AND LOGICS <http://www.cscjournals.org/journals/IJEA/description.php> . International Journal of Experimental Algorithms (IJEA) <http://www.cscjournals.org/journals/IJLP/description.php> . International Journal of Logic and Computation (IJLP) ----------------------------------------- HUMAN COMPUTER INTERACTION & NANO SCIENCE <http://www.cscjournals.org/journals/IJHCI/description.php> . International Journal of Recent Trends in Human Computer Interaction (IJHCI) <http://www.cscjournals.org/journals/NIJ/description.php> . Nanosciences and Nanotechnologies: An International Journal (NIJ) ----------------------------------------- For general inquiries regarding journal publications, please feel free to write to us at cscpress(a)cscjournals.org. Thank you, Computer Science Journals (CSC Journals) Email: cscpress(a)cscjournals.org Url: http://www.cscjournals.org ------------------ UNSUBSCRIBE POLICY To unsubscribe, please reply to this email with the subject UNSUBSCRIBE. -- This email has been checked for viruses by AVG. https://www.avg.com

1 0

CFP: LSFA 2021
by Takahito Aoto 16 Mar '21

16 Mar '21

LSFA 2021の論文募集の案内です．ぜひ投稿をご検討頂ければ幸いです．今回はFSCDの併設ワークショップとして(オンライン)開催されます． --- 青戸等人(新潟大学) ——————————————————//—————————————————— 16th Logical and Semantic Frameworks with Applications - LSFA 2021 23-24 July 2021 https://mat.unb.br/lsfa2021 Affiliated to FSCD 2021, Buenos Aires, Argentina (Online) Second Call For Papers ——————————————————//—————————————————— Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for the formal specification of systems and computational languages, supporting tool development and reasoning. The LSFA series' objective is to put together theoreticians and practitioners to promote new techniques and results, from the theoretical side, and feedback on the implementation and use of such techniques and results, from the practical side. See lsfa.cic.unb.br for more information. LSFA topics of interest include, but are not limited to: * Automated deduction * Applications of logical and semantic frameworks * Computational and logical properties of semantic frameworks * Formal semantics of languages and systems * Implementation of logical and semantic frameworks * Lambda and combinatory calculi * Logical aspects of computational complexity * Logical frameworks * Process calculi * Proof theory * Semantic frameworks * Specification languages and meta-languages * Type theory Submissions Contributions should be written in English and submitted in full paper (with a maximum of 16 pages) or short papers (with a maximum of 6 pages). They must be unpublished and not submitted simultaneously for publication elsewhere. The papers should be prepared in LaTeX using the EPTCS style. The submission should be in the form of a PDF file uploaded to Easychair: https://easychair.org/conferences/?conf=lsfa2021 The pre-proceedings, containing the reviewed extended abstracts, will be handed out at event registration. After the meeting, the authors will be invited to submit full versions of their works for the post-proceedings publication. At least one of the authors should register for the conference. Presentations should be in English. According to the submissions' quality, the chairs will promote the further publication of journal revised versions of the papers. Previous LSFA Special Issues have been published in journals such as The Logical J. of the IGPL, Theoretical Computer Science and Mathematical Structures in Computer Sciences (see the LSFA page http://lsfa.cic.unb.br). Important dates * Abstract: Monday 26th April * Submission: Sunday 2nd May * Notification: Friday 4th June * Preliminary proceedings version due: Monday 14th June * Submission for final proceedings: Sunday 17th October * Final version: Sunday 19th December Invited Speakers Alejandro Díaz-Caro (ICC-UBA/CONICET, UNQ) Alexandra Silva (University College London) Giulio Guerrieri (University of Bath) Program Committee María Alpuente (Universitat Politècnica de València) Sandra Alves (Universidade de Porto, Portugal) Takahito Aoto (Niigata University) Mauricio Ayala-Rincón (Universidade de Brasília) - Co-Chair Eduardo Bonelli (Stevens University) - Co-Chair Evelyne Contejean (LRI, CNRS, Univ Paris-Sud, Orsay) Valeria de Paiva (Samsung Research America and University of Birmingham) Marcelo Finger (Universidade de São Paulo) Yannick Forster (Saarland University) Lourdes del Carmen González Huesca (UNAM) Edward Hermann Haeusler (PUC-Rio, Brazil) Cynthia Kop (Radboud University) Temur Kutsia (RISC, Johannes Kepler University Linz) Hernan Melgratti (Universidad de Buenos Aires) Alexandre Miquel (Universidad de La República) Barbara Morawska (Ahmedabad University) Mariano Moscato (National Institute of Aerospace) Cesar Muñoz (NASA LaRC) Daniele Nantes-Sobrinho (U. de Brasília) Carlos Olarte (U. Federal do Rio Grande do Norte) Federico Olmedo (Universidad de Chile) Alberto Pardo (Universidad de la República) Jorge A. Pérez (University of Groningen) Camilo Rocha (Pontificia Universidad Javeriana - Cali) Aleksy Schubert (University of Warsaw) René Thiemann (University of Innsbruck) Renata Wassermann (Universidade de São Paulo) Organisers Daniele Nantes (UnB, Brasil) Cristian F. Sottile (UBA, Argentina) ——————————————————//——————————————————

1 0

数学教員公募のお知らせ
by 白旗優 02 Mar '21

02 Mar '21

みなさま，慶應義塾大学の白旗優です．私の所属する商学部では，数学教員の公募を行っています．商学部のホームページ，日本数学会のホームページ，JREC-IN に公募情報が掲載されています．慶應大学商学部では，統計データを重視した実証的な研究が盛んに行われています．募集する数学の教員も，専門分野は問いませんが，数学の社会科学への応用にも関心をお持ちの方が，望ましいとされています．数学や情報科学の手法は，経済・社会システムの構築と分析に，深く浸透しつつありますし，Logic メーリングリストに所属されている方々の中にも，そうした素養をお持ちの方がいらっしゃるかと思い，投稿させて頂きました．なお募集要項にもありますように，問い合わせは書面に限らさせて頂いていますので，どうぞご了承ください．それでは，どうぞよろしくお願いいたします．

1 0

27th WoLLIC 2021 - Call for Papers
by 小野寛晰 02 Mar '21

02 Mar '21

[Please circulate. Apologies for multiple copies.] CALL FOR PAPERS WoLLIC 2021 27th Workshop on Logic, Language, Information and Computation October 5 to 8, 2021 ORGANISATION Universidade de São Paulo, Brazil University College London, UK 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-seventh WoLLIC will be held online from October 5 to 8, 2021. It is scientifically sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). PAPER SUBMISSION 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 and programming; novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability; 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; philosophy of mathematics; philosophical logic; philosophy of language. 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 authors instructions at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 <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. (At least one author is required to pay the registration fee before granting that the paper will be published in the proceedings.) Papers must be submitted electronically at the WoLLIC 2020 EasyChair website (https://easychair.org/conferences/?conf=wollic2021 <https://easychair.org/conferences/?conf=wollic2021>). PROCEEDINGS The proceedings of WoLLIC 2021, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. 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 2021 issue of a scientific journal (to be confirmed). INVITED SPEAKERS Catarina Dutilh Novaes (VU Amsterdam) Santiago Figueira (Universidad de Buenos Aires, Argentina) Andreas Herzig (IRIT, France) Cláudia Nalon (UnB - Brazil) Giselle Reis (CMU - Qatar) IMPORTANT DATES May 15, 2021: Full paper deadline June 23, 2021: Author notification June 30, 2021: Final version deadline (firm) PROGRAMME COMMITTEE Carlos Areces (Cordoba, Argentina) Arthur Amorim Azevedo (CMU, USA) Nina Gierasimczuk (Technical University of Denmark, Denmark) Justin Hsu (University of Wisconsin–Madison, USA) Fairouz Kamareddine (Heriot-Watt University, UK) Sandra Kiefer (Aachen University, Germany) Clemens Kupke (Strathclyde University, Scotland) Konstantinos Mamouras (Rice University, USA) Maria Vanina Martinez (Universidad de Buenos Aires, Argentina) Larry Moss (Indiana Univ, USA) Claudia Nalon (University of Brasília, Brazil) Valeria de Paiva (Samsung Research, USA) Elaine Pimentel (UFRN, Brazil) Revantha Ramanayake (University of Groningen, The Netherlands) Jurriaan Rot (Radboud University, The Netherlands) Alexandra Silva (Univ College London) (Co-Chair) Christine Tasson (IRIF, France) Sebastiaan Terwijn (Radboud University, The Netherlands) Renata Wassermann (Univ São Paulo) (Co-Chair) STEERING COMMITTEE Samson Abramsky, Anuj Dawar, Juliette Kennedy, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Lawrence Moss, Luke Ong, Valeria de Paiva, Ruy de Queiroz. ADVISORY COMMITTEE Johan van Benthem, Joe Halpern, Wilfrid Hodges, Angus Macintyre, Hiroakira Ono, Jouko Väänänen. ORGANISING COMMITTEE Renata Wassermann (Univ São Paulo) (Co-Chair) Alexandra Silva (Univ College London) (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) European Association for Theoretical Computer Science (EATCS) ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) SPECIAL SESSION: SCREENING OF MOVIES ABOUT MATHEMATICIANS It is planned to have a special session with the exhibition of a one-hour documentary film about a remarkable mathematician whose contributions were recognized with a Fields Medal just a few years before her untimely death. It is a joint production (still on its course) of The Mathematical Sciences Research Institute (MSRI) and George Csicsery (Zala Films): ‘Secrets of the Surface - The Mathematical Vision of Maryam Mirzakhani’. “The biographical film is about Maryam Mirzakhani, a brilliant woman, and Muslim immigrant to the United States who became a superstar in her field. The story of her life will be complemented with sections about Mirzakhani’s mathematical contributions, as explained by colleagues and illustrated with animated sequences. Throughout, we will look for clues about the sources of Mirzakhani’s insights and creativity." (http://www.zalafilms.com/secrets/ <http://www.zalafilms.com/secrets/>) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE http://wollic.org/ <http://wollic.org/>

1 0

Kobe Set Theory Workshop 2021 -- on the occasion of Sakaé Fuchino's retirement --
by Hiroshi SAKAI 01 Mar '21

01 Mar '21

皆様：（度々申し訳ございません．昨日お送りしたアナウンスで， Workshop の講演者に誤りがありましたので，案内を再送させていただきます．）神戸大学の酒井拓史です．昨年3月に渕野昌先生が神戸大学を退職され，それにあわせた研究集会をこのメーリングリストでもアナウンスさせていただきましたが，新型コロナウイルス感染拡大で延期となっておりました．この度，改めて以下のようにオンライン研究集会を開催することとなりましたので，アナウンスさせていただきます． Kobe Set Theory Workshop 2021 — on the occasion of Sakaé Fuchino’s retirement — (Online Workshop via ZOOM) 日程：3月9日(火) — 3月11日(木) ホームページ： http://www2.kobe-u.ac.jp/~hsakai/Fuchino2021/ <http://www2.kobe-u.ac.jp/~hsakai/Fuchino2021/> 講演者： - 渕野昌 (神戸大学) - Joan Bagaria (University of Barcelona) - Joel David Hamkins (Oxford University) - Paul Larson (Miami University) - David Aspero (University of East Anglia) - Piotr Borodulin-Nadzieja (University of Wrocław) - Andrew Brooke-Taylor (University of Leeds) - Chris Lambie-Hanson (Virginia Commonwealth University) - 依岡輝幸 (静岡大学) - 薄葉季路 (早稲田大学) - 池上大祐 (芝浦工業大学) - Diego Mejia (静岡大学) 参加方法：以下のリンクから事前にご登録ください． https://kobe-u-ac-jp.zoom.us/meeting/register/tZYqde2oqjstH9QW5CXr6eWuUM3oM… <https://kobe-u-ac-jp.zoom.us/meeting/register/tZYqde2oqjstH9QW5CXr6eWuUM3oM…> ご登録後，1日以内にこちらで登録を承認いたします．その後，ZOOM Meeting link がメールで送られますので， Workshop 当日に web browser で link にアクセスしてください．プログラム等の詳細はホームページをご覧ください．また，不明な点がありましたら，酒井までお問い合わせください．連絡先： hsakai(a)people.kobe-u.ac.jp <mailto:hsakai@people.kobe-u.ac.jp> 年度末のお忙しい折かと思いますが，皆様のふるってのご参加をお待ちしております．神戸大学大学院システム情報学研究科准教授酒井拓史 E-mail: hsakai(a)people.kobe-u.ac.jp <mailto:hsakai@people.kobe-u.ac.jp> Tel: 078-803-6245

1 0

Kobe Set Theory Workshop 2021 -- on the occasion of Sakaé Fuchino's retirement --
by Hiroshi SAKAI 28 Feb '21

28 Feb '21

皆様：神戸大学の酒井拓史です．昨年3月に渕野昌先生が神戸大学を退職され，それにあわせた研究集会をこのメーリングリストでもアナウンスさせていただきましたが，新型コロナウイルス感染拡大で延期となっておりました．この度，改めて以下のようにオンライン研究集会を開催することとなりましたので，アナウンスさせていただきます． Kobe Set Theory Workshop 2021 — on the occasion of Sakaé Fuchino’s retirement — (Online Workshop via ZOOM) 日程：3月9日(火) — 3月11日(木) ホームページ： http://www2.kobe-u.ac.jp/~hsakai/Fuchino2021/ <http://www2.kobe-u.ac.jp/~hsakai/Fuchino2021/> 講演者： - 渕野昌 (神戸大学) - Joan Bagaria (University of Barcelona) - Joel David Hamkins (Oxford University) - Paul Larson (Miami University) - David Aspero (University of East Anglia) - Piotr Borodulin-Nadzieja (University of Wrocław) - Chris Lambie-Hanson (Virginia Commonwealth University) - 依岡輝幸 (静岡大学) - 薄葉季路 (早稲田大学) - 池上大祐 (芝浦工業大学) - Diego Mejia (静岡大学) 参加方法：以下のリンクから事前にご登録ください． https://kobe-u-ac-jp.zoom.us/meeting/register/tZYqde2oqjstH9QW5CXr6eWuUM3oM… <https://kobe-u-ac-jp.zoom.us/meeting/register/tZYqde2oqjstH9QW5CXr6eWuUM3oM…> ご登録後，1日以内にこちらで登録を承認いたします．その後，ZOOM Meeting link がメールで送られますので， Workshop 当日に web browser で link にアクセスしてください．プログラム等の詳細はホームページをご覧ください．また，不明な点がありましたら，酒井までお問い合わせください．連絡先： hsakai(a)people.kobe-u.ac.jp <mailto:hsakai@people.kobe-u.ac.jp> 年度末のお忙しい折かと思いますが，皆様のふるってのご参加をお待ちしております．神戸大学大学院システム情報学研究科准教授酒井拓史 E-mail: hsakai(a)people.kobe-u.ac.jp <mailto:hsakai@people.kobe-u.ac.jp> Tel: 078-803-6245

1 0

【最終参加募集】第23回プログラミングおよびプログラミング言語ワークショップ (PPL 2021)
by Taro Sekiyama 26 Feb '21

26 Feb '21

皆様（重複ご容赦ください），国立情報学研究所の関山です． 3月9日(火) 〜 11日(木)にオンラインで開催される第23回プログラミングおよびプログラミング言語ワークショップ (PPL2021) 参加登録の最終案内をいたします．参加登録の締切は明後日2月28日（日）23:00 (JST) です．締切までの参加費等のお支払いを忘れずにお願いいたします．多くの方々のご参加をお待ちしております．また，全カテゴリの採択論文・発表リストを https://jssst-ppl.org/workshop/2021/accepted.html にて公開しております．こちらもあわせてご参照ください． -------------------------------------------------------------------------- 第23回プログラミングおよびプログラミング言語ワークショップ（PPL2021） https://jssst-ppl.org/workshop/2021/ 最終参加登録のご案内主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2021年3月9日(火) 〜 11日(木) 会場: オンライン (Zoom & Gather) PPL 2021はプログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果や新たな研究課題の提案・討論・アイディア交換を行うことを目的とした研究集会で，ZoomとGather (https://gather.town) を利用したオンライン開催を予定しております．参加登録を学会支援機構のウェブサービスにて受け付けております．今年度は学生の参加は無料となっております．参加費および参加登録方法についての詳しい情報は次のウェブページをご参照ください． https://jssst-ppl.org/workshop/2021/registration.html 参加登録締切：2021年2月28日(日) 23:00 (JST) 問い合わせ先： ppl2021-oc(a)googlegroups.xn--com()-m53d8hra6b34cycyguk0hje6i3045cmp3h ppl2021-pc-chair(a)jssst-ppl.xn--org(/)-043e5ita1c46ctozdpfoc1401qpyjc ================================================================ ・プログラム委員会上野雄大（東北大学）[プログラム共同委員長] 海野広志（筑波大学）[プログラム共同委員長] 浅井健一（お茶の水女子大）浅田和之（東北大学）荒堀喜貴（東京工業大学）五十嵐淳（京都大学）石井大輔（JAIST）石尾隆（NAIST）岩間太（日本IBM）鵜川始陽（東京大学）馬谷誠二（神奈川大学）大平怜（IBM）篠埜功（芝浦工業大学）佐藤重幸（東京大学）佐藤哲也（東京工業大学）澄川靖信（東京都立大学）滝坂透（NII）田中哲（産業技術総合研究所）照井一成（京都大学）橋本健二（名古屋大学）廣川直（JAIST）松田一孝（東北大学）水島宏太（株式会社オプト）室屋晃子（京都大学）山崎進（北九州市立大学）山下伸夫（聖徳大学短期大学部）・組織委員会関山太朗（国立情報学研究所）[組織委員長] 佐藤亮介（東京大学）[組織副委員長] 山田晃久（産業技術総合研究所）[財務担当] 塚田武志（千葉大学）[財務副担当] 今井敬吾（岐阜大学）[会場担当] 叢悠悠（東京工業大学）[会場副担当] 新屋良磨（秋田大学）[会場副担当] 堀江倫大（日本IBM）[渉外担当] 上野雄大（東北大学）[プログラム共同委員長] 海野広志（筑波大学）[プログラム共同委員長] 平石拓（京都大学）[前プログラム共同委員長] 森畑明昌（東京大学）[前プログラム共同委員長] ================================================================

1 0

2020年度数学基礎論若手の会
by Daisuke Ikegami 19 Feb '21

19 Feb '21

（重複して受け取られた方はご容赦ください）みなさま芝浦工業大学の池上と申します。 2020年度数学基礎論若手の会を以下の要領で開催いたします。日時：2021年3月26日(金) - 3月28日(日) 場所：オンライン開催参加方法など、詳細は https://sites.google.com/view/younglogicians2020/ をご覧ください。多くのみなさまのご参加をお待ちしております。池上大祐

1 0

CLAR 2021: Logic and Argumentation, Hangzhou (China), 20-22 Oct 2021
by Katsuhiko Sano 13 Feb '21

13 Feb '21

Logic-ml の皆様、北海道大学の佐野勝彦と申します。CLAR 2021のcfpをお送りします。佐野勝彦 CALL FOR PAPERS -------------------------------------------- Fourth International Conference on Logic and Argumentation (CLAR 2021) 20-22 October 2021, Hangzhou, China Hybrid (physical or virtual attendance) https://www.xixilogic.org/events/clar2021/ -------------------------------------------- The 4th International Conference on Logic and Argumentation (CLAR 2021) invites contributions from logic, artificial intelligence, philosophy, computer science, linguistics, law, and other areas studying logic and formal argumentation. CLAR 2021 will be held in Hangzhou, 20-22 October 2021 at Zhejiang University City College. Due to the uncertainties of the epidemiological situation, the conference will be held in a HYBRID format (virtual and physical attendance both accepted), and we encourage physical participation if possible. Papers accepted to CLAR 2021 will be published as Springer LNAI proceedings, and will be available online during the conference. Authors of selected papers will be invited to submit an extended version to a journal special issue after the conference. More information about CLAR 2021 can be found at the conference website: http://www.xixilogic.org/events/clar2021 The CLAR 2021 conference will highlight recent advances in logic and argumentation and foster interaction between these areas within and outside China. Previous conferences can be accessed via: http://www.xixilogic.org/events/clar List of Topics -------------------- Suggested topics include, but are not limited to the following: * Abstract argumentation * Applications of logic and/or argumentation * Applied logic * Argumentation and game theory * Argumentation and law * Argumentation and linguistics * Argumentation and medical reasoning * Argumentation in AI * Argument mining * Argumentation schemes * BDI logic * Computational argumentation * Deontic logic * Dynamic epistemic logic and belief revision * Formal models for dialog and argumentation * Informal logic * Judgment aggregation * Knowledge representation and reasoning * Logic for game theory * Logic for multi-agent systems * Logic for semantic web * Logic for social network * Mathematical logic * Modal logic * Nonmonotonic logics * Numerical and uncertainty reasoning * Philosophical logic * Pragma-Dialectics * Preference logic * Structured argumentation * Uncertain argumentation Submission Guidelines -------------------- We invite two types of submissions: full papers (12 - 20 pages) describing original and unpublished work and extended abstracts (5 - 8 pages) of preliminary original work or extended abstracts of already published work (needs to be highlighted along with the title), from either the field of logic or the field of formal argumentation. Additional support material may be included in an appendix, which may be considered or ignored by the program committee. Submissions must be prepared in LaTeX, using the Springer LNCS style: ftp://ftp.springernature.com/cs-proceeding/llncs/llncs2e.zip Submissions not complying with these guidelines will be desk rejected. Papers in PDF format should be submitted via EasyChair: https://easychair.org/conferences/?conf=clar2021 Each submitted paper will be carefully peer-reviewed by a panel of PC members based on originality, significance, technical soundness, clarity of exposition and relevance for the conference. For each accepted paper, at least one author is expected to register and present the paper at the conference. Important Dates -------------------- Submission: 30 June 2021 Notification: 1 August 2021 Camera-Ready: 15 August 2021 Conference: 20-22 October 2021 PC Chairs -------------------- Pietro Baroni, University of Brescia Christoph Benzmüller, Freie Universität Berlin Yì N. Wáng, Sun Yat-sen University

1 0

FSCD 2021: Call for Papers
by Naoki Kobayashi 11 Feb '21

11 Feb '21

皆様、東京大学の小林と申します。すでに他のメーリングリストでご欄いただいているかもしれませんが、締め切りが近くなりましたので、FSCD 2021 の論文募集案内をお送りさせていただきます。当初Buenos Airesで開催予定でしたが、COVID-19のため、オンライン開催となっております小林直樹東京大学 ======================== CALL FOR PAPERS Sixth International Conference on Formal Structures for Computation and Deduction (FSCD 2021) July 17 - July 24, 2021, Buenos Aires, Argentina https://fscd2021.dc.uba.ar/ In-cooperation with ACM SIGLOG and SIGPLAN NOTE: Due to the Covid 19 pandemic situation, the 2021 edition of FSCD and its satellite workshops will be held online. IMPORTANT DATES --------------- All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered. Abstract: February 12, 2021 Submission: February 15, 2021 Rebuttal: April 2-5, 2021 Notification: April 19, 2021 Final version: May 3, 2021 FSCD (http://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 logics, 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. 6. 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 ------------- Authors of selected papers will be invited to submit an extended version to a special issue of Logical Methods in Computer Science. SUBMISSION GUIDELINES --------------------- The submission site is: https://easychair.org/conferences/?conf=fscd2021 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 (including references) and must present new software tools in which FSCD topics play an important role, or significantly new versions of such tools. 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. Complete instructions on submitting a paper can be found on the conference web site: https://fscd2021.dc.uba.ar/ One author of an accepted paper is expected to present it at the conference 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. Other authors should declare to the PC Chair that at least 50% of contribution is made by the junior researcher(s). PROGRAM COMMITTEE CHAIR ----------------------- Naoki Kobayashi, The University of Tokyo fscd2021(a)easychair.org PROGRAM COMMITTEE ----------------- M. Ayala-Rincón, Universidade de Brasília S. Berardi, University of Torino F. Blanqui, INRIA E. Bonelli, Stevens Institute of Technology É. Contejean, CNRS, Université Paris-Saclay T. Coquand, University of Gothenburg T. Ehrhard, Université de Paris, CNRS S. Escobar, Univ. Politècnica de València J. Espírito Santo, University of Minho C. Faggian, Université de Paris, CNRS A. Felty, University of Ottawa S. Figueira, Universidad de Buenos Aires M. Fiore, University of Cambridge M. Gaboardi, Boston University S. Ghilezan, University of Novi Sad I. Hasuo, National Institute of Informatics D. Kesner, Université de Paris R. Krebbers, Radboud University Nijmegen T. Kutsia, Johannes Kepler University Linz B. König, University of Duisburg-Essen M. Lenisa, University of Udine N. Nishida, Nagoya University L. Ong, University of Oxford P. Parys, University of Warsaw J. Rehof, TU Dortmund University C. Rocha, Pontificia Univ. Javeriana Cali A. Silva, University College London N. Szasz, Universidad ORT Uruguay A. Tiu, Australian National University S. Winkler, University of Verona H. Yang, KAIST, South Korea CONFERENCE CHAIR ---------------- Alejandro Díaz-Caro, Quilmes Univ. & ICC/CONICET WORKSHOP CHAIRS -------------- Mauricio Ayala-Rincón, Universidade de Brasília Carlos López Pombo, Universidad de Buenos Aires STEERING COMMITTEE WORKSHOP CHAIR -------------------------------- Jamie Vicary, Oxford University PUBLICITY CHAIR --------------- Carsten Fuhs, Birkbeck, University of London FSCD STEERING COMMITTEE ----------------------- Z. Ariola, University of Oregon M. Ayala-Rincón, University of Brasilia C. Fuhs, Birkbeck, University of London H. Geuvers, Radboud University S. Ghilezan, University of Novi Sad S. Guerrini, University of Paris 13 D. Kesner (Chair), University of Paris Diderot H. Kirchner, Inria C. Kop, Radboud University D. Mazza, University of Paris 13 L. Ong, Oxford University J. Rehof, TU Dortmund J. Vicary, Oxford University -- 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 1

CADE-28: Final Call for Papers
by Nao Hirokawa 09 Feb '21

09 Feb '21

皆様自動演繹に関する国際会議 CADE-28 の論文投稿締切が近づきましたのでその募集案内を改めてお送り致します。ぜひ論文の投稿をご検討下さい。投稿締切の延長は予定されておりません。どうぞご注意下さい。廣川 (JAIST) ------------------------------------------------------------------------------------------------- /!\ This is CADE-28's final call for papers. The abstract deadline is next week. /!\ The submission deadline is firm, there will be no extensions. /!\ The other dates (rebuttal, notification, final version) have changed. ------------------------------------------------------------------------------------------------- CADE-28: Final Call for Papers The 28th International Conference on Automated Deduction (CADE-28) Carnegie Mellon University, Pittsburgh, USA. 11-16th July 2021. http://www.cade-28.info In cooperation with ACM SIGLOG <https://siglog.acm.org> CADE-28 will be virtual due to the COVID-19 pandemic. 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 STEM, implementations, and the use/contribution of automated deduction in AI, are solicited. CADE-28 aims to present research that reflects the broad range of interesting and relevant topics in automated deduction. Important Dates Abstract deadline: 15 February 2021 Submission deadline: 22 February 2021 (AoE, no extensions) Rebuttal phase: 29-31 March 2021 Notification: 9 April 2021 Final version: 30 April 2021 Conference: 12-15 July 2021 Submissions can be made in two categories: Regular papers. Up to 15 pages in LNCS style. Proofs of theoretical results that do not fit in the page limit may be provided in an appendix. Reviewers may consider additional material in appendices, but submissions must be self- contained within the page limit. Short papers (including system descriptions, user experiences, domain models, etc.) Up to 10 pages in LNCS style. 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. The proceedings of the conference will be published in the Springer LNCS/LNAI series. Formatting instructions and the LNCS style files can be obtained at http://www.springer.de/comp/lncs/authors.html Papers must be submitted to the CADE-28 track via https://easychair.org/conferences/?conf=cade28 All questions about submissions should be emailed to André Platzer (aplatzer(a)cs.cmu.edu) and Geoff Sutcliffe (geoff(a)cs.miami.edu).

1 0

【参加募集】第23回プログラミングおよびプログラミング言語ワークショップ (PPL 2021)
by Taro Sekiyama 08 Feb '21

08 Feb '21

皆様（重複ご容赦ください），国立情報学研究所の関山です． 3月9日(火) 〜 11日(木)にオンラインで開催される第23回プログラミングおよびプログラミング言語ワークショップ (PPL2021) の参加登録を開始いたしましたのでご案内いたします．多くの方々のご参加をお待ちしております．参加登録の締切は2月28日(日) 23:00 (JST) です．どうぞお早めのご登録をお願い致します．また，カテゴリ3 (ポスター・デモ発表) の発表申込締切が2月15日(月) 17:00 (JST) となっております．こちらの投稿もあわせてご検討ください． -------------------------------------------------------------------------- 第23回プログラミングおよびプログラミング言語ワークショップ（PPL2021） https://jssst-ppl.org/workshop/2021/ 参加登録のご案内主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2021年3月9日(火) 〜 11日(木) 会場: オンライン (Zoom & Gather) PPL 2021はプログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果や新たな研究課題の提案・討論・アイディア交換を行うことを目的とした研究集会で，ZoomとGather (https://gather.town) を利用したオンライン開催を予定しております．参加登録を学会支援機構のウェブサービスにて受け付けております．参加費および参加登録方法については次のウェブページをご参照ください． https://jssst-ppl.org/workshop/2021/registration.html 参加登録締切：2021年2月28日(日) 23:00 (JST) 問い合わせ先： ppl2021-oc(a)googlegroups.xn--com()-m53d8hra6b34cycyguk0hje6i3045cmp3h ppl2021-pc-chair(a)jssst-ppl.xn--org(/)-043e5ita1c46ctozdpfoc1401qpyjc ================================================================ ・プログラム委員会上野雄大（東北大学）[プログラム共同委員長] 海野広志（筑波大学）[プログラム共同委員長] 浅井健一（お茶の水女子大）浅田和之（東北大学）荒堀喜貴（東京工業大学）五十嵐淳（京都大学）石井大輔（JAIST）石尾隆（NAIST）岩間太（日本IBM）鵜川始陽（東京大学）馬谷誠二（神奈川大学）大平怜（IBM）篠埜功（芝浦工業大学）佐藤重幸（東京大学）佐藤哲也（東京工業大学）澄川靖信（東京都立大学）滝坂透（NII）田中哲（産業技術総合研究所）照井一成（京都大学）橋本健二（名古屋大学）廣川直（JAIST）松田一孝（東北大学）水島宏太（株式会社オプト）室屋晃子（京都大学）山崎進（北九州市立大学）山下伸夫（聖徳大学短期大学部）・組織委員会関山太朗（国立情報学研究所）[組織委員長] 佐藤亮介（東京大学）[組織副委員長] 山田晃久（産業技術総合研究所）[財務担当] 塚田武志（千葉大学）[財務副担当] 今井敬吾（岐阜大学）[会場担当] 叢悠悠（東京工業大学）[会場副担当] 新屋良磨（秋田大学）[会場副担当] 堀江倫大（日本IBM）[渉外担当] 上野雄大（東北大学）[プログラム共同委員長] 海野広志（筑波大学）[プログラム共同委員長] 平石拓（京都大学）[前プログラム共同委員長] 森畑明昌（東京大学）[前プログラム共同委員長] ================================================================ -- National Institute of Informatics (国立情報学研究所) Taro Sekiyama (関山太朗)

1 0

Louis de Broglie
by logic 04 Feb '21

04 Feb '21

この前、ご案内しましたドブロイの学位論文（フランス語）の英訳、先月出版されました。こちらから入手可能です。 https://www.amazon.co.jp/Research-Theory-Quanta-Louis-Broglie/dp/1927763983… にしむら https://www.researchgate.net/profile/Hirokazu_Nishimura https://www.youtube.com/watch?v=0LFVxavjHfw

1 0

【カテゴリ3受付開始・カテゴリ2,4締切延長】第23回プログラミングおよびプログラミング言語ワークショップ (PPL 2021) 発表募集
by Hiroshi UNNO 28 Jan '21

28 Jan '21

皆様（重複ご容赦ください），カテゴリ3（ポスター・デモ発表）の発表申込を開始し，カテゴリ2（国外既発表論文）および4（チュートリアル）の締切を延長しましたので，改めてCFPを送らせていただきます．ぜひ投稿をご検討ください． --- 日本ソフトウェア科学会プログラミング論研究会は，第23回プログラミングおよびプログラミング言語ワークショップ（PPL 2021）を，2021年3月9日（火）〜3月11日（木）にオンラインで開催いたします．理論・実装を問わずプログラミング・プログラミング言語に関する研究発表を幅広く募集します．どうぞ投稿をご検討ください．よろしくお願いいたします．海野広志（筑波大学）上野雄大（東北大学）（PPL 2021 プログラム共同委員長） ==================================================================== 第23回プログラミングおよびプログラミング言語ワークショップ PPL 2021 発表募集 2021年3月9日（火）-- 3月11日（木）オンライン開催 https://jssst-ppl.org/workshop/2021/ ** 重要な日程 ** カテゴリ1:（締め切りました）発表申込締切 2020年12月28日（月）17:00 (JST) 論文提出締切 2021年 1月 8日（金）17:00 (JST) 採否通知 2021年 2月 1日（月）カテゴリ2:（発表申込受付中）発表申込締切 2021年 2月1日（月）17:00 (JST) （延長しました）採否通知 2021年 2月 8日（月）カテゴリ3:（発表申込受付中）発表申込締切 2021年 2月15日（月）17:00 (JST) 採否通知 2021年 2月 19日（金）カテゴリ4:（発表申込受付中）発表申込締切 2021年 2月1日（月）17:00 (JST) （延長しました）採否通知 2021年 2月 8日（月） ** 開催形式が変わります ** これまでのPPLは合宿形式で開催しておりましたが，COVID-19の影響により， PPL 2021はオンラインでの開催となります．詳しい参加方法については後日， Webページ等で公開します． ** PPL 2021とは ** PPL 2021は，プログラミングとプログラミング言語に関連する幅広い分野の研究者・技術者・学生が一堂に会し，最新の研究成果や新たな研究課題の提案・討論・アイディア交換を行うことを目的とした研究集会です．代表的なトピックは以下のようなものですが，これに限らず，プログラミング・プログラミング言語に関する内容であれば，基礎理論・実装技術の研究からソフトウェアやツールの実現に至るまで，幅広く受け入れます．基礎理論: 意味論，ラムダ計算，型理論，項書き換え，形式論理と証明，形式言語とオートマトン，圏論，チューリング機械，アルゴリズムなど言語デザイン: 各種プログラミングパラダイム（オブジェクト指向・関数型・論理型・アスペクト指向，その他あらゆるパラダイムを含む），モジュール化，メタプログラミング，並行・並列・分散計算，型システム，言語や言語システム等の相互運用，領域限定言語など言語処理系技術: コンパイラ，インタプリタ，実行時システム，仮想機械，プログラム最適化，プログラム解析，プログラム変換，メモリ管理などプログラミング補助: プログラム検証器，デバッガ，プロファイラ，統合開発環境，プログラム合成，リファクタリングなどケーススタディ: ソフトウェア開発報告，プログラミング技法，ツールの紹介など応用: システムソフトウェア，Webシステム，データベースシステム，数値計算，ユーザーインタフェース，セキュリティ，プログラミング教育，人工知能・機械学習など ** 発表募集カテゴリ ** 発表募集は以下の4カテゴリに分けて行います．カテゴリ1: 国内外未発表論文カテゴリ2: 国外既発表論文カテゴリ3: ポスター・デモ発表カテゴリ4: サーベイ・チュートリアルカテゴリ1では，国内外で未発表の論文発表を募集します．PPLでの議論をもとに研究を発展させ，国際会議や学術論文誌への投稿につなげることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的なものとします．参加者相互で実りある議論ができるような，発展途上の研究を特に歓迎します．複数名の査読者による研究の発展性・重要性・根拠の確かさ・説明の明瞭さの評価をもとにプログラム委員会で議論し，採否を判断します．特に以下の点にご注意ください．・理論的な研究については，形式化の明瞭さと正しさが重要です．論文中に明　示してあれば証明等が未完成でも構いませんが，証明等について議論できる　程度の完成度は求められます．・実装技術の研究については，手法の妥当性や評価が重要です．論文中に明示　してあれば実装や実験が未完成でも構いませんが，上記の点を議論できる程　度の完成度は求められます．・ソフトウェアやツールの実現に関する研究については，その有用性やデザイ　ンチョイスが明瞭であることが重要です．論文中に明示してあれば実装が未　完成でも構いませんが，上記の点を議論できる程度の完成度は求められます．カテゴリ1で発表された研究のうち，PPL 2021プログラム委員会により優れていると認められたものは， PPL 2021終了後，「コンピュータソフトウェア」誌のPPL 2021推薦論文としての投稿（2021年6月中旬投稿締切予定）が可能です．推薦論文は，PPL 2021プログラム委員が引き続き査読を行うことによる，迅速な査読プロセスを特長としています．また，特集号の締切後であっても，推薦を受けた研究もしくはそれをさらに発展させた研究をPPL 2021推薦論文として「コンピュータソフトウェア」誌に投稿することが可能です．たとえば， PPL 2021で発表した研究を国際会議等で発表した後，さらに発展させて推薦論文として投稿することができます．カテゴリ2では，国際会議や国際学術論文誌等で発表された，または採録決定済みの，国内では未発表の研究成果の紹介を募集します．PPLとの関連性，プログラム全体のバランス，発表された媒体等をもとにプログラム委員会で議論し，採否を判断します．カテゴリ3では，PPLに関連する内容のポスター・デモ発表を募集します．未発表・既発表の別を問いません．萌芽的なアイディアの紹介やツールのデモンストレーションなども歓迎します．PPLとの関連性・プログラム全体のバランスに基づき、プログラム委員による議論によって採否を判断します．カテゴリ4では，研究動向の紹介や分野間の相互理解など，PPLの聴衆にとって有益な学術知識の紹介を募集します．未発表・既発表の別を問いません．PPL との関連性，内容の重要性，発表者の経歴，プログラム全体のバランス等をもとにプログラム委員会で議論し，採否を判断します． ** 投稿・発表申込要領 ** すべてのカテゴリの投稿・発表について，以下のURLから申し込んでください． https://easychair.org/conferences/?conf=ppl2021 申込にあたってはEasyChairのアカウントが必要です．申し込み時にEasychair で入力する氏名，所属の情報はプログラム作成に用いますので，参加者の便宜を考慮し，日本語が良いと考えられる場合には日本語での入力をお願いいたします．最新の情報は上記Webページでご確認ください．各カテゴリの申込要領の詳細は以下の通りです．カテゴリ1（国内外未発表論文） --------------------------- 投稿手続きは2段階です．発表申込を行った上で論文提出を行ってください．発表申込: 著者名，所属，論文タイトル，論文概要（日本語300〜400字程度，もしくは英語200 words程度），キーワード（3つ以上）を提出してください．論文提出: 本文10〜15ページ程度（参考文献を除く）の論文（日本語もしくは英語，PDF 形式．PPL2021ウェブページにて指定のスタイルファイルを利用のこと）を提出してください．最大ページ数を超える付録は投稿版に入れることができます（最終原稿においては削除いただく可能性があります）．著者のWebページ等においてソースコードや実験データなどを載せて引用しても構いません．最大ページ数を超える付録やWebページ等の情報については査読において考慮されない場合もあります．採録された論文の最終原稿の提出方法は，採否通知にてお知らせします． (注) 採録された論文等著作物は，日本ソフトウェア科学会著作権規定にもとづいて利用されますので，予めご確認ください．また，採録された論文等著作物に対して著作権の譲渡を求めません． (注) 投稿論文と類似の論文を，他の会議（予稿集を出版するもの）・論文誌などに同時投稿する場合は，査読の有無にかかわらず，その旨を発表申込および論文提出の際に明記してください．PPLでは同時投稿の事実のみをもって論文を不採録とすることはありませんが，採否の決定に利用する場合があります（他の会議との重複を避けるため，発表内容についての条件付採録とすることもあります）．カテゴリ2（国外既発表論文） ------------------------- 原論文（ページ数不問，PDF形式）と論文概要（テキスト形式）を，著者名，所属，論文タイトル，キーワード（3つ以上）と併せて提出してください．論文概要にて，原論文の出典（発表会議名，掲載済／予定の別等を含む）も明記してください．カテゴリ3（ポスター・デモ発表） ------------------------------- 著者名，所属，発表タイトル，発表概要（200〜300字程度），キーワード（3つ以上），発表形態を提出してください．発表形態はフォームで選ぶだけでなく，発表タイトルの末尾に括弧書きで「（ポスター）」「（デモ）」「（ポスター・デモ）」のいずれかの発表形態を記載してください．ポスター・デモセッションは Gather (https://gather.town/) での開催を予定しています．ポスター画像と画面共有機能を用いて，オフラインと遜色ないインタラクティブな発表形態を実現するべく調整中です．カテゴリ3に採択された場合は，バーチャル会場に貼り出す画像データを会期前に提出していただきます．データの提出方法は採否通知にてお知らせします．カテゴリ4（サーベイ・チュートリアル） --------------------------------------- 著者名，所属，発表タイトル，キーワード（3つ以上），発表概要（3ページ以内，PDF形式．目的，カバーする話題，想定する聴衆，必要な知識の記述を含むもの）提出してください． ** プログラム委員会 ** 浅井健一（お茶の水女子大）浅田和之（東北大学）荒堀喜貴（東京工業大学）五十嵐淳（京都大学）石井大輔（JAIST）石尾隆（NAIST）岩間太（日本IBM）上野雄大（東北大学）[プログラム共同委員長] 鵜川始陽（東京大学）海野広志（筑波大学）[プログラム共同委員長] 馬谷誠二（神奈川大学）大平怜（IBM）篠埜功（芝浦工業大学）佐藤重幸（東京大学）佐藤哲也（東京工業大学）澄川靖信（東京都立大学）滝坂透（NII）田中哲（産業技術総合研究所）照井一成（京都大学）橋本健二（名古屋大学）廣川直（JAIST）松田一孝（東北大学）水島宏太（株式会社オプト）室屋晃子（京都大学）山崎進（北九州市立大学）山下伸夫（聖徳大学短期大学部） ** 問い合わせ先 ** ppl2021-oc(a)googlegroups.xn--com()-m53d8hra6b34cycyguk0hje6i3045cmp3h ppl2021-pc-chair(a)jssst-ppl.xn--org(/)-043e5ita1c46ctozdpfoc1401qpyjc PPL2021プログラム共同委員長上野雄大，海野広志

1 0

Fwd: RAMiCS 2021 - CFP
by Diego A. Mejía 12 Jan '21

12 Jan '21

---------- Forwarded message --------- From: 'Samuel Gomes' via Grupo de Lógica de Bogotá <logbog(a)googlegroups.com> Date: Wed, Jan 13, 2021 at 8:04 AM Subject: [LOGBOG: 965] Fw: RAMiCS 2021 - CFP To: Teoria Dos Conjuntos E. Topologia Geral Logica < logica-teoria-dos-conjuntos-e-topologia-geral(a)googlegroups.com>, Logbog < logbog(a)googlegroups.com> ----- Mensagem encaminhada ----- *De:* Samuel Gomes da Silva <samuel(a)ufba.br> *Para:* samuca mat <samuca_mat(a)yahoo.com.br> *Enviado:* terça-feira, 12 de janeiro de 2021 15:22:20 AMT *Assunto:* Fwd: RAMiCS 2021 - CFP ----- Mensagem encaminhada ----- De: "luigi santocanale" <luigi.santocanale(a)lis-lab.fr> Para: samuel(a)ufba.br Cc: "luigi santocanale" <luigi.santocanale(a)lis-lab.fr> Enviadas: Terça-feira, 12 de janeiro de 2021 13:39:56 Assunto: RAMiCS 2021 - CFP CALL FOR PAPERS 19th International Conference on Relational and Algebraic Methods in Computer Science RAMiCS 2021 2 to 5 November 2021, CIRM, Marseille, France https://ramics19.lis-lab.fr/ IMPORTANT DATES: Abstract Submission: 14 May 2021 Paper Submission: 21 May 2021 Author Notification: 9 July 2021 Final Version: 30 July 2021 RAMiCS 2021: 2 to 5 November 2021 GENERAL INFORMATION: Since 1994, the RAMiCS conference series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond. RAMiCS 2021 will take place at CIRM, the Centre International de Rencontres Mathématiques at the beautiful Luminy campus close to Marseille. Depending on the Covid-19 situation, it will take the form of a physical conference, a virtual conference, or a hybrid between the two. TOPICS: We invite submissions in the general fields of algebras relevant to computer science and applications of such algebras. Topics include but are not limited to: * Theory - algebras such as semigroups, residuated lattices, semirings, Kleene algebras, relation algebras and quantales - their connections with program logics and other logics - their use in the theories of automata, concurrency, formal languages, games, networks and programming languages - the development of algebraic, algorithmic, category-theoretic, coalgebraic and proof-theoretic methods for these theories - their formalisation with theorem provers * Applications - tools and techniques for program correctness, specification and verification - quantitative and qualitative models and semantics of computing systems and processes - algorithm design, automated reasoning, network protocol analysis, social choice, optimisation and control - industrial applications SUBMISSION INSTRUCTIONS: Submission is via EasyChair at https://www.easychair.org/conferences/?conf=ramics2021 All papers will be peer-reviewed by at least three referees. The proceedings will be published in an LNCS volume by Springer, ready at the conference. Submissions must not be published or under review for publication elsewhere. Submissions must be in English using a PDF not exceeding 16 pages in LNCS style. Submissions must provide sufficient information to judge their merits. Additional material may be provided in a clearly marked appendix or by a reference to a manuscript on a web site. Experimental data, software or mathematical components for theorem provers must be available in sufficient detail for referees. Deviation from these requirements may lead to rejection. One author of each accepted paper is expected to present the paper at the conference. Accepted papers must be produced with LaTeX. Formatting instructions and LNCS style files are available at http://www.springer.de/comp/lncs/authors.html As for earlier RAMiCS conferences, we intend to publish a journal special issue with revised and extended versions of a selection of the best papers. COMMITTEES: Organising Committee -------------------- Conf. & PC Co-Chair: Mai Gehrke, LJAD CNRS, France Conf. & PC Co-Chair: Uli Fahrenberg, Ecole polytechnique, France Conf. & PC Co-Chair: Michael Winter, Brock University, Canada Conf. & PC Co-Chair: Luigi Santocanale, LIS, Aix-Marseille University, France Programme Committee ------------------- Bahareh Afshari, University of Amsterdam, Holland Christel Baier, Technische Universität Dresden, Germany Manuel Bodirsky, Technische Universität Dresden, Germany Ignacio Fábregas, IMDEA, Spain Uli Fahrenberg, Ecole polytechnique, France Marcelo Frias, Buenos Aires Institute of Technology, Argentina Hitoshi Furusawa, Kagoshima University, Japan Mai Gehrke, LJAD CNRS, France Silvio Ghilardi, Università degli Studi di Milano, Italy Roland Glueck, German Aerospace Center, Germany Walter Guttmann, University of Canterbury, New Zealand Peter Höfner, Australian National University, Australia Ali Jaoua, Qatar University, Qatar Peter Jipsen, Chapman University, USA Sebastiaan Joosten, Dartmouth College, USA Laura Kovacz, Technische Universität Wien, Austria Tadeusz Litak, Erlangen-Nürnberg University, Germany Roger Maddux, Iowa State University, USA Dale Miller, Ecole polytechnique, France Martin Mueller, University of Augsburg, Germany Daniela Petrisan, IRIF, University Paris 7, France Damien Pous, CNRS, ENS Lyon, France David Pym, University College, London, UK Mehrnoosh Sadrzadeh, University College, London, UK Luigi Santocanale, LIS, Aix-Marseille University, France Georg Struth, University of Sheffield, UK Sam van Gool, IRIF, University Paris 7, France Michael Winter, Brock University, Canada -- -- Grupo de Lógica de Bogotá: https://sites.google.com/a/unal.edu.co/logbog Ha recibido este mensaje porque usted es miembro del grupo en Google "Grupo de Lógica de Bogotá" . Para enviar un mensaje, envíe un email a logbog(a)googlegroups.com Para salir del grupo, envíe un email a logbog-unsubscribe(a)googlegroups.com Para más opciones, visite http://groups.google.com/group/logbog?hl=es --- Has recibido este mensaje porque estás suscrito al grupo "Grupo de Lógica de Bogotá" de Grupos de Google. Para cancelar la suscripción a este grupo y dejar de recibir sus mensajes, envía un correo electrónico a logbog+unsubscribe(a)googlegroups.com. Para ver esta conversación en el sitio web, visita https://groups.google.com/d/msgid/logbog/361495291.771403.1610492674277%40m… <https://groups.google.com/d/msgid/logbog/361495291.771403.1610492674277%40m…> . -- Diego A. Mejía (PhD) Associate Professor Faculty of Science, Shizuoka University 836 Ohya, Suruga-ku, Shizuoka 422-8529 Japan Tel: +81-54-2384787

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml