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

04 Jul '22

メーリングリストのみなさま法政大学理工学部創生科学科では，情報科学・情報工学の分野の専任教員（教授，准教授または専任講師，任期の定めなし）を2名募集しています。研究分野については，JREC-INの分類で，大分類は「情報学」，小分類は「計算基盤」・「情報学基礎」・「人間情報学」の3つです．分野についてそれ以上の特定はしていません。より詳しくは，JREC-IN Portalの求人公募情報をご覧ください。 https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=1&id=D122051527&ln_jor=0 不明な点についてはお気軽にお問い合わせください。また，このメーリングリストの案内を受け取っていない方で適任の方をご存知でしたら，転送していただけると幸いです。法政大学理工学部創生科学科金沢　誠

1 0

前原昭二先生について
by Kazushige TERUI 25 Jun '22

25 Jun '22

logic-mlのみなさま前原昭二先生がお亡くなりになってもう30年になります。数理論理学に対して多大な貢献をされたことは、みなさまご存知のとおりと思います。私自身は生前おめにかかったことはないのですが、先生の最晩年の仕事（カット除去定理の代数的表現）の延長線上で仕事をしたこともあり、先生についてより深く知りたいと思うようになりました。よろしければ前原先生の業績や個人的な思い出について語りあいませんか？直接このメーリングリストにご寄稿いただいても構いませんし、あるいは terui(a)kurims.kyoto-u.ac.jp にメールをいただければ、後日要約を報告させていただきます。どうぞよろしくお願いします。京都大学数理解析研究所照井一成

1 0

教授、准教授または専任講師の公募（早稲田大学基幹理工学部情報理工学科）
by Tachio Terauchi 08 Jun '22

08 Jun '22

皆様、公募案内をお送りいたします。寺内 ---- 教授、准教授または専任講師の公募 [所属] 早稲田大学理工学術院基幹理工学部情報理工学科 [募集人数] 1名 [勤務形態] 常勤（任期なし） [採用資格] 教授、准教授または専任講師 ※職位は、教育・研究歴、年齢などに応じて早稲田大学が決定し、最終面接までに提示します。 ※教授、准教授または専任講師として採用された場合、任期の定めはありません。なお、着任時に61歳以上の方は特任教授としての嘱任となり、待遇は本学の規程によります。 ※資格に関わらず満 70 歳に達する年度を超えて契約を更新することはできません。 [教育・研究領域の分野] 情報セキュリティ、人工知能。ただし、情報理工学分野全般の中で情報セキュリティ・人工知能以外の分野であっても実績等が優れている場合は考慮します。 [採用年月日] 2023年4月1日、またはそれ以降のなるべく早い時期 [応募締め切り] 2022年7月25日（月）23時日本時間（必着） ※電⼦データの提出のみ受け付けます。 [詳細] JREC-INをご覧ください： https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3&id=D122041850&ln_jor=0 ----

1 0

ERATO Project Colloquium by Masahiro Hamano (16:30 on Tuesday June 21st)
by Shinya KATSUMATA 07 Jun '22

07 Jun '22

Dear all, On Tuesday June 21st, Masahiro Hamano (Miin Wu School of Computing, National Cheng Kung University) will give a talk, A Linear Exponential Comonad in s-finite Transition Kernels and Probabilistic Coherent Spaces, for our project colloquium during at 16:30. Further details can be found below. If you would like to attend, please register through the following Google form: https://forms.gle/6PoGNEfJVHLYDAdKA 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… . Clovis Eberhart (ERATO MMSD Colloquium Organizer) Shin-ya Katsumata Email: eberhart(a)nii.ac.jp, s-katsumata(a)nii.ac.jp ------- Tuesday June 21st 16:30 Speaker: Masahiro Hamano (Miin Wu School of Computing, National Cheng Kung University) Title: A Linear Exponential Comonad in s-finite Transition Kernels and Probabilistic Coherent Spaces Abstract: This talk presents a novel construction of linear exponential comonad arising properly in the continuous measure-theory. Our construction in particular gives a discrete measure account of Danos-Ehrhard 's probabilistic coherent spaces. The talk starts with constructing a linear exponential comonad over a symmetric monodical category of transition kernels, relaxing Markov kernels of Panangaden’s stochastic relations into Staton's s-finite kernels. Our model supports an orthogonality in terms of an integral between measures and measurable functions, which can be seen as a continuous extension of Girard-Danos-Ehrhard’ s linear duality for probabilistic coherent spaces. The orthogonality is formulated by Hyland-Schalk double glueing construction, into which our measure theoretic monoidal comonad structure is accommodated. As an application to countable measurable spaces, a dagger compact closed category is obtained, whose double glueing gives rise to the familiar category of probabilistic coherent spaces.

1 0

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

17 May '22

皆様，東北大学の横山です．以下の通りセミナーを開催いたします．オンライン開催で，どなたでもご参加できますので，ご興味がありましたら是非お越しください． https://sites.google.com/view/sendai-logic/ (セミナーのリンク等は yudai.suzuki.q1(at)dc.tohoku.ac.jp までご連絡ください．) 日時: 5月19日15:00〜(オンライン開催) 講演者：新屋良磨 (秋田大学) 題目：形式言語理論への測度論的アプローチ概要：形式言語理論は語の集合の種々の性質や「複雑さ」を調べる学問であり，その「複雑さ」の指標には様々なものがある．伝統的には正規言語や文脈自由言語などの計算モデル・文法的な「複雑さ」によって定義された言語族がよく研究されたきた．本講演ではこれら伝統的な言語族の紹介からはじめ，講演者が提案した測度論的な「複雑さ」の指標を導入し，その背景や最近の結果について解説を行う．どうぞよろしくお願いいたします．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 keita.yokoyama.c2(a)tohoku.ac.jp

1 0

公募情報（愛知学院大学教養部，情報科学担当，講師・准教授）
by minami0minami 16 May '22

16 May '22

