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.