Symposium on Logic in Computer Science author data searchable via API