Logic-MLのみなさま，こんにちは，愛知学院大学の南です．愛知学院大学にて、情報科学担当の教員公募を行なっているのでお知らせいたします。愛知学院大学教養部情報科学専任教員（准教授または講師）応募締め切りは2022 年（令和 4 年）６月 30 日（木）必着となっております。担当科目はデータサイエンス入門（文系向け）とともに学部向けの統計学，文系向けの数学，薬学系向けの数学(微分積分や微分方程式）も担当することになるかもしれないので数学専攻の方も応募をご検討下さい．詳しくは次のリンクをご参照ください。 https://www.agu.ac.jp/recruit/img/kyoyo20220410.pdf お近くの研究者の方々にもお伝えいただければ幸いです．南裕明 hminami0(a)dpc.agu.ac.jp

1 0

ERATO Project Colloquium by Nuiok Dicaire and Jean-Simon Pacaud Lemay (16:00- and 17:00- on 10 May, 2022)
by Shinya KATSUMATA 07 May '22

07 May '22

ERATO蓮尾プロジェクトの勝股です。もう一つの講演のご案内をいたします。 Dear all, On Tuesday 10 May, Nuiok Dicaire and Jean-Simon Pacaud Lemay will give talks for our project colloquium during 16:00-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 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… . Shin-ya Katsumata (ERATO MMSD Colloquium Organizer) Email: s-katsumata(a)nii.ac.jp ------- Tuesday 10 May 2022, 16:00-17:00 Nuiok Dicaire, the University of Edinburgh Title: A new approach to localising monads Abstract: Monads have many useful applications both in mathematics and in computer science. Notably they provide a convenient way to describe computational side-effects. An important question is how to handle several instances of such side-effects or a graded collection of them. The usual approach consists in defining many “small” monads and combining them together using distributive laws. In this talk, we take a different approach and look for a pre-existing internal structure to a monoidal category that allows us to develop a fine-graining of monads. This uses techniques from tensor topology and provides an intrinsic theory of local computational effects without needing to know how the constituent effects interact beforehand. We call the monads obtained "localisable" and show how they are equivalent to monads in a specific 2-category. To motivate the talk, we will briefly consider applications in concurrency and quantum theory. We will conclude the talk by looking at how the theory of localisable monads can be combined with graded-monads and category-graded monads. Tuesday 10 May 2022, 17:00 - 18:00 Jean-Simon Pacaud Lemay (JSPS postdoctoral fellow) Title: A tour around the world of differential categories Abstract: The theory of differential categories uses category theory to provide the abstract foundations of differential calculus in both mathematics and computer science. Differential categories have recently gained lots of interest and popularity. In mathematics, differential categories have found applications in commutative algebra, differential geometry, algebraic geometry, and synthetic differential geometry. In computer science, differential categories have found applications in differential linear logic, differential lambda calculus, differentiable programming, automatic differentiation, and machine learning. In this talk, I will provide a tour on the world of the differential categories. We will visit the four chapters of differential categories: 1. Differential categories, which axiomatize the algebraic foundations of differentiation. 2. Cartesian differential categories, which axiomatize differential calculus over Euclidean spaces. 3. Differential restriction categories, which axiomatize differential calculus over open spaces. 4. Tangent categories, which axiomatize differential calculus over smooth manifolds. We will talk about the famous "map of differential categories", and also the history and applications of differential categories.

1 0

ERATO Project Colloquium by Nick Hu (16:30 on May 17th)
by Shinya KATSUMATA 04 May '22

04 May '22

皆様、 ERATO蓮尾プロジェクトで以下の講演を予定しており、ご案内いたします。勝股 ---------- Dear all, On Tuesday May 17th, Nick Hu, (a doctoral student at the University of Oxford) will give a talk, homotopy.io: a proof assistant for finitely-presented globular n-categories, for our project colloquium at 16:30. Further details can be found below. If you would like to attend, please register through the following Google form: https://forms.gle/6PoGNEfJVHLYDAdKA 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… . Clovis Eberhart (ERATO MMSD Colloquium Organizer) Email: eberhart(a)nii.ac.jp ------- Tuesday May 17th, 16:30 Speaker: Nick Hu (University of Oxford) Title: homotopy.io: a proof assistant for finitely-presented globular n-categories Abstract: String diagrams present a convenient calculus for monoidal categories which appeal to topological intuitions and quotient out 'bureaucratic' coherence data. When regions are coloured (i.e. information-carrying), they analogously provide a graphical calculus for bicategories. Generalising, n-categories are difficult to define and manipulate algebraically, but intuitively correspond to an n-dimensional string diagram calculus. For n > 3, manipulating n-dimensional string diagrams quickly becomes unwieldy and error-prone. Towards this aim, we introduce the proof assistant homotopy.io.

1 0

雑誌「数学」シンポジウム・研究会記録について
by Yoshihito Tanaka 01 May '22

01 May '22

日本数学会数学基礎論および歴史分科会連絡責任評議員の田中義人です．雑誌「数学」編集部より，以下に該当するシンポジウム・研究集会記録の原稿募集の依頼がありました：・開催期間： 2021年4月1日から2022年3月31日まで・開催地：日本国内（オンライン開催も含む）・原則として20人以上の集会，または (20人以下でも) 報告集のある集会・ただし，「数学」73巻2号に掲載された京大数理研と九大IMIの共同利用計画に掲載されたものは除く該当するシンポジウム・研究集会の幹事の方は，連絡責任評議員田中義人：ytanaka(a)ip.kyusan-u.ac.jp まで，以下の事項をご報告いただけると助かります：・名称（主題）・主催者（所属）・開催場所・開催時期・報告集の有無と入手可能な場合の連絡先（氏名と所属）数学会編集部への締切が，5月31日（「数学」4号に掲載予定）ですので，それまでにお送りください．すでにお送りいただいた方は，ご放念ください．以上，よろしくお願いいたします． ********************************* 田中義人九州産業大学経済学部 813-8503 福岡市東区松香台2-3-1 092-673-5216 (直通) e-mail: ytanaka(a)ip.kyusan-u.ac.jp *********************************

1 0

【第二回参加・講演募集】FLOPS 2022: the 16th International Symposium on Functional and Logic Programming
by Taro Sekiyama 25 Apr '22

25 Apr '22

皆様 (重複ご容赦下さい) 国立情報学研究所の関山です。関数型および論理プログラミングの国際会議 FLOPS 2022 のプログラムが確定いたしましたのでご案内いたします。 FLOPS 2022 は 5/10(火)-12(木) 夜間（+初日のみ午前）のオンライン開催です。プログラムなどの詳しい情報は以下のページをご覧ください。 https://conf.researchr.org/home/flops-2022 参加登録は以下のページからお願いいたします。 https://conf.researchr.org/attending/flops-2022/registration 早期参加登録締切は 2022 4/27 23:59 (UTC)、最終参加登録締切は 2022 5/5 23:59 (UTC) となっていますのでご注意ください。また、空いている午後の時間にインフォーマルなワークショップ AiDL 2022 を開催いたします。京都大学数理解析研究所での対面と、Zoomのハイブリッド開催の予定です。引き続き講演提案を募集していますので、併せて応募をご検討下さい。 AiDL 2022 講演募集： https://conf.researchr.org/track/flops-2022/aidl-2022 講演募集締切：4/30 AoE (前回の募集から延長しています) AiDL 2022 の参加登録も https://conf.researchr.org/attending/flops-2022/registration で受け付けています。対面ワークショップは「新型コロナウイルスに関するRIMS共同研究の対応について」 https://www.kurims.kyoto-u.ac.jp/kyoten/ja/covid-19.html に沿って実施いたします。最新の情報は FLOPS 2022 のウェブサイト https://conf.researchr.org/home/flops-2022 をご覧下さい。皆様のご参加をお待ちしております。 ============================================================================ Call For Participation & Workshop talk proposals (extended) FLOPS 2022: 16th International Symposium on Functional and Logic Programming ============================================================================ In-Cooperation with ACM SIGPLAN May 10-12, 2022, Online Registration is open for FLOPS 2022. https://conf.researchr.org/attending/flops-2022/registration Deadlines for registration are: (Early) 27 April, 2022, 23:59 (UTC) (Late) 5 May, 2022, 23:59 (UTC) *** Call for talk proposals: AiDL 2022 *** An extra workshop, AiDL 2022 (Workshop on Advances in Declarative Languages), will be held in hybrid (online / physical) format in Kyoto, Japan. Venue: Hybrid (Online / RIMS, Kyoto University, Japan) Talk proposal deadline (extended): April 30, 2022 (AoE) Details: https://conf.researchr.org/track/flops-2022/aidl-2022 *** Venue / Dates for the extra workshop *** This extra event will take place early afternoon (UTC+9), 10-12 May at the venue, RIMS - Research Institute for Mathematical Sciences, Kyoto University, Japan, without any interference with the main FLOPS conference slots, and remote participants are able to attend via Zoom. *** FLOPS 2022 Accepted Papers *** The list of FLOPS 2022 accepted papers is at https://conf.researchr.org/track/flops-2022/flops-2022-papers#event-overview *** FLOPS 2022 Invited Speakers *** Lindsey Kuper (University of California at Santa Cruz) Akimasa Morihata (University of Tokyo) Peter J. Stuckey (Monash University) *** FLOPS 2022 Program Committee *** 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 *** FLOPS 2022 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) -- 国立情報学研究所関山太朗

1 0

第46回量子情報技術研究会 (QIT46)：口頭講演締切延長(4/30まで)
by NISHIMURA Harumichi 18 Apr '22

18 Apr '22

logic-mlの皆様名古屋大学の西村です．第46回量子情報技術研究会の口頭講演の締切が延長されましたので実行委員の代理で以下にお知らせいたします．どうぞよろしくお願いいたします．名古屋大学大学院情報学研究科西村治道 =============(口頭講演締切延長のお知らせここから)================= 第46回量子情報技術研究会（QIT46） ※口頭講演の申込締切を4/30(土)まで延長しましたので，奮ってお申込みください．研究会の内容：情報科学と量子力学を融合させた新しい分野，量子情報科学に関する研究会です．情報を担う物理系の量子力学的側面を積極的に活かした新しい情報処理原理の研究とそこから開かれる新しい学問体系の構築および新しい情報技術パラダイムの創生を目指して，情報科学，物理学，光エレクトロニクスを含む理学，工学，数理科学に携わる研究者間に自由な討論の場を提供し，この研究分野の発展を図ることを目的としています．第46回研究会を下記のように開催いたします．現在この分野で活躍する研究者は勿論，自分の研究資産が何らかの形で使えそうだと予感している研究者・技術者など，広く関連する分野の研究者・技術者からの発表を募集致します．聴講のみの参加も歓迎致しますので，奮ってお申し込みください．なお，第38回研究会から学生発表賞を創設いたしました．応募方法等については，下記のQITウェブサイトをご確認下さい．日時：2022年5月30日（月）～ 5月31日（火）（予稿集（電子版）は2022年5月27日（金）発行を予定）会場：オンライン（Zoomを予定）（参加に必要なURLは参加登録した方にお知らせします）発表募集分野（申し込み状況によっては査読の可能性あり）：量子情報，量子計算，量子暗号など広く量子情報技術に関わる理論的研究，実験的研究，計算機科学的研究，数学的研究，および，その他関連分野．定員：300名参加費：一般2,000円，学生1,000円 ※参加費は予稿集代（電子版）を含みます．参加された方は無料でオンライン懇親会に参加頂けます． ※5月16日（月）より後にお支払いの場合は5月23日（月）まで直前料金（+1,000円）で振り込みを受け付けます．これを過ぎますとご参加いただけませんのでご注意下さい．参加事前登録が期限に間に合わない場合も直前料金となります．研究会参加申込要領：参加申込は下記 Web にて受付けます： https://www.ieice.org/es/qit/qit46/ 講演 (口頭，ポスター) の申込，予稿集原稿PDFの提出は，電子情報通信学会の Webシステムを使用する予定．各種締切：【口頭講演申込締切】 2022年4月30日（土） ※延長しました．なお，申込数が予定数に達した時点で締め切る場合があります．【ポスター講演申込締切】2022年5月16日（月）【予稿原稿提出締切】 2022年5月16日（月）【参加事前登録】 2022年5月16日（月）【参加費の銀行振込】 2022年5月16日（月）【問合せ先】佐中薫 (東京理科大学) Mark Sadgrove (東京理科大学) 湯川英美 (東京理科大学) 平野琢也 (学習院大学) Email: qit46-ml(a)tusml.tus.ac.jp 主催：量子情報技術特別研究専門委員会（委員長：小芦雅斗（東京大学））共催：東京理科大学研究推進機構総合研究院ナノ量子情報研究部門応用物理学会量子エレクトロニクス研究会

1 0

Logic4Peace (Call for Abstracts and Registration, Fundraising online Logic event for Peace, Deadline 11 April 2022)
by Katsuhiko Sano 07 Apr '22

07 Apr '22

Logic-ml の皆様、北海道大学の佐野勝彦です。アムステルダム大学ILLCのSonja Smets さんからのご依頼で "Logic4Peace" (Website: https://events.illc.uva.nl/Logic4Peace/About/) についてのメールを転送したします。佐野勝彦 -------------------- Call for Abstracts and Registration -------------------- Logic4Peace (Fundraising online Logic event for Peace) Friday 22 and Saturday 23 April 2022 Venue: Online (information will be provided to registered participants) Call for Abstracts: Logicians participating in this conference stand united for Peace. The on-going Russian military invasion in Ukraine is causing death, destruction and it is the direct cause of a gigantic humanitarian crisis. Educational facilities have been hit, supply chains have been broken and people have lost their families and homes. By organizing this conference, we offer our moral and financial support to our colleagues in Ukraine in this time of war. This event is used to collect financial aid for two specific causes: -We financially help our colleagues at universities in Ukraine, who are either displaced or have lost their homes, and thus are in urgent financial need. -We support the charitable fund 'Voices of children' which provides humanitarian aid and assists in Ukraine with the on-going evacuation processes. As the world urgently needs more logic and rationality, Logic4Peace creates a platform for logicians from around the world to present their work in any area of logic, including: philosophical logic, philosophy of logic and history of logic, mathematical and computational logic, applied logic and logical structures used in science and the humanities. Abstracts should be short, maximum 1 page or 500 words, not including the references and can be uploaded in PDF format via easychair at https://easychair.org/conferences/?conf=logic4peace by 11 April 2022 (9AM Central European Time). We welcome participants from all nationalities to submit an abstract (*). We welcome new ideas as well as on-going work and reports about already published results. The registration page and the donation page for this conference are now open, please check our website. The registration fees and donations will be entirely used to offer financial aid to Ukraine to help our colleagues and the Voices of Children. On behalf of the Organization of Logic4Peace. Website: https://events.illc.uva.nl/Logic4Peace/About/ -- (*) Due to the current sanctions against Russian institutions and their implementation for Dutch knowledge institutions, we cannot accept participation by researchers who list a Russian or Belarusian institution as their affiliation. But we welcome participation by researchers of every nationality, provided they register to the conference either as individual researchers (i.e. by listing “Individual researcher” as their affiliation), or listing another affiliation to an institution that is not located in the above-mentioned countries.

1 0

[CFP] HOPE'22: ACM SIGPLAN Workshop on Higher-Order Programming with Effects
by Taro Sekiyama 01 Apr '22

01 Apr '22

# 重複して受けとられた方はご容赦くださいみなさま国立情報学研究所の関山です。 ICFP 2022 併設ワークショップ HOPE の発表募集の案内をお送りいたします。 HOPE では高階プログラムとエフェクト(計算効果)に関連する、未完成の研究を含む幅広い発表を募集しています。投稿締切は 6/1、ワークショップは 9/11 の開催を予定しています。みなさまの投稿をお待ちしておりますので、ご検討のほどよろしくお願いいたします。 -- 国立情報学研究所関山太朗 ====== HOPE'22: ACM SIGPLAN Workshop on Higher-Order Programming with Effects September 11, 2022 (Sun), Ljubljana, Slovenia (the day before ICFP 2022) Call-for presentations https://icfp22.sigplan.org/home/hope-2022 HOPE is an established informal workshop bringing together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. Talks about work in progress are particularly encouraged. It has been held since 2012 in affiliation with ICFP. We solicit proposals for contributed talks, in plain text or PDF format. The motivation, the problem to solve, accomplished and anticipated results should be clear from two first pages of the submission. By default contributed talks are about 30 minutes long; proposals for shorter or longer talks will also be considered. Speakers may also submit supplementary material (e.g. a full paper, talk slides), which PC members are free (but not expected) to read. If you have any questions about the relevance of a particular topic, please contact the PC chairs, Daniel Hillerström (daniel.hillerstrom(a)ed.ac.uk) and Oleg Kiselyov (oleg(a)okmij.org). * Deadline for talk proposals: **June 1st, 2022** (Wednesday) * Notification of acceptance: **July 13th, 2022** (Wednesday) * Workshop: **September 11th, 2022** (Sunday) Program Committee Jonathan Immanuel Brachthäuser University of Tübingen, Germany Edwin Brady University of St. Andrews, UK Daniel Hillerström (co-chair) University of Edinburgh, UK Mauro Jaskelioff National University of Rosario, Argentina Oleg Kiselyov (co-chair) Tohoku University, Japan Sean Moss University of Oxford, UK Maciej Piróg Huawei Research, UK Taro Sekiyama National Institute of Informatics, Japan Ningning Xie University of Cambridge, UK Yizhou Zhang University of Waterloo, Canada

1 0

【参加募集・講演募集】FLOPS 2022: the 16th International Symposium on Functional and Logic Programming
by Keigo Imai 31 Mar '22

31 Mar '22

皆様 (重複ご容赦下さい): 関数型および論理プログラミングの国際会議 FLOPS 2022 の参加募集をお送りします。 5/10(火)-12(木) 夜間（+初日のみ午前）のオンライン開催です。また、空いている午後の時間にインフォーマルなワークショップ AiDL 2022 を開催いたします。京都大学数理解析研究所での対面と、Zoomのハイブリッド開催の予定です。つきましては、講演提案を募集いたしますので、併せて応募をご検討下さい。参加登録： https://conf.researchr.org/attending/flops-2022/registration AiDL 2022 講演募集： https://conf.researchr.org/track/flops-2022/aidl-2022 対面ワークショップは「新型コロナウイルスに関するRIMS共同研究の対応について」 https://www.kurims.kyoto-u.ac.jp/kyoten/ja/covid-19.html に沿って実施いたします。最新の情報は FLOPS 2022 のウェブサイトをご覧下さい。 ============================================================================ Call For Participation & Workshop talk proposals FLOPS 2022: 16th International Symposium on Functional and Logic Programming ============================================================================ In-Cooperation with ACM SIGPLAN May 10-12, 2022, Online Registration is now open for FLOPS 2022. https://conf.researchr.org/attending/flops-2022/registration The deadline for early registration is 27 April, 2022, 23:59 (UTC). *** Call for talk proposals: AiDL 2022 *** An extra workshop, AiDL 2022 (Workshop on Advances in Declarative Languages), will be held in hybrid (online / physical) format in Kyoto, Japan, for further exchanges among FLOPS participants. Venue: Hybrid (Online / RIMS, Kyoto University, Japan) Talk proposal deadline: April 20, 2022 (AoE) We solicit proposals for contributed talks. By default contributed talks are about 30 minutes long; proposals for shorter or longer talks, or demos will be considered. For submission details and local information, please visit: https://conf.researchr.org/track/flops-2022/aidl-2022 *** Venue / Dates for the extra workshop *** This extra event will take place early afternoon (UTC+9), 10-12 May at the venue, RIMS - Research Institute for Mathematical Sciences, Kyoto University, Japan, without any interference with the main FLOPS conference slots, and remote participants are able to attend via Zoom. We follow "Guidelines for RIMS Joint Research Activities for COVID-19"/ "infection prevention measures" in the following URL, and may cancel the physical event depending on the situation: https://www.kurims.kyoto-u.ac.jp/kyoten/en/covid-19.html The latest information will be updated on the conference/workshop webpage. *** FLOPS 2022 Accepted Papers *** The list of FLOPS 2022 accepted papers is at https://conf.researchr.org/track/flops-2022/flops-2022-papers#event-overview *** FLOPS 2022 Invited Speakers *** Lindsey Kuper (University of California at Santa Cruz) Akimasa Morihata (University of Tokyo) Peter J. Stuckey (Monash University) *** FLOPS 2022 Program Committee *** Andreas Abel Gothenburg University, Sweden Elvira Albert Universidad Complutense de Madrid Nada Amin Harvard University, 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 *** FLOPS 2022 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) -- Keigo Imai (今井敬吾) Assistant Professor in Informatics Course, Faculty of Engineering, Gifu University email: keigoi(a)gifu-u.ac.jp https://keigoimai.info/

1 0

【論文募集】VSTTE 2022 14th International Conference on Verified Software: Theories, Tools, and Experiments
by Hiroshi UNNO 30 Mar '22

30 Mar '22

# 複数受けとられた方はご容赦ください。皆様、筑波大学の海野です。ソフトウェア検証の国際会議であるVSTTE 2022のCFPをお送りいたします。形式手法の国際会議FMCAD 2022の併設となっています。こちらも投稿をご検討いただけますと幸いです。 -- 海野広志筑波大学システム情報系情報工学域 ------------------- Call for Papers VSTTE 2022 14th International Conference on Verified Software: Theories, Tools, and Experiments October 17-18 2022 Co-located with Formal Methods in Computer-Aided Design 2022 (FMCAD 2022) Overview The goal of the VSTTE conference series is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation. The Verified Software Initiative (VSI), spearheaded by Tony Hoare and Jayadev Misra, is an ambitious research program for making large-scale verified software a practical reality. The International Conference on Verified Software: Theories, Tools and Experiments (VSTTE) is the main forum for advancing the initiative. VSTTE brings together experts spanning the spectrum of software verification in order to foster international collaboration on the critical research challenges. The theoretical work includes semantic foundations and logics for specification and verification, and verification algorithms and methodologies. The tools cover specification and annotation languages, program analyzers, model checkers, interactive verifiers and proof checkers, automated theorem provers and SAT/SMT solvers, and integrated verification environments. The experimental work drives the research agenda for theory and tools by taking on significant specification/verification exercises covering hardware, operating systems, compilers, computer security, parallel computing, and cyber-physical systems. The 2022 edition of VSTTE will be the 14th conference in the series, and will be co-located with FMCAD 2022 in Trento, Italy. We welcome submissions describing significant advances in the production of verified software, i.e., software that has been proved to meet its functional specifications. Submissions of theoretical, practical, and experimental contributions are equally encouraged, including those that focus on specific problems or problem domains. We are especially interested in submissions describing large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge. We also welcome papers describing novel experiments and case studies evaluating verification techniques and technologies. Topics of interest for this conference include, but are not limited to, requirements modeling, specification languages, specification/verification/certification case studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools (e.g., static analysis, dynamic analysis, model checking, theorem proving, satisfiability), tool integration, benchmarks, challenge problems, and integrated verification environments. Paper Submissions VSTTE 2022 will accept both long (limited to 16 pages, excluding references) and short (limited to 10 pages, excluding references) paper submissions. Short submissions also cover Verification Pearls describing an elegant proof or proof technique. Submitted research papers and system descriptions must be original and not submitted for publication elsewhere. Submissions of theoretical, practical, and experimental contributions are equally encouraged, including those that focus on specific problems or problem domains. Papers will be submitted via EasyChair. Submissions that arrive late, are not in the proper format, or are too long will not be considered. The post-conference proceedings of VSTTE 2022 are planned to be published as a LNCS volume by Springer-Verlag. Authors of accepted papers will be requested to sign a form transferring copyright of their contribution to Springer-Verlag. The use of LaTeX and the Springer LNCS class files is strongly encouraged. Important Dates Abstract submission: July 15, 2022 (AoE) Paper submission: July 22, 2022 (AoE) Notification of presentation acceptance: September 5, 2022 Final pre-conference paper submission: October 5, 2022 (AoE) Conference: October 17-18, 2022 Notification of proceedings acceptance: October 29, 2022 Camera-ready for post-conference proceedings: November 29, 2022 (AoE) Registration Registration to VSTTE is part of the FMCAD 2022 process. General Chair Supratik Chakraborty (IIT Bombay, India) Program Chairs Akash Lal (Microsoft Research, India) Stefano Tonetta (FBK, Italy) Program Committee Christel Baier (TU Dresden, Germany) Nikolaj Bjorner (Microsoft Research, USA) Roderick Bloem (Graz University of Technology, Austria) Borzoo Bonakdarpour (Michigan State University, USA) Supratik Chakraborty (IIT Bombay, India) Chih-Hong Cheng (Fraunhofer IKS, Germany) Grigory Fedyukovich (Florida State University, USA) Bernd Finkbeiner (CISPA Helmholtz Center for Information Security, Germany) Carlo A. Furia (USI - Università della Svizzera Italiana, Switzerland) Rajeev Joshi (AWS, USA) Zachary Kincaid (Princeton University, USA) Akash Lal (Microsoft Research, India) Thierry Lecomte (ClearSy, France) Sergio Mover (Ecole Polytechnique, France) Kartik Nagar (IIT Madras, India) Aina Niemetz (Stanford University, USA) Gennaro Parlato (University of Molise, Italy) Kristin Yvonne Rozier (Iowa State University, USA) Natarajan Shankar (SRI International, USA) Stefano Tonetta (FBK, Italy) Elena Troubitsyna (KTH, Sweden) Hiroshi Unno (University of Tsukuba, Japan) Jyothi Vedurada (IIT Hyderabad, India) Yakir Vizel (The Technion, Israel) Yuepeng Wang (Simon Fraser University, Canada) Chao Wang (University of Southern California, USA) Kirsten Winter (The University of Queensland, Australia) Previous Editions VSTTE 2005 (Zürich, Switzerland) VSTTE 2008 (Toronto, Canada) VSTTE 2010 (Edinburgh, Scotland) VSTTE 2012 (Philadelphia, USA, co-located with POPL 2012) VSTTE 2013 (Atherton, USA) VSTTE 2014 (Vienna, Austria, co-located with CAV 2014 as part of VSL 2014) VSTTE 2015 (San Francisco, USA, co-located with CAV 2015) VSTTE 2016 (Toronto, Canada, co-located with CAV 2016) VSTTE 2017 (Heidelberg, Germany, co-located with CAV 2017) VSTTE 2018 (Oxford, UK, co-located with CAV 2018) VSTTE 2019 (New York, USA, co-located with CAV 2019) VSTTE 2020 (Los Angeles, USA, co-located with CAV 2020) VSTTE 2021 (Online, co-located with FMCAD 2021)

1 0

【論文募集】Haskell Symposium 2022
by Hiroshi UNNO 30 Mar '22

30 Mar '22

# 複数受けとられた方はご容赦ください。皆様、筑波大学の海野です。 ICFP 2022併設の国際会議Haskell Symposium 2022のCFPをお送りいたします。投稿をご検討いただけますと幸いです。 -- 海野広志筑波大学システム情報系情報工学域 ================================================================================ ACM SIGPLAN CALL FOR SUBMISSIONS Haskell Symposium 2022 Ljubljana, Slovenia Thu 15 -- Fri 16 September, 2022 http://www.haskell.org/haskell-symposium/2022/ ================================================================================ The ACM SIGPLAN Haskell Symposium 2022 will be co-located with the 2022 International Conference on Functional Programming (ICFP). Differently from previous years, Haskell'22 will use a single-track submission process (that is, we will only have the regular track and no early track). The Haskell Symposium presents original research on Haskell, discusses practical experience and future development of the language, and promotes other forms of declarative programming. Topics of interest include: * Language design, with a focus on possible extensions and modifications of Haskell as well as critical discussions of the status quo; * Theory, such as formal semantics of the present language or future extensions, type systems, effects, metatheory, and foundations for program analysis and transformation; * Implementations, including program analysis and transformation, static and dynamic compilation for sequential, parallel, and distributed architectures, memory management, as well as foreign function and component interfaces; * Libraries, that demonstrate new ideas or techniques for functional programming in Haskell; * Tools, such as profilers, tracers, debuggers, preprocessors, and testing tools; * Applications, to scientific and symbolic computing, databases, multimedia, telecommunication, the web, and so forth; * Functional Pearls, being elegant and instructive programming examples; * Experience Reports, to document general practice and experience in education, industry, or other contexts; * Tutorials, to document how to use a particular language feature, programming technique, tool or library within the Haskell ecosystem; * System Demonstrations, based on running software rather than novel research results. Regular papers should explain their research contributions in both general and technical terms, identifying what has been accomplished, explaining why it is significant, and relating it to previous work, and to other languages where appropriate. Experience reports and functional pearls need not necessarily report original academic research results. For example, they may instead report reusable programming idioms, elegant ways to approach a problem, or practical experience that will be useful to other users, implementers, or researchers. The key criterion for such a paper is that it makes a contribution from which other Haskellers can benefit. It is not enough simply to describe a standard solution to a standard programming problem, or report on experience where you used Haskell in the standard way and achieved the result you were expecting. Like an experience report and a functional pearl, tutorials should make a contribution from which other Haskellers can benefit. What distinguishes a tutorial is that its focus is on explaining an aspect of the Haskell language and/or ecosystem in a way that is generally useful to a Haskell audience. Tutorials for many such topics can be found online; the distinction here is that by writing it up for formal review it will be vetted by experts and formally published. System demonstrations should summarize the system capabilities that would be demonstrated. The proposals will be judged on whether the ensuing session is likely to be important and interesting to the Haskell community at large, whether on grounds academic or industrial, theoretical or practical, technical, social or artistic. Please contact the program chair with any questions about the relevance of a proposal. If your contribution is not a research paper, please mark the title of your experience report, functional pearl, tutorial or system demonstration as such, by supplying a subtitle (Experience Report, Functional Pearl, Tutorial Paper, System Demonstration). Submission Details ================== Formatting ---------- Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines. Authors should use the `acmart` format, with the `sigplan` sub-format for ACM proceedings. For details, see: http://www.sigplan.org/Resources/Author/#acmart-format It is recommended to use the `review` option when submitting a paper; this option enables line numbers for easy reference in reviews. Functional pearls, experience reports, tutorials and demo proposals should be labelled clearly as such. Lightweight Double-blind Reviewing ---------------------------------- Haskell Symposium 2022 will use a lightweight 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 an initial judgment 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. A reviewer will learn the identity of the author(s) of a paper after a review is submitted. Page Limits ----------- The length of submissions should not exceed the following limits: Regular paper: 12 pages Functional pearl: 12 pages Tutorial: 12 pages Experience report: 6 pages Demo proposal: 2 pages There is no requirement that all pages are used. For example, a functional pearl may be much shorter than 12 pages. In all cases, the list of references is not counted against these page limits. Deadlines --------- Abstract submission: 27 May 2022 (Fri) Paper submission: 3 June 2022 (Fri) Notification: 1 July 2022 (Fri) Deadlines are anywhere on Earth. Submission ---------- Submissions must adhere to SIGPLAN's republication policy (http://sigplan.org/Resources/Policies/Republication/), and authors should be aware of ACM's policies on plagiarism (https://www.acm.org/publications/policies/plagiarism). Program Committee members are allowed to submit papers, but their papers will be held to a higher standard. The paper submission deadline and length limitations are firm. There will be no extensions, and papers violating the length limitations will be summarily rejected. Papers should be submitted through HotCRP at: https://haskell22.hotcrp.com/ Improved versions of a paper may be submitted at any point before the submission deadline using the same web interface. Supplementary material: Authors have the option to attach supplementary material to a submission, on the understanding that reviewers may choose not to look at it. This supplementary material should not be submitted as part of the main document; instead, it should be uploaded as a separate PDF document or tarball. Supplementary material should be uploaded at submission time, not by providing a URL in the paper that points to an external repository. Authors can distinguish between anonymized and non-anonymized supplementary material. Anonymized supplementary material will be visible to reviewers immediately; non-anonymized supplementary material will be revealed to reviewers only after they have submitted their review of the paper and learned the identity of the author(s). Resubmitted Papers: authors who submit a revised version of a paper that has previously been rejected by another conference have the option to attach an annotated copy of the reviews of their previous submission(s), explaining how they have addressed these previous reviews in the present submission. If a reviewer identifies him/herself as a reviewer of this previous submission and wishes to see how his/her comments have been addressed, the conference chair will communicate to this reviewer the annotated copy of his/her previous review. Otherwise, no reviewer will read the annotated copies of the previous reviews. Proceedings =========== Accepted papers will be included in the ACM Digital Library. Their authors will be required to choose one of the following options: - Author retains copyright of the work and grants ACM a non-exclusive permission-to-publish license (and, optionally, licenses the work with a Creative Commons license); - Author retains copyright of the work and grants ACM an exclusive permission-to-publish license; - Author transfers copyright of the work to ACM. For more information, please see ACM Copyright Policy (http://www.acm.org/publications/policies/copyright-policy) and ACM Author Rights (http://authors.acm.org/main.html). Accepted proposals for system demonstrations will be posted on the symposium website but not formally published in the proceedings. Publication date: The official publication date of accepted papers is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. Artifacts ========= Authors of accepted papers are encouraged to make auxiliary material (artifacts like source code, test data, etc.) available with their paper. They can opt to have these artifacts published alongside their paper in the ACM Digital Library (copyright of artifacts remains with the authors). If an accepted paper's artifacts are made permanently available for retrieval in a publicly accessible archival repository like the ACM Digital Library, that paper qualifies for an Artifacts Available badge (https://www.acm.org/publications/policies/artifact-review-badging#available). Applications for such a badge can be made after paper acceptance and will be reviewed by the PC chair. Program Committee ================= Lennart Augustsson Epic Games Jean-Philippe Bernardy University of Gothenburg Iavor Diatchki Galois, Inc Michael Gale Tweag William Hallahan Yale University Makoto Hamana Gumma University John Hughes Chalmers University of Technology Alexis King Tweag James Koppel Massachusets Institute of Technology Rudy Matela Dominic Orchard University of Kent Nadia Polikarpova (chair) University of California, San Diego Eric Seidel Bridgewater Associates Satnam Singh Groq Wouter Swierstra Utrecht University Hiroshi Unno University of Tsukuba Marco Vassena CISPA - Helmholtz-Zentrum Dimitrios Vytiniotis DeepMind If you have questions, please contact the chair at: npolikarpova(a)ucsd.edu ================================================================================

1 0

DaLí 2022 - Call for Papers
by Katsuhiko Sano 29 Mar '22

29 Mar '22

logic-ml の皆様、北海道大学の佐野です。DaLi2022の cfpをお送りします。ふるってご投稿ください。佐野勝彦 ---- DaLí 2022 - Call for Papers http://dali2022.campus.ciencias.ulisboa.pt ***Important Dates*** - Abstract submission deadline: 03 May 2022 - Full paper submission deadline: 10 May 2022 - Author notifications: 15 June 2022 ************ ****Overview***** Dynamic logic (DL), a generalisation of the logic of Floyd-Hoare introduced in the 70s by Pratt, is a well-known and particularly powerful way of combining propositions, for capturing static properties of program states, and structured actions, responsible for transitions from a state to another (and typically combined through a Kleene algebra to express sequential, non-deterministic, iterative behaviour of systems), into a formal framework to reason about, and verify, classic imperative programs. Over time Dynamic logic grew to encompass a family of logics increasingly popular in the verification of computational systems, and able to evolve and adapt to new, and complex validation challenges. In particular, the dynamic logic community is interested in the study of operators that can modify the structure in which they are being evaluated. Examples include dynamic logics tailored to specific programming problems or paradigms (e.g., separation logics to model the evolution of a program heap); languages to reason and represent evolving information (e.g., dynamic epistemic logics); and formalism that aim to model new computing domains, including probabilistic, continuous and quantum computation. Dynamic logic is not only theoretically relevant, but it also shows enormous practical potential and it is indeed a topic of interest in several scientific venues, from wide-scope software engineering conferences to modal logic specific events. That being said, DaLí is the only event exclusively dedicated to this topic. It is our aim to once again bring together in a single place the heterogeneous community of colleagues which share an interest in Dynamic logic - from Academia to Industry, from Mathematics to Computer Science, - to promote their works, to foster great discussions and new collaborations. Previous editions of DaLí took place in Brasília (2017) and Porto (2019), and an online edition (2020). ****List of Topics**** Submissions are invited on the general field of dynamic logic, its variants and applications, including, but not restricted to: - Dynamic logic, foundations and applications - Logics with regular modalities - Modal/temporal/epistemic logics - Kleene and action algebras and their variants - Quantum dynamic logic - Coalgebraic modal/dynamic logics - Graded and fuzzy dynamic logics - Dynamic logics for cyber-physical systems - Dynamic epistemic logic - Complexity and decidability of variants of dynamic logics and temporal logics - Model checking, model generation and theorem proving for dynamic logics ****Submission and Proceedings**** Submissions of original papers (unpublished and not submitted for publication elsewhere), up to 15 pages in LNCS style, are invited through https://easychair.org/my/conference?conf=dal2022 A post-proceedings volume and a special issue of a journal are planned. ****Invited Speakers**** TBA ****Program Committee Chairs**** Carlos Areces (FaMAF, Universidad Nacional de Córdoba, AR) Diana Costa (LASIGE, FCUL, University of Lisbon, PT) ****Program Commitee**** Thomas Ågotnes (U. Bergen, NO) Natasha Alechina (Utrecht U., NL) Carlos Areces (U. Córdoba, AR) Philippe Balbiani (IRIT, FR) Serenella Cerrito (IBISC, U. Evry, U. Paris-Saclay, FR) Diana Costa (U. Lisbon, PT) Giovanna D'Agostino (U. Udine, IT) Stéphane Demri (CNRS, FR) Hans van Ditmarsch (Open University, NL) Raul Fervari (U. Córdoba, AR) Sabine Frittella (LIFO, FR) Nina Gierasimczuk (TU Denmark, DK) Rajeev Gore (Vienna U. of Technology, AU and Polish A. of Science, PO) Reiner Hähnle (TU Darmstadt, DE) Rolf Hennicker (LMU Munich, DE) Sophia Knight (U. Minnesota, USA) Clemens Kupke (U. Strathclyde, UK) Stepan Kuznetsov (Steklov Mathematical Institute, RU) Alexandre Madeira (U. Aveiro, PT) Sonia Marin (U. Birmingham, UK) Manuel Martins (U. Aveiro, PT) Larry Moss (Indiana University Bloomington, USA) Cláudia Nalon (U. Brasília, BR) Nicola Olivetti (Aix-Marseille U., FR) Eric Pacuit (U. Maryland, USA) Alessandra Palmigiano (Vrije Universiteit Amsterdam, NL) Vít Punčochář (Czech Academy of Sciences, CZ) Katsuhiko Sano (Hokkaido U., JP) Igor Sedlár (Czech Academy of Sciences, CZ) Rineke Verbrugge (U. Groningen, NL) Frank Wolter (U. Liverpool, UK)

1 0

(fwd) Call for 10 PhD Positions in Computer Science at TU Wien, Vienna, Austria
by Norbert Preining 29 Mar '22

29 Mar '22

皆さんプライニング＠富士通研究です。ウィーン工科大学で「full time」（給料があり）のPhD１０こを募集しています。素晴らしいCSと数学論理学の場所なので、興味がある方を知りましたら、ぜひお伝えください。申請締め切りは4月末です。質問など遠慮なくプライニングへ (メール： norbert(a)preining.info) よろしくお願いいたします。プライニング ----- Forwarded message from Agata Ciabattoni ----- > Second Call for Applications > > The novel interdisciplinary Marie Skłodowska-Curie COFUND doctoral training > programme LogiCS@TUWien – Logics for Computer Science Program at TU Wien, > co-funded by the European Commission, offers *10* full-time PhD positions. > > The program is hosted by TU Wien, one of the most successful technical > Universities in Europe and the largest one in Austria. The Faculty of > Informatics of TU Wien is a leading research and teaching institution which > consistently ranks among the top 100 computer science faculties in the > global Times Higher Education ranking. In the heart of Europe, Vienna has a > prominent history in mathematics, computer science, and logic research, and > offers one of the highest living standards in the world. > > The programme provides a 4-year doctoral training for international PhD > candidates within an English-language curriculum. The doctoral positions are > open to international high-potential early-stage researchers with a strong > background in Logical Methods in Computer Science and > their applications in areas like Artificial Intelligence, Databases, > Verification, Algorithms, Knowledge Representation and Computational Logic. > > Each PhD candidate will be supervised by at least one of the LogiCS@TUWien > professors, see > > http://www.vcla.at/msca/supervisors/. > > We are looking for exceptional candidates to allocate twenty positions as a > university assistant (Pre-Doc) for 4 years for 40 hours/week. Expected start: > June-September 2022. > > > > Your tasks: > > Deepening of scientific knowledge and independent research work on the > specific PhD topic > Collaboration on current research projects > Preparation of scientific publications and a PhD thesis in English > Presentation of research results at international conferences and other > scientific events > Successful completion of important milestones of the program, see > http://www.vcla.at/msca/training/ > Participation in events organized by the program LogiCS@TUWien > > Your profile: > > Completion of a Masters and Bachelor degree or equivalent in computer > science, computational > logic, discrete mathematics or related disciplines, with outstanding > academic performance > Previous research experience in the subjects of the specific project is > highly desirable, see for details http://www.vcla.at/msca/topics/ > Excellent skills in English communication and writing > Active readiness for scientific collaboration > Team competences and problem-solving skills > Positive attitude and contribution to the work environment > Striving for continuous personal development > > We offer: > > Diverse and exciting research projects on cutting edge topics, see > http://www.vcla.at/msca/topics/ > Continuing personal and professional education and flexible working hours > High-quality supervision by renowned professors > Ample possibilities for building an international research network, doing > internships, and establishing research collaborations > Very competitive salary > Administrative support in study and life questions > Central location with excellent accessibility (U1/U2/U4 Karlsplatz) in a > city regularly ranked first worldwide for life quality > > > > TU Wien is committed to increasing female employment in leading scientific > positions. Female candidates are explicitly encouraged to apply. Preference will > be given when equally qualified. > > People with special needs are equally encouraged to apply. In case of any > questions, please contact the confidant for disabled persons at the university. > > Entry level salary as a predoctoral researcher is covered by level B1 of the > Austrian Collective Agreement for university staff, and receives a minimum of > currently EUR 2971,50/month gross (14 times/year) for 40 hours/week. > > NOTE: Please make sure to state in your motivation letter which research > projects (among http://www.vcla.at/msca/topics/) are your 1st, 2nd and 3rd > choice. > > Please check eligibility criteria such as MSCA mobility rule, early-stage > researchers and PhD qualification, see http://www.vcla.at/msca/apply. > > > For more detail please check our website http://www.vcla.at/msca/programme/ > > We look forward to receiving your application until 30.04.2022. ----- End forwarded message ----- -- PREINING Norbert https://www.preining.info Fujitsu Research + IFMGA Guide + TU Wien + TeX Live GPG: 0x860CDC13 fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13

1 0

QIT46のご案内
by NISHIMURA Harumichi 27 Mar '22

27 Mar '22

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

1 0

【参加登録システム再オープンのお知らせ】　第 24 回プログラミングおよびプログラミング言語ワークショップ（PPL2022）
by Ryoma Sin'ya 05 Mar '22

05 Mar '22

PPL の皆様（重複ご容赦ください），明日から３日間オンラインで開催される第 24 回プログラミングおよびプログラミング言語ワークショップ（PPL 2022）の参加登録システムを再オープンいたしました．参加登録〆に間に合わなかった方がいらっしゃいましたら，お手数ですが本日 21:00 までにシステムから参加登録いただけるとありがたいです．また，「参加登録は既に行っているが，Slack への招待リンクの案内メールなどが来ていない」という方がいらっしゃいましたら，お手数ですが ppl2022-oc(a)googlegroups.com <mailto:ppl2022-oc@googlegroups.com> までご連絡いただけますでしょうか．なにとぞよろしくお願いいたします． ================================================================ 秋田大学　数理科学コース新屋良磨

1 1

TACL 2022 deadline extension
by 小野寛晰 03 Mar '22

03 Mar '22

=================================================== TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2022) Abstract submission deadline extension =================================================== Conference: June 20-24, 2022 in Coimbra School: June 13-18, 2022 in Praia de Mira https://www.mat.uc.pt/~tacl2022 <https://www.mat.uc.pt/~tacl2022> Organized by the Centre for Mathematics (CMUC) and the Department of Mathematics (DMUC) of the University of Coimbra CONFERENCE Important dates --------------------- Contributed talks: Submission deadline: March 31, 2022 Notification to authors: April 22, 2022 Registration will open next week. The registration fee includes the welcome reception, coffee-breaks, lunches, excursion, and the conference dinner at São Marcos Palace (https://www.portugalfinest.pt/places/palacio-sao-marcos <https://www.portugalfinest.pt/places/palacio-sao-marcos>). Academic registration: 150 euros (early registration: until May 15); 200 euros (after May 15) Student registration: 100 euros (early registration: until May 15); 150 euros (after May 15) SCHOOL Registration will open next week. Registration fee will be about 260 euros, but it may depend on the type of accommodation chosen. It includes accommodation, the welcome dinner, lunches and coffee-breaks. Note that the number of spaces in the school is limited. Limited funds for supporting summer school participants are available (mainly through the ERC Advanced Project DuaLL). This is intended primarily for students, but non-students can be considered in exceptional circumstances. Those who plan to request financial support should submit a copy of their CV and a letter of support from their PhD advisor or post-doc supervisor (if applicable) to tacl2022(a)mat.uc.pt <mailto:tacl2022@mat.uc.pt>, with 'Summer School support request' in the subject, by March 18, 2022.

1 0

【講演追加募集】第56回MLG数理論理学研究集会
by kawano.t.af 02 Mar '22

02 Mar '22

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

1 0

【CSCAT 2022】発表募集
by Kazuyuki ASADA 23 Feb '22

23 Feb '22

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

1 0

【プログラム確定報告＆参加募集リマインド】第 24 回プログラミングおよびプログラミング言語ワークショップ（PPL2022）
by Ryoma Sin'ya 17 Feb '22

17 Feb '22

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

1 0

POPL 2022 Virtual Workshop
by Youyou Cong 26 Jan '22

26 Jan '22

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

1 0

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

25 Jan '22

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

1 0

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

24 Jan '22

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

1 0

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

21 Jan '22

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

1 0

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

19 Jan '22

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

1 0

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

17 Jan '22

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

1 0

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

12 Jan '22

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

1 0

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

11 Jan '22

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

1 0

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

10 Jan '22

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

1 0

SOCREAL 2022: The First Call for Papers
by Katsuhiko Sano 08 Jan '22

08 Jan '22

logic-ml の皆様、北海道大学の佐野です。2/28~3/1にオンラインで開催される、 SOCREAL 2022の The First Call for Papersをお送りします。佐野勝彦 -------- The First Call for Papers SOCREAL 2022 (6th International Workshop on Philosophy and Logic of Social Reality 28 February - 1 March 2022, On-Line Under the auspices of * Laboratory of Philosophy and Ethics, Department of Philosophy and Religious Studies, Hokkaido University, * CAEP (Center for Applied Ethics and Philosophy), Faculty of Humanities and Human Sciences, Hokkaido University, and LOG-UCI (An interdisciplinary study of the logical dynamics of the interaction between utterances and social contexts, funded by JSPS, JSPS KAKENHI Grant Number JP 17H02258) [About SOCREAL] Since the last years of the 20th century, a number of attempts have been made in order to model various aspects of social interaction among agents including individual agents, organizations, and individuals who have positions in organizations. The aim of SOCREAL Workshop is to bring together researchers working on diverse aspects of such interaction in logic, philosophy, ethics, computer science, cognitive science and related fields in order to share issues, ideas, techniques, and results. The earlier editions of SOCREAL Workshop have been held in March 2007, March 2010, October 2013, October 2016, and November 2019 in Hokkaido University. Building upon the success of these editions, its sixth edition will be held from 28 February till 1 March 2022 On-line. SOCREAL 2022 will consist of lectures by invited speakers and presentations of submitted papers. Invited lectures will be given by Alexandru Baltag (Amsterdam) Johan van Benthem (Stanford, Tsinghua), Mamoru Kaneko (Tsukuba), Fenrong Liu (Tsinghua), Katsuhiko Sano (Hokkaido), Jeremy Seligman (Auckland), Sonja Smets (Amsterdam), Satoshi Tojo (JAIST), and Tomoyuki Yamada (Hokkaido). The working language of SOCREAL Workshop is English. [Submission] A few time slots for contributed papers are available. Researchers from various fields, including logic, philosophy, ethics, computer science, cognitive science are hereby invited to submit an extended abstract (up to two thousand words) by 30 January 2022 via the easychair at: https://easychair.org/conferences/?conf=socreal2022 . Please upload your abstract as ``the paper'' via ``Files'' section. Abstracts will be peer-reviewed by the program committee of the workshop. Abstracts should be written in English and submitted in .pdf format. Each abstract should include a title, names and contact details of the author or all the co-authors. It is requisite for the author or at least one of the co-authors of each accepted paper to present the paper on line via Zoom. [Registration] Participation in SOCREAL 2022 is free but registration is mandatory. Please register by submitting the registration form accessible at: https://forms.gle/qE6gg6GryCUESUku6 . The Zoom link will be sent to registered participants by email. [Important Dates] Deadline for Submission of Abstracts: 30 January 2022 Notification of Acceptance: 22 February 2022 Deadline for Registration: 25 February 2022 Workshop: 28 February - 1 March 2022 [Publication] A booklet in the .pdf format containing the abstracts of all the accepted papers will be made available at the website of the workshop. On-line proceedings containing the papers and/or the presentation slides presented at the workshop will be made available after the workshop. Authors of the presented papers will also be encouraged to submit (the revised versions of) the full papers for publication in an issue of The Journal of Applied Ethics and Philosophy after the workshop. The papers should be written according to the submission guidelines of the journal, and will be peer-reviewed. Further particularities and instructions will be announced after the workshop. [Website] For more information, please visit the following website: http://www.asahi-net.or.jp/~yt6t-ymd/sr22/index.html . [Contact] Tomoyuki Yamada ( yamada[at]let.hokudai.ac.jp )

1 0

WRLA 2022: Call for Papers (deadline extension)
by Nao Hirokawa 06 Jan '22

06 Jan '22

皆様来年4月に ETAPS 2022 の併設イベントとして開催されます書換え論理と応用に関するワークショップ WRLA-28 の deadline extension をご案内致します。ぜひ論文の投稿をご検討下さい。廣川 (JAIST) --------------------------------------------------------------------------- Call for Papers WRLA 2022 14th International Workshop on Rewriting Logic and its Applications An ETAPS 2022 satellite event, Munich, Germany, April 2-3, 2022 --------------------------------------------------------------------------- IMPORTANT DATES Abstract submission deadline: Jan 4, 2022 (AoE) (extended!) Paper submission deadline: Jan 11, 2022 (AoE) (extended!) Notification: Feb 8, 2022 Conference: April 2-3, 2022 INVITED SPEAKERS Sebastian Mödersheim Technical University of Denmark, Denmark Gwen Salaün University Grenoble Alpes, France AIMS AND SCOPE Rewriting is a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication, and interaction. It can be used for specifying a wide range of systems and languages in various application domains. It also has good properties as a metalogical framework for representing logics. Several successful languages based on rewriting (ASF+SDF, CafeOBJ, ELAN, Maude) have been designed and implemented. The aim of WRLA is to bring together researchers with a common interest in rewriting and its applications, and to give them the opportunity to present their recent work, discuss future research directions, and exchange ideas. The topics of the workshop include, but are not limited to: A. Foundations and models of rewriting and rewriting logic * termination, confluence, coherence, and complexity * unification, generalization, narrowing, and partial evaluation * constrained rewriting and symbolic algebra * graph rewriting, tree automata, and rewriting strategies * rewriting-based calculi and explicit substitutions B. Rewriting as a logical and semantic framework * uses of rewriting as a logical framework, including deduction modulo * uses of rewriting as a semantic framework for programming languages * rewriting semantics of concurrency models and distributed systems * rewriting semantics of real-time, hybrid, and probabilistic systems * uses of rewriting for compilation and language transformation C. Rewriting languages * rewriting-based declarative languages * type systems for rewriting * implementation techniques * tools supporting rewriting languages D. Verification techniques * confluence, termination, coherence, and sufficient completeness * temporal, modal, and reachability logics for rewrite theories * model checking techniques for rewrite theories * rewriting-based theorem proving * rewriting-based constraint solving and satisfiability * rewriting-semantics-based verification and analysis of programs E. Applications * applications in logic, mathematics, physics, chemistry, and biology * security specification and verification * applications to distributed, network, mobile, and cloud computing * applications to cyber-physical and intelligent systems * applications to model-based software engineering * applications to engineering and planning. PAPER SUBMISSION We solicit submissions of regular papers, tool papers, and work-in-progress papers. Regular papers must contain original contributions, be clearly written, and include appropriate references and comparison with related work. Tool papers have to present a new tool, a new tool component, or novel extensions to an existing tool. Work-in-progress papers present early-stage work or other types of innovative or thought-provoking work. All submissions must be original, unpublished, and not submitted simultaneously for publication elsewhere. Papers must be formatted according to the guidelines for Springer LNCS papers and should not exceed 15 pages (excluding references). Paper submission is done via EasyChair at https://easychair.org/conferences/?conf=wrla2022. PUBLICATION All accepted papers will be presented at the workshop and included in the pre-proceedings, which will be available during the workshop. Following the tradition of the last editions, regular, tool, and invited papers will be published as a volume in Springer's Lecture Notes in Computer Science (LNCS) series to be distributed after the workshop. The authors of a subset of accepted papers will be invited to submit extended versions of their papers to a special issue of the Journal of Logical and Algebraic Methods in Programming (JLAMP). BEST PAPER AWARD The program committee will consider a best paper award (a diploma and 500 euro) for a paper in which at least one author is a junior researcher (a PhD student or the PhD defense was less than two years ago). The PC chair may require the other authors to declare that at least 50% of the contribution was made by the junior researcher. PROGRAM COMMITTEE Erika Abraham RWTH Aachen University, Germany María Alpuente Universitat Politècnica de València, Spain Kyungmin Bae (chair) POSTECH, Korea Roberto Bruni Università di Pisa, Italy Francisco Durán Universidad de Málaga, Spain Santiago Escobar Universitat Politècnica de València, Spain Maribel Fernández King's College London, United Kingdom Mark Hills East Carolina University, USA Nao Hirokawa JAIST, Japan Alexander Knapp University Augsburg, Germany Temur Kutsia Johannes Kepler University Linz, Austria Alberto Lluch-Lafuente Technical University of Denmark, Denmark Dorel Lucanu Alexandru Ioan Cuza University, Romania Salvador Lucas Universitat Politècnica de València, Spain Narciso Martí-Oliet Universidad Complutense de Madrid, Spain José Meseguer University of Illinois at Urbana-Champaign, USA Aart Middeldorp University of Innsbruck, Austria Vivek Nigam Federal University of Paraíba, Brazil Kazuhiro Ogata JAIST, Japan Peter Ölveczky University of Oslo, Norway Adrián Riesco Universidad Complutense de Madrid, Spain Christophe Ringeissen INRIA, France Camilo Rocha Pontificia Universidad Javeriana, Colombia Vlad Rusu INRIA Lille, France Traian-Florin Serbanuta University of Bucharest, Romania Carolyn Talcott SRI International, USA CONTACT INFORMATION For more information, please contact the organizer kmbae(a)postech.ac.kr or visit the workshop web page http://sv.postech.ac.kr/wrla2022

1 1

PEPM 2022 - Call for Participation
by Youyou Cong 04 Jan '22

04 Jan '22

みなさま、あけましておめでとうございます。東京工業大学の叢です。 POPL 2022 の併設ワークショップ PEPM 2022 の参加募集をお送りいたします。オンライン開催で、特に2日目はアジアから参加しやすいスケジュールになっています。早期参加登録の締切は日本時間の1月4日 20:59 です。みなさまのご参加をお待ちしております。叢悠悠 -- CALL FOR PARTICIPATION -- 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 (co-located with POPL 2022, with no physical component) PEPM brings together researchers in partial evaluation, program manipulation, and related areas. This year, we are announcing "PEPM 30", a project aiming at preserving and celebrating the history of PEPM. To this effect, the program includes five invited talks by the key contributors of the PEPM community. We will have a PEPM 30+ History Celebration Day at PEPM 2023. Invited Talks: * Andrei Klimov "Why are partial evaluation and supercompilation still not widely used in practice? Reflections in light of Russian work on metacomputation." * Y. Annie Liu "From meta frameworks and transformations to distributed computing and more" * Frank Pfenning "Modal Logics and Types: Looking Back and Looking Forward" * Naoki Kobayashi "On Type-Based Techniques for Program Manipulation" * Peter Sestoft "A partial history of partial evaluation" Please find the full program at: https://popl22.sigplan.org/home/pepm-2022#program and register yourself at: https://regmaster.com/2022conf/POPL22/register.php Note that early registration closes on January 3rd. We look forward to seeing you at the workshop! Zena M. Ariola (Program Co-Chair) Youyou Cong (Program Co-Chair)

1 0

【投稿受付中】第24回プログラミングおよびプログラミング言語ワークショップ (PPL 2022) 論文/発表募集
by Kento EMOTO 13 Dec '21

13 Dec '21

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

1 0

New journal: TheoretiCS
by Naoki Kobayashi 10 Dec '21

10 Dec '21

皆様、東京大学の小林です。新しい国際ジャーナル TheoretiCSが今月から立ち上がりましたので宣伝させてください。 https://theoretics.episciences.org/ 計算理論、プログラム理論分野両方をカバーする理論計算機科学分野のトップジャーナルとすることを意図しており、日本からはNIIの河原林先生と私が編集委員として入っています。投稿をお待ちしております。 -- 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

28th WoLLIC 2022 - First Call for Papers
by 小野寛晰 03 Dec '21

03 Dec '21

[Please distribute. Apologies for multiple postings] CALL FOR PAPERS WoLLIC 2022 28th Workshop on Logic, Language, Information and Computation September 20 to 23, 2022 Iași, Romania ORGANISATION Faculty of Computer Science, Alexandru Ioan Cuza University, Romania 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-eighth WoLLIC will be held at the Faculty of Computer Science, Alexandru Ioan Cuza University, Iași, Romania, September 20 to 23, 2022. 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) (tbc), and the Sociedade Brasileira de Lógica (SBL). ABOUT THE LOCATION Iași https://www.uaic.ro/en/iasi-2/ <https://www.uaic.ro/en/iasi-2/> 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, programming and Artificial Intelligence (AI); novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability and explainable AI; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection; foundations of mathematics; philosophical logic; philosophy of language. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. Articles should be written in the LaTeX format of LNCS by Springer (see author's instructions at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 <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 2022 EasyChair website https://easychair.org/conferences/?conf=wollic2022 <https://easychair.org/conferences/?conf=wollic2022>. PROCEEDINGS The proceedings of WoLLIC 2022, 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 2022 issue of a scientific journal (to be confirmed). INVITED SPEAKERS (tba) IMPORTANT DATES April 30, 2022: Abstract deadline May 7, 2022: Full paper deadline June 15, 2022: Author notification June 26, 2022: Final version deadline (firm) PROGRAMME COMMITTEE Agata Ciabattoni (Technische Universität Wien) (Co-Chair) Diana Costa (University of Lisbon) Hans van Ditmarsch (Open University of the Netherlands) Roman Kuznets (Technische Universität Wien) João Marcos (Univ Federal do Rio Grande do Norte) Larry Moss (Indiana University Bloomington) Valeria de Paiva (Topos Institute and PUC-Rio) Elaine Pimentel (Univ Federal do Rio Grande do Norte) (Co-Chair) Revantha Ramanayake (University of Groningen) Mehrnoosh Sadrzadeh (University College London) Alexandra Silva (Cornell University) Alex Simpson (University of Ljubljana) Sonja Smets (University of Amsterdam) Alwen Tiu (The Australian National University) Leon van der Torre (University of Luxembourg) Andrea Aler Tubella (Umeå University) Andres Villaveces (Universidad Nacional de Colombia) Renata Wassermann (Universidade de São Paulo) (MORE TBC) STEERING COMMITTEE Samson Abramsky, Anuj Dawar, Juliette Kennedy, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Lawrence Moss, Luke Ong, Valeria de Paiva, Ruy de Queiroz, Alexandra Silva, Renata Wassermann. ADVISORY COMMITTEE Johan van Benthem, Joe Halpern, Wilfrid Hodges, Angus Macintyre, Hiroakira Ono, Jouko Väänänen. ORGANISING COMMITTEE Ștefan Ciobâcă (Alexandru Ioan Cuza Univ) (Co-Chair) (more to be announced) Anjolina G. de Oliveira (Univ Federal de Pernambuco, Brasil) Ruy de Queiroz (Univ Federal de Pernambuco, Brasil) (co-chair) SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) (tbc) European Association for Theoretical Computer Science (EATCS) (tbc) Sociedade Brasileira de Lógica (SBL) (tbc) 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 who is considered a father of modern differential geometry. "Taking the Long View: The Life of Shiing-shen Chern" (George Scisery, 2011) examines the life of a remarkable mathematician whose formidable mathematical contributions were matched by an approach and vision that helped build bridges between China and the West. The biographical documentary follows Shiing-shen Chern (1911-2004) through many of the most dramatic events of the 20th century, portraying a man who dedicated his life to pure mathematics with the style of a classical Chinese sage. (zalafilms.com <http://zalafilms.com/>) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE http://wollic.org/wollic2022/ <http://wollic.org/wollic2022/>

1 0

WRLA 2022: Call for Papers
by Nao Hirokawa 29 Nov '21

29 Nov '21

皆様来年4月に ETAPS 2022 の併設イベントとして開催されます書換え論理と応用に関するワークショップ WRLA-28 の論文募集案内をお送り致します。ぜひ論文の投稿をご検討下さい。廣川 (JAIST) --------------------------------------------------------------------------- Second Call for Papers WRLA 2022 14th International Workshop on Rewriting Logic and its Applications An ETAPS 2022 satellite event, Munich, Germany, April 2-3, 2022 --------------------------------------------------------------------------- IMPORTANT DATES Abstract submission deadline: Dec 21, 2021 (AoE) Paper submission deadline: Dec 28, 2021 (AoE) Notification: Feb 8, 2022 Conference: April 2-3, 2022 INVITED SPEAKERS Sebastian Mödersheim Technical University of Denmark, Denmark Gwen Salaün University Grenoble Alpes, France AIMS AND SCOPE Rewriting is a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication, and interaction. It can be used for specifying a wide range of systems and languages in various application domains. It also has good properties as a metalogical framework for representing logics. Several successful languages based on rewriting (ASF+SDF, CafeOBJ, ELAN, Maude) have been designed and implemented. The aim of WRLA is to bring together researchers with a common interest in rewriting and its applications, and to give them the opportunity to present their recent work, discuss future research directions, and exchange ideas. The topics of the workshop include, but are not limited to: A. Foundations and models of rewriting and rewriting logic * termination, confluence, coherence, and complexity * unification, generalization, narrowing, and partial evaluation * constrained rewriting and symbolic algebra * graph rewriting, tree automata, and rewriting strategies * rewriting-based calculi and explicit substitutions B. Rewriting as a logical and semantic framework * uses of rewriting as a logical framework, including deduction modulo * uses of rewriting as a semantic framework for programming languages * rewriting semantics of concurrency models and distributed systems * rewriting semantics of real-time, hybrid, and probabilistic systems * uses of rewriting for compilation and language transformation C. Rewriting languages * rewriting-based declarative languages * type systems for rewriting * implementation techniques * tools supporting rewriting languages D. Verification techniques * confluence, termination, coherence, and sufficient completeness * temporal, modal, and reachability logics for rewrite theories * model checking techniques for rewrite theories * rewriting-based theorem proving * rewriting-based constraint solving and satisfiability * rewriting-semantics-based verification and analysis of programs E. Applications * applications in logic, mathematics, physics, chemistry, and biology * security specification and verification * applications to distributed, network, mobile, and cloud computing * applications to cyber-physical and intelligent systems * applications to model-based software engineering * applications to engineering and planning. PAPER SUBMISSION We solicit submissions of regular papers, tool papers, and work-in-progress papers. Regular papers must contain original contributions, be clearly written, and include appropriate references and comparison with related work. Tool papers have to present a new tool, a new tool component, or novel extensions to an existing tool. Work-in-progress papers present early-stage work or other types of innovative or thought-provoking work. All submissions must be original, unpublished, and not submitted simultaneously for publication elsewhere. Papers must be formatted according to the guidelines for Springer LNCS papers and should not exceed 15 pages (excluding references). Paper submission is done via EasyChair at https://easychair.org/conferences/?conf=wrla2022. PUBLICATION All accepted papers will be presented at the workshop and included in the pre-proceedings, which will be available during the workshop. Following the tradition of the last editions, regular, tool, and invited papers will be published as a volume in Springer's Lecture Notes in Computer Science (LNCS) series to be distributed after the workshop. The authors of a subset of accepted papers will be invited to submit extended versions of their papers to a special issue of the Journal of Logical and Algebraic Methods in Programming (JLAMP). BEST PAPER AWARD The program committee will consider a best paper award (a diploma and 500 euro) for a paper in which at least one author is a junior researcher (a PhD student or the PhD defense was less than two years ago). The PC chair may require the other authors to declare that at least 50% of the contribution was made by the junior researcher. PROGRAM COMMITTEE Erika Abraham RWTH Aachen University, Germany María Alpuente Universitat Politècnica de València, Spain Kyungmin Bae (chair) POSTECH, Korea Roberto Bruni Università di Pisa, Italy Francisco Durán Universidad de Málaga, Spain Santiago Escobar Universitat Politècnica de València, Spain Maribel Fernández King's College London, United Kingdom Mark Hills East Carolina University, USA Nao Hirokawa JAIST, Japan Alexander Knapp University Augsburg, Germany Temur Kutsia Johannes Kepler University Linz, Austria Alberto Lluch-Lafuente Technical University of Denmark, Denmark Dorel Lucanu Alexandru Ioan Cuza University, Romania Salvador Lucas Universitat Politècnica de València, Spain Narciso Martí-Oliet Universidad Complutense de Madrid, Spain José Meseguer University of Illinois at Urbana-Champaign, USA Aart Middeldorp University of Innsbruck, Austria Vivek Nigam Federal University of Paraíba, Brazil Kazuhiro Ogata JAIST, Japan Peter Ölveczky University of Oslo, Norway Adrián Riesco Universidad Complutense de Madrid, Spain Christophe Ringeissen INRIA, France Camilo Rocha Pontificia Universidad Javeriana, Colombia Vlad Rusu INRIA Lille, France Traian-Florin Serbanuta University of Bucharest, Romania Carolyn Talcott SRI International, USA CONTACT INFORMATION For more information, please contact the organizer kmbae(a)postech.ac.kr or visit the workshop web page http://sv.postech.ac.kr/wrla2022

1 0

締切延長: FLOPS 2022
by Atsushi Igarashi 17 Nov '21

17 Nov '21

皆様，(マルチポストご容赦ください) 京都大学の五十嵐です．先日お知らせいたしました，来年の５月に京都で開催予定の関数型および論理プログラミングの国際会議 FLOPS 2022 ですが，この度締切を延長いたしましたのでお知らせいたします．新しいスケジュールは， Abstract submission: December 8, 2021 (AoE) Paper submission: December 12, 2021 (AoE) Notification: January 28, 2022 となります．また，Science of Computer Programming 誌で 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). Post-proceedings: The authors of 4-7 best papers will be invited to submit an extended version of their FLOPS paper to a special issue which will appear in the journal Science of Computer Programming (SCP). *** Important Dates *** Abstract submission: December 8, 2021 (AoE) Paper submission: December 12, 2021 (AoE) Notification: January 28, 2022 Camera ready due: February 20, 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

