Update index.md

teaching/2024/cs522/index.md

@@ -1 +1,49 @@
+---
+title: CS 522 -- Spring 2024
+layout: default
+---
 
+# CS522 - Programming Language Semantics
+
+Students enrolled in this class are expected to check this web page
+regularly. Lecture notes and important other material will be posted
+here.
+
+## Zoom link
+
+To be used rarely, only when not available (traveling or sick).  Or for office hours:
+
+https://illinois.zoom.us/j/2172447431?pwd=dEtxWmdJR0FYOElUa1ZLL2RJRzdZUT09
+
+## Course Description {#course_description}
+
+CS522 is an advanced course on semantics of programming languages.
+Various semantic approaches and related aspects will be defined and
+investigated. Executable semantics of various programming languages and
+paradigms will be discussed, together with major theoretical models.
+
+-   *Meetings*: Tu/Th 11:00 - 12:15
+-   *Location*: Campus Instructional Facility 2018
+-   *Professor*: Grigore Rosu (Office: SC 2110, WWW: <http://fsl.cs.illinois.edu/grosu>, Email: grosu@illinois.edu)
+-   *Office hours*: By appointment, very flexible (held by Grigore Rosu either in SC 2110 or on Zoom at the same link as above)
+
+## Lecture Notes, Useful Material {#lecture_notes_useful_material}
+
+The links below provide you with useful material for this class,
+including complete lecture notes. These materials will be added *by
+need* and more topics will be added.
+
+-   [Introduction](01-Introduction.pdf)
+
+-   Conventional Semantic Approaches
+
+    -   [Slides (PDF)](02-Conventional-Executable-Semantics.pdf),
+        [Slides (PPTX)](02-Conventional-Executable-Semantics.pptx)
+        <font color=red>(incomplete)</font>
+    -   [Book material on IMP, Big-Step SOS, Small-Step SOS, and Denotational
+        Semantics](CS522-Spring-2024-basic-semantics.pdf)
+
+-   Rewriting Logic and Maude
+
+    -   [slides](CS522-Spring-2024-Maude.pdf) - recommended only for a quick look
+    -   [Book material](CS522-Spring-2024-Maude-book.pdf) - recommended