September 4-5, 2020
The fourth workshop on software foundations for data interoperability (SFDI2020) was successfully held as a VLDB Workshop 2020.
March 3, 2020
Our project meeting scheduled in Atami will be held in Online due to the recent COVID-19 consern. The revised program is available.
February 3, 2020
The fourth workshop on software foundations for data interoperability (SFDI2020) has been accepted as a VLDB Wokshop 2020.
January 21, 2020
The program is available for BISCUITS Project meeting in Atami, March 2020.
August 17, 2019
The website is available for the third workshop on software foundations for data interoperability.
February 27, 2019
The workshop photo for SFDI 2019 held in Kyoto.
September 27, 2018
The website is available for the second workshop on software foundations for data interoperability.
September 27, 2018
If you are interested in bidirectional programming in Datalog, you may take a look at the BIRDS system.
September 6-8, 2018
The project members had a 3-day meeting in Karuizawa (group photo)
March 19-21, 2018
The First Workshop on Software Foundations for Data Interoperability was successfully held (program, workshop photo).
October 2–3, 2017
The Osaka project meeting was held.
September 26, 2017
Hsiang-Shang Ko and Zhenjiang Hu's paper “An axiomatic basis for bidirectional programming” was accepted for POPL 2018.
June 4, 2017
The project started & The start-up meeting was held.