ロジックスクール(12月6-17日); ホモトピー型理論のオンライン連続講義等（学生教員等は参加無料）
by Yoshihiro Maruyama 16 Nov '21

16 Nov '21

皆様、今年の12月6-17日にオーストラリア国立大学にてロジックサマースクールがZoomでオンライン開催されます。第一週目は普通の論理の基本から不完全性定理など、さらに第二週目には発展的なトピックのレクチャーが沢山あります。特におすすめなのは、今回特別にお願いした、上村太一さんによるホモトピー型理論の連続レクチャーです。 D.Pattinsonさんの構成的論理のレクチャーなどもおすすめです。計算機系への論理の応用トピックも豊富にあります。学生や教員など大学関係者は（どこの所属でもあっても）すべて参加無料です。参加登録の必要はありますので、詳細は下記ウェブページをご参照ください：プログラム： http://lss.cecs.anu.edu.au/program/ 参加登録： http://lss.cecs.anu.edu.au/registration/ 日本からはタイムゾーン的にも比較的参加しやすい時間帯になっておりますので、是非どなたでもご自由にご参加ください。情報のシェアも自由に行なって頂けたら幸いです。以上どうぞよろしくお願いいたします。丸山善宏

1 0

【投稿受付開始】第24回プログラミングおよびプログラミング言語ワークショップ (PPL 2022) 論文/発表募集
by Kento EMOTO 14 Nov '21

