Mathematical Foundations of Computer Science Seminar