皆様 (重複ご容赦下さい)

国立情報学研究所の関山です。

関数型および論理プログラミングの国際会議 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)