[logic-ml] 【参加募集・講演募集】FLOPS 2022: the 16th International Symposium on Functional and Logic Programming
Keigo Imai
keigoi at gifu-u.ac.jp
Thu Mar 31 15:00:27 JST 2022
皆様 (重複ご容赦下さい):
関数型および論理プログラミングの国際会議 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 at gifu-u.ac.jp
https://keigoimai.info/
More information about the Logic-ml
mailing list