Showing results in 'Announcements'. Show all posts

Paper accepted at VL/HCC

Our paper on bidirectional spreadsheet formulas has been accepted at IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC).

Paper accepted at RAMiCS

Our paper on relations as executable specifications has been accepted at the International Conference Relational and Algebraic Methods in Computer Science (RAMiCS).