FLOPS 2022
Tue 10 - Thu 12 May 2022 Online

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

Title
An Incremental Approach to Relational Interpreter
AiDL 2022
Constraint-based Relational and Temporal Verification
AiDL 2022
Discussion (1)
AiDL 2022

Discussion (2)
AiDL 2022

Discussion (3)
AiDL 2022

Efficient Black-Box Checking via Model Checking with Strengthened Specifications
AiDL 2022
Lambek Grammars and a new look to Context-Free Grammars (Half-Tutorial)
AiDL 2022
Space-Efficient Polymorphic Gradual Typing
AiDL 2022
Validating OCaml soundness by translation into Coq
AiDL 2022
Weakest Preconditions in Fibrations
AiDL 2022
Dates
You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 10 May

Displayed time zone: Osaka, Sapporo, Tokyo change

14:00 - 17:00
14:00
45m
Talk
Constraint-based Relational and Temporal Verification
AiDL 2022
Hiroshi Unno University of Tsukuba; RIKEN AIP
14:45
45m
Talk
Validating OCaml soundness by translation into Coq
AiDL 2022
Jacques Garrigue Nagoya University
15:30
90m
Meeting
Discussion (1)
AiDL 2022

Wed 11 May

Displayed time zone: Osaka, Sapporo, Tokyo change

13:00 - 17:00
13:00
45m
Talk
An Incremental Approach to Relational Interpreter
AiDL 2022
William E. Byrd University of Alabama at Birmingham, USA
13:45
45m
Talk
Lambek Grammars and a new look to Context-Free Grammars (Half-Tutorial)
AiDL 2022
Oleg Kiselyov Tohoku University
14:45
45m
Talk
Space-Efficient Polymorphic Gradual Typing
AiDL 2022
Atsushi Igarashi Kyoto University, Japan
15:30
90m
Meeting
Discussion (2)
AiDL 2022

Thu 12 May

Displayed time zone: Osaka, Sapporo, Tokyo change

13:00 - 16:00
13:00
45m
Talk
Efficient Black-Box Checking via Model Checking with Strengthened Specifications
AiDL 2022
Junya Shijubo Kyoto University
13:45
45m
Talk
Weakest Preconditions in Fibrations
AiDL 2022
Shin-ya Katsumata National Institute of Informatics
14:30
90m
Meeting
Discussion (3)
AiDL 2022