International Symposium on Logical Foundations of Computer Science (LFCS) Conference