AiDL 2022

While FLOPS 2022 is going virtual, we are planning to hold a hybrid, physical/virtual workshop for further exchanges among FLOPS participants. The scope of the workshop is basically the same as that of FLOPS. We aim to bring together practitioners, researchers and implementors of 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. AiDL specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming.

Venue / Dates

The 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.

Call for Talk and Demo Proposals

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. If you have any questions about the relevance of a particular topic, please contact the organizers (Atsushi Igarashi, Keigo Imai, and Taro Sekiyama (flops2022-oc@googlegroups.com)). Please submit a talk proposal via this Google Form by April 20, 2022 (AoE). Early applications will be appreciated; we will send a notification in a week after the application. If slots are filled, we will close the submission form.

COVID-19 Information

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 website (this page).

AiDL 2022