Theoretische Informatik

Praktische Semantik von Programmiersprachen (SoSe 2018)

For the course description, see here.

Dozenten Tadeusz Litak
Termine und Ort Mo 10:15 - 11:45, 01.255-128 and
Do 18:15 - 19:45 00.131-128
Subscription StudOn
Umfang 4 SWS – 7,5 ECTS
Zielgruppe those mentioned by UnivIS, let me know if you're not covered

According to UniVis, We're scheduled for Mo 10:15 - 11:45, 01.255-128 and Do 18:15 - 19:45 00.131-128 16:15 - 17:45, 01.255-128. Please write me an email or show up if you're interested in attending, but may have a scheduling conflict. Subscription on StudOn so far goes slower than in previous years, and we may have some room for adjustments, depending on other people's constraints.

The tool we are going to use throughout the course is Coq. Ideally, go for the latest stable release (8.7.2 right now) or the alpha/beta development version if you're adventurous. You can install using either:

I will tell you more during the first lecture (from April 9 available on StudOn) about the choice of possible IDEs.

Please register via the StudOn registration link. If you're already a member, this is the regular StudOn page, which is going to be used to post proof scripts, homework and additional lecture materials as we progress. Hence, the role of this page ends (possible updates in future if lecture hours are going to change).