Abstract:

In this seminar, we will explore key concepts in the theory of programming languages, focusing primarily on various paradigms—such as f?unctional programming, imperative programming, logic programming, probabilistic programming, and more.

After an introductory overview by the instructor, each student will select a topic from a set of current articles in the field and present a lecture based on their chosen article. The presentation must be approved by the instructor.