---

CSCI B522 - Progrmg Language Foundations

Spring 2023

• Instructor: Amr Sabry (sabry)
• Sections: 12766

Spring 2022

• Instructor: Sam Tobin-Hochstadt (samth)
• Sections: 30915
• Homepage: https://homes.luddy.indiana.edu/classes/spring2022/csci/b522-samth

Spring 2020

• Instructor: Jeremy Siek (jsiek)
• Sections: 33468
• Homepage: https://homes.luddy.indiana.edu/classes/spring2020/csci/b522-jsiek

Spring 2018

• Instructor: Amr Sabry (sabry)
• Sections: 7961

Spring 2017

• Instructor: Amr Sabry (sabry)
• Sections: 11775

Spring 2016

• Instructor: Sam Tobin-Hochstadt (samth)
• Sections: 11103
• Homepage: https://homes.luddy.indiana.edu/classes/spring2016/csci/b522-samth

Spring 2015

• Instructor: Jeremy Siek (jsiek)
• Sections: 24818
• Homepage: https://homes.luddy.indiana.edu/classes/spring2015/csci/b522-jsiek

Spring 2014

• Instructor: Amr Sabry (sabry)
• Sections: 25568

Spring 2013

• Instructor: Amr Sabry (sabry)
• Sections: 26506

Spring 2012

• Instructor: Amr Sabry (sabry)
• Sections: 27442
• Supplementary Description: The course is about the mathematical and logical foundations of programming language semantics. We will cover the lambda calculus, syntactic theories, abstract machines, type theory, and proof techniques (manual and automated) for reasoning about program invariants. B521 or equivalent is an absolute prerequisite
• Homepage: https://homes.luddy.indiana.edu/classes/spring2012/csci/b522-sabry

Spring 2011

• Instructor: Amr Sabry (sabry)
• Sections: 30689
• Homepage: https://homes.luddy.indiana.edu/classes/spring2011/csci/b522-sabry