14 Nov '21

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

1 0

数学基礎論若手の会 2021（〆切：11/19（金），期間：12/3（金）～12/5（日））
by Taishi Kurahashi 12 Nov '21

12 Nov '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

[Update and reminder] TPP 2021: Nov. 21-22 in Kitami
by Takafumi Saikawa 10 Nov '21

10 Nov '21

Dear all (English version follows below), 皆様、 COVID-19の状況が落ち着いていますので、今年のTPPミーティングは予定通り現地開催します。皆様の参加ご登録をお待ちしております。また、Zoomによる配信も並行して行い、そのリンクは後日参加登録者にお送りします。開催日程：2021年11月21日(日), 22日(月) 会場：北見工業大学; C121講義室(21日) および E131講義室(22日) 住所：090-8507 北海道北見市公園町165番地詳細、TPPmark、登録はこちらをご覧ください: https://t6s.github.io/tpp2021/ 才川 ---- Dear Colleagues, As COVID-19 is currently tamed in Japan, we have decided to hold this year's TPP 2021 physically in Kitami. We are welcoming your registration! We are going to also prepare a Zoom channel. Its link will be sent to the registered participants later. Date: Sun. 21st to Mon. 22nd, November 2021 Venue: Kitami Institute of Technology; Room C121 for 21st and Room E131 for 22nd Address: 165 Koen-cho, Kitami, Hokkaido 090-8507 Please visit the website for registration and more details, including TPPMark problems: https://t6s.github.io/tpp2021/ Best regards, Takafumi Saikawa

