FLOPS 2022
Tue 10 - Thu 12 May 2022
Online
Toggle navigation
Attending
Venue: Online
Registration
Program
Complete Program
Your Program
Tue 10 May
Wed 11 May
Thu 12 May
Tracks
FLOPS 2022
FLOPS 2022
AiDL 2022
Organization
FLOPS 2022 Committees
Organizing Committee
Track Committees
FLOPS 2022
Programme Chairs
FLOPS 2022
Program Committee
AiDL 2022
Contributors
People Index
Search
Series
Series
FLOPS 2024
FLOPS 2022
Sign in
Sign up
FLOPS 2022
(
series
) /
Online
/
Room information: 大講演室
Venue
Online
Room name
大講演室
Floor
4
Room number
420
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+09:00) Osaka, Sapporo, Tokyo
.
Use conference time zone: (GMT+09:00) Osaka, Sapporo, Tokyo
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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
Day 1
AiDL 2022
at
大講演室
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
Day 2
AiDL 2022
at
大講演室
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
Day 3
AiDL 2022
at
大講演室
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
Tue 10 May
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
14:00
30
15:00
30
16:00
30
大講演室
AiDL 2022
Day 1
Wed 11 May
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
13:00
30
14:00
30
15:00
30
16:00
30
大講演室
AiDL 2022
Day 2
Thu 12 May
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
13:00
30
14:00
30
15:00
30
大講演室
AiDL 2022
Day 3
Tue 10 May
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
大講演室
FLOPS AiDL
Constraint-based Relational and Temporal Verification
14:00 - 14:45
FLOPS AiDL
Validating OCaml soundness by translation into Coq
14:45 - 15:30
FLOPS AiDL
Discussion (1)
15:30 - 17:00
Wed 11 May
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
大講演室
FLOPS AiDL
An Incremental Approach to Relational Interpreter
13:00 - 13:45
FLOPS AiDL
Lambek Grammars and a new look to Context-Free Grammars (Half-Tutorial)
13:45 - 14:30
FLOPS AiDL
Space-Efficient Polymorphic Gradual Typing
14:45 - 15:30
FLOPS AiDL
Discussion (2)
15:30 - 17:00
Thu 12 May
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
大講演室
FLOPS AiDL
Efficient Black-Box Checking via Model Checking with Strengthened Speci ...
13:00 - 13:45
FLOPS AiDL
Weakest Preconditions in Fibrations
13:45 - 14:30
FLOPS AiDL
Discussion (3)
14:30 - 16:00
x
Mon 18 Nov 05:15