Mathematical Logic and Theoretical Computer Science Seminar, Heidelberg University, Germany Conference uri icon