SEMANTICS (Q1,'06)
[ semantics | relevance | roles | structure | schedule | exercises | materials | classes | webboard ]

Schedule

COURSE SCHEDULE

  • Lectures are [ Thursdays 11:15 - 14:00 in Datalogisk Auditorium (510-103) ] and will progress according to the schedule below.
  • First lecture is on Thursday, August 31 at 11:15 in Datalogisk Auditorium (510-103).
  • Definition: a "semantics week" starts and ends on thursdays;
  • You will be doing exercise classes pertaining to a given week, after the thursday lecture (either friday, monday, tuesday, or wednesday).

Teaching/Learning Period

Introduction

WEEK 1 (35/36): "Introduction, Relations, Inference Systems, and Transition Systems"

Lecture: [ ppt | pdf ] + [ homepage (8 pages) ]
Reading: [ lecture slides ] + [ homepage ] + [ SOS (Chap.1, p.19--29, excluding example 8+9) ]
Exercises: [ exercises-1 ] + [ hand-in 1 ]
Aug/Sep 2006

Mo Tu We Th Fr Sa Su
-- -- -- 31 01 02 03
04 05 06

Part 1

WEEK 2 (36/37): "Structural Operational Semantics (SOS) for Simple Expressions and Commands"

Lecture: [ ppt | pdf ]
Reading: [ SOS (Chap.1.4.2 + Chap. 2, p.29--49) ]
Exercises: [ exercises-2 ] + [ hand-in 2 ]
September 2006

Mo Tu We Th Fr Sa Su
         07 08 09 10
11 12 13

WEEK 3 (37/38): "Big- vs. Small-step, Errors, and Type Checking"

Lecture: [ ppt | pdf ]
Reading: [ SOS (Chap. 2, p.49--58) ]
Exercises: [ exercises-3 ] + [ hand-in 3 ]
September 2006

Mo Tu We Th Fr Sa Su
         14    16 17
18 19 20    22

WEEK 4 (38/39): "Structural Induction, Definitions, Static and Dynamic Semantics"

Lecture: [ ppt | pdf ]
Reading: [ SOS (Chap. 3, p. 65--77) ] + [ Note on how to Write Structural Induction Proofs (9p) ]
Exercises: [ exercises-4 ] + [ hand-in 4 ]
September 2006

Mo Tu We Th Fr Sa Su
         21    23 24
25 26 27    29

Part 2

WEEK 5 (39/40): "Concurrency and Communication (CCS)"

Lecture: [ ppt | pdf ]
Reading: [ CCS (Chap. 1+2, p. 1--32) ]
Exercises: [ exercises-5 ] + [ hand-in 5 ]
Sep/Oct 2006

Mo Tu We Th Fr Sa Su
         28    30 01
02 03 04    06

Part 3

WEEK 6 (40/41): "Equivalence and Verification: Bisimulation and Games"

Lecture: [ Talk by Guy Steele (11:15-12:15) ] + [ ppt | pdf (lecture: 12:15-13:50) ]
Reading: [ CCS (Chap. 3, p. 37-80) ]
Exercises: [ exercises-6 ]; no hand-in!
October 2006

Mo Tu We Th Fr Sa Su
         05    07 08
09 10 11    12

WEEK 7 (41): "Bimulation (cont'd), Implementation, Program Equivalence, Imperative Features, and Other Semantic Formalisms"

Lecture: [ ppt | pdf ]
Reading: [ SOS (Chap. 3, p. 78--88) ]
Exercises: [ no exercises: extra exam training exercises ]
October 2006

Mo Tu We Th Fr Sa Su
         12

Evaluation Period

WEEK 7/8 (41/42): Revision Period; use it!

Lectures: [ semantics: 1 | 2 | 3 | 4 | 5 | 6 | 7 ]
Reading: [ SOS (Chap.1-3, p.19-88) ] + [ CCS (Chap.1-3, p.3-83) ] + [ Note on Induction ]
Exercises: [ exercises: 1 | 2 | 3 | 4 | 5 | 6 ]
October 2006

Mo Tu We Th Fr Sa Su
            13 14 15
16 17

WEEK 8 (42): Exam

  • Date and Time: October 18, 2006 (at 09:00 - 13:00).
  • Location: Willemoesgade 15, Trøjborg (Aarhus N).
  • Allowed materials: text books and notes.
October 2006

Mo Tu We Th Fr Sa Su
            
      18

Claus Brabrand (October 15, 2006)