1 0

ERATO Project Colloquium by Prakash Panangaden (10:00-11:30 on November 9th)
by Jeremy Dubut 04 Nov '21

04 Nov '21

** *Dear all,* * On Tuesday November 9th, Prakash Panangaden (McGill University, Canada) will give a talk, Quantitative Equational Logic, for our project colloquium from 10am (please note the unusual time). 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 November 9th, 10:00-11:30* Speaker: *Prakash Panangaden (McGill University, Canada) * Title: Quantitative Equational Logic Abstract: Equations are at the heart of mathematical reasoning and reasoning with equations is the subject of equational logic. There are some landmark results in equational logic due to Birkhoff: the completeness theorem and the variety theorem. In the closely related subject of universal algebra there are results about algebraic structures defined equationally. Among these a major result is the existence of free algebras satisfying a universal property. In categorical terms, one can define monads on SET whose Eilenberg-Moore category gives the algebras and whose Kleisli category defines the free algebras. Together with Gordon Plotkin and Radu Mardare, we developed a theory of approximate equational reasoning by introducing the symbol =ε where ε is a (small) real number. One should think of s =ε t as meaning that s and t are within ε in some suitable sense. It turns out that one can define the notion of approximate equational reasoning and prove an analogue of the completeness theorem and the variety theorem. One can also define a quantitative algebra, which is an algebra equipped with a metric and give a construction of free algebras. This time the categorical description amounts to defining monads on EMET, the category of extended metric spaces and nonexpansive maps. More important than the theory is the existence of interesting examples that are very pertinent for probabilistic reasoning. There have been several interesting developments since the original paper in 2016. I will mention some of these but will not go into depth. Our work was aided by the contributions of Giorgio Bacci who played a major role in some of the later developments. *

