- 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 26 Jun '22

26 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 17 May '22

17 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 05 May '22

05 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 26 Apr '22

26 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 小野寛晰 04 Mar '22

04 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

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml