Symposium on Logical Foundations of Computer Science, LFCS 2018Конференция