1 0

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

30 Oct '21

（複数のメーリングリストにお送りしています．重複してお受け取りの際はご容赦ください）皆様 RIMS共同研究(公開型)「証明と計算の理論と応用」の参加申し込みの締め切りが近づいて参りましたので，再送させていただきます．ご検討のほど何卒よろしくお願いいたします． 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（ポスター講演募集11/12締切）
by NISHIMURA Harumichi 26 Oct '21

26 Oct '21

logic-mlの皆様名古屋大の西村です．第45回量子情報技術研究会（QIT45）のポスター講演が 11/12に迫ってきたということでリマインドを代理投稿させていただきます．どうぞよろしくお願いいたします．名古屋大学大学院情報学研究科西村治道 -------------------------------------------------------------- 第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システムを使用する予定．各種締切：【口頭講演申込締切】　　2021年10月22日（金）(募集終了) 【ポスター講演申込締切】2021年11月12日（金）【予稿原稿提出締切】　　2021年11月12日（金）【参加事前登録】　　　　2021年11月19日（金）【参加費の銀行振込】　　2021年11月19日（金）【問合せ先】山本俊 (大阪大学) 生田力三 (大阪大学) 小林俊輝 (大阪大学) 山下眞 (大阪大学) 　Email: qit45committee(a)qi.mp.es.osaka-u.ac.jp 主催：量子情報技術特別研究専門委員会（委員長：小芦雅斗（東京大学））共催：応用物理学会量子エレクトロニクス研究会大阪大学量子情報・量子生命研究センター（QIQB）

1 0

TPP 2021: Nov. 21-22 in Kitami
by Takafumi Saikawa 22 Oct '21

22 Oct '21

Dear all (English version follows below), 皆様、名古屋大学の才川隆文と申します。今年のTPPミーティングを以下のように開催いたします。どうぞ皆様ふるってご参加ください。開催日程：2021年11月21日(日), 22日(月) 会場：北見工業大学 14号館 1階 E131講義室住所：090-8507 北海道北見市公園町165番地 Zoomによるオンライン参加も可能です。詳細、TPPmark、登録はこちらをご覧ください: https://t6s.github.io/tpp2021/ 才川 ---- Dear Colleagues, I am pleased to announce this year's TPP meeting as follows: Date: Sun. 21st to Mon. 22nd, November 2021 Venue: Kitami Institute of Technology, Building 14, 1st Floor, Room E131 Address: 165 Koen-cho, Kitami, Hokkaido 090-8507 We also welcome online participation using Zoom. Please visit the website for registration and more details, including TPPMark problems: https://t6s.github.io/tpp2021/ Best regards, Takafumi Saikawa

1 0

TACL 2022: First announcement
by 小野寛晰 20 Oct '21

20 Oct '21

=================================================== TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2022) First announcement =================================================== Conference: June 20-24, 2022 in Coimbra School: June 13-18, 2022 in Praia de Mira https://www.mat.uc.pt/~tacl2022 <https://www.mat.uc.pt/~tacl2022> Organized by the Centre for Mathematics (CMUC) and the Department of Mathematics (DMUC) of the University of Coimbra Scope -------- Studying logic via semantics is a well-established and very active branch of mathematical logic with many applications in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2022 will focus on three interconnecting mathematical themes central to the semantic study of logic and their applications: topological, algebraic, and categorical methods. TACL 2022 is the tenth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL). Earlier instalments of this conference have been organized in Tbilisi (2003), Barcelona (2005), Oxford (2007), Amsterdam (2009), Marseille (2011), Nashville (2013), Ischia (2015), Prague (2017), and Nice (2019). Featured topics --------------------- Contributed talks are intended to be about topological, algebraic or categorical methods used in mathematical or computer science logic. This includes, but is not limited to, the following areas: * Algebraic logic * Algebraic structures in CS * Categorical methods in logic * Coalgebra * Domain theory * Fuzzy and many-valued logics * Lattice theory * Lattices with operators * Modal logics * Non-classical logics * Ordered algebraic structures * Ordered topological spaces * Pointfree topology * Proofs and types * Residuated structures * Semantics * Stone-type dualities * Substructural logics * Topological semantics of modal logic Invited speakers --------------------- * Marta Bilkova, Czech Academy of Sciences, Prague * David Fernandez-Duque, Ghent University * Richard Garner, Macquarie University, Sydney * Jean Goubault-Larrecq, Ecole Normale Superieure Paris-Saclay * Peter Johnstone, University of Cambridge * Vincenzo Marra, University of Milan * Amanda Vidal, Artificial Intelligence Research Institute, Barcelona * Friedrich Wehrung, University of Caen * Fan Yang, University of Helsinki Lecturers at the Summer School ------------------------------------------ * Dirk Hofmann, University of Aveiro * Rosalie Iemhoff, Utrecht University * Graham Manuell, University of Coimbra * Walter Tholen, York University, Toronto Submission instructions ------------------------------- Authors can submit an Extended Abstract of 2 pages (including references) at the EasyChair conference system: https://easychair.org/conferences/?conf=tacl2022 <https://easychair.org/conferences/?conf=tacl2022> Important dates --------------------- School: June 13-18, 2022 Conference: June 20-24, 2022 Contributed talks: Submission deadline: March 4, 2022 Notification to authors: April 15, 2022 The school's programme will start on Tuesday June 14 in the morning and will end on Saturday June 18 in the afternoon. A bus transfer from and to Coimbra will be arranged by the organisers, on the afternoon of June 13 and June 18, respectively. The conference programme will start on Monday June 20 in the morning and will end on Friday June 24 in the afternoon. Financial support ----------------------- For the summer school a certain amount of funding is available for those in financial need. This is intended primarily for students, but non-students can be considered in exceptional circumstances. Program Committee --------------------------- Peter Jipsen, Chapman University, USA (PC co-chair) Jorge Picado, Universidade de Coimbra, Portugal (PC co-chair) Nick Bezhanishvili, University of Amsterdam, Netherlands Agata Ciabattoni, Vienna University of Technology, Austria Maria Manuel Clementino, Universidade de Coimbra, Portugal Mai Gehrke, Université Côte D'Azur, Nice, France Silvio Ghilardi, Università degli Studi di Milano, Italy Zuzana Hanikova, Inst. of Computer Science, Czech Academy of Sciences John Harding, New Mexico State University, USA Tomas Jakl, University of Cambridge, UK Zurab Janelidze, Stellenbosch University, South Africa Ramon Jansana, Universitat de Barcelona, Spain Agi Kurucz, King's College London, UK Serafina Lapenta, Universita degli Studi di Salerno, Italy Matias Menni, Conicet and Universidade Nacional de La Plata, Argentina George Metcalfe, University of Bern, Switzerland Hiroakira Ono, Japan Advanced Institute of Science & Technology, Japan Daniela Petrisan, University Paris Diderot (Paris 7), France Adam Prenosil, Universita degli Studi di Cagliari, Italy Luca Reggio, University of Oxford, UK Greg Restall, University of St Andrews, UK Benno van den Berg, University of Amsterdam, Netherlands Steering Committee --------------------------- Guram Bezhanishvili, New Mexico State University, United States Mai Gehrke, CNRS and Universite Cote d'Azur, France Silvio Ghilardi, University of Milan, Italy Ramon Jansana, University of Barcelona, Spain Hilary Priestley, University of Oxford, United Kingdom James Raftery, University of Pretoria, South Africa Yde Venema, University of Amsterdam, Netherlands Organizing Committee ----------------------------- Maria Manuel Clementino (chair) Igor Arrieta Ana Belen Avilez Celia Borlido Maria Joao Ferreira Carlos Fitas Goncalo Gutierres Dirk Hofmann Graham Manuell Jorge Picado Sandra Pinto Rui Prezado Manuela Sobral Lurdes Sousa More Information ------------------------ Information about registration as well as suggested hotels will be forthcoming in future announcements. If you would like to receive future announcements, please send a message to this effect to the conference e-mail address. TACL 2022 web site: https://www.mat.uc.pt/~tacl2022/ <https://www.mat.uc.pt/~tacl2022/> Conference email: tacl2022(a)mat.uc.pt <mailto:tacl2022@mat.uc.pt> School web site: https://www.mat.uc.pt/~tacl2022/#school <https://www.mat.uc.pt/~tacl2022/#school> -----------------------

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml