SEMANTICS (Q1,'05)
[ semantics | relevance | roles | structure | schedule | exercises | project | exam | re-exam | materials | classes | webboard ]

Schedule

COURSE SCHEDULE

  • Lectures are [ Thursdays 11:15 - 14:00 in Aud. F (1-534-125 ) ] and will progress according to the schedule below.
  • First lecture is on Thursday, September 1 at 11:15 in Aud. F (1-534-125 ).
  • 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, Transition Systems, and Virtual Machine Semantics"

Lecture: [ semantics-1: ppt | pdf | quad ] + [ homepage (8 pages) ]
Reading: [ Homepage ] + [ SOS (Chap.1, p.3-18) ]
Exercises: [ exercises-1 ]
Aug/Sep 2005

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

Part 1

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

Lecture: [ semantics-2: ppt | pdf | quad ]
Reading: [ SOS (Chap.2.1-2.4, p.25-41) ]
Exercises: [ exercises-2 ]
September 2005

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

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

Lecture: [ semantics-3: ppt | pdf | quad ]
Reading: [ SOS (Chap.2.4-2.7, p.37-46) ]
Exercises: [ exercises-3 ]
September 2005

Mo Tu We Th Fr Sa Su
         15 16 17 18
19 20 21

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

Lecture: [ semantics-4: ppt | pdf | quad ]
Reading: [ SOS (Chap.3, p.54-68) ] + [ Recommended: Note on Structural Induction (4p) ]
Exercises: [ exercises-4 ]
September 2005

Mo Tu We Th Fr Sa Su
         22 23 24 25
26 27 28

Part 2

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

Lecture: [ semantics-5: ppt | pdf | quad ]
Reading: [ CCS (Chap.1-4, p.1-30) ]
Exercises: [ exercises-5 ]
Sep/Oct 2005

Mo Tu We Th Fr Sa Su
         29 30 01 02
03 04 05

Part 3

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

Lecture: [ semantics-6: ppt | pdf | quad ]
Reading: [ CCS (Chap.5, p.30-63) ]
Exercises: [ exercises-6 ]
October 2005

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

WEEK 7 (41): "Imperative Features and Semantics in Practice"

Lecture: [ semantics-7: ppt | pdf | quad ] + [ Semantics in Practice (by Peter Gorm Larsen) ]
Reading: [ SOS (p.68-78) ] + [ Note on how to Write Structural Induction Proofs (9p) ]
Exercises: No exercise classes...
October 2005

Mo Tu We Th Fr Sa Su
         13

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.1-78) ] + [ CCS (Chap.1-5, p.1-63) ] + [ Note on Induction ]
Exercises: [ exercises: 1 | 2 | 3 | 4 | 5 | 6 ] + [ project ]
October 2005

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

WEEK 8 (42): Take-home Exam

[ Wednesday 19/10 @ 12:00 -- Friday 21/10 @ 20:00 ]
October 2005

Mo Tu We Th Fr Sa Su
      19 20 21 :) :)

Claus Brabrand (October 13, 2005)