CSL18: COMPUTER SCIENCE LOGIC 2018