| Date | Description |
|---|
| 2024-04-02 |
delete address ATVA 2023, Singapore, Singapore |
| 2024-04-02 |
insert address ATVA 2024, Kyoto, Japan |
| 2022-04-30 |
delete address ATVA 2021, Gold Coast, Australia |
| 2022-04-30 |
delete index_pages_linkeddomain formal-analysis.com |
| 2021-08-30 |
insert otherexecutives Ichiro Hasuo |
| 2021-08-30 |
insert otherexecutives Yunja Choi |
| 2021-08-30 |
insert about_pages_linkeddomain dothome.co.kr |
| 2021-08-30 |
insert about_pages_linkeddomain group-mmm.org |
| 2021-08-30 |
insert person Ichiro Hasuo |
| 2021-08-30 |
insert person Yunja Choi |
| 2021-07-18 |
insert otherexecutives Jie-Hong Roland Jiang |
| 2021-07-18 |
insert otherexecutives Yu-Fang Chen |
| 2021-07-18 |
delete about_pages_linkeddomain easychair.org |
| 2021-07-18 |
delete index_pages_linkeddomain easychair.org |
| 2021-07-18 |
delete index_pages_linkeddomain iarcs.org.in |
| 2021-07-18 |
delete index_pages_linkeddomain inria.fr |
| 2021-07-18 |
delete index_pages_linkeddomain ios.ac.cn |
| 2021-07-18 |
delete index_pages_linkeddomain kovshenin.com |
| 2021-07-18 |
delete index_pages_linkeddomain springer.com |
| 2021-07-18 |
insert address ATVA 2021, Gold Coast, Australia |
| 2021-07-18 |
insert email at..@iis.sinica.edu.tw |
| 2021-07-18 |
insert index_pages_linkeddomain formal-analysis.com |
| 2021-07-18 |
insert person Jie-Hong Roland Jiang |
| 2021-07-18 |
insert person Yu-Fang Chen |
| 2021-07-18 |
update description |