7 Course Schedule

The table below identifies the course meeting times and places, together with the nature of the meeting. The key ”L” denotes a lecture, while ”E” denotes an examination booking.

For each lecture, the topics to be covered are identified via the outline header number of Section 4 of this syllabus. So, for example, on September 09 the topics of FA.3 (closure and membership for regular languages) will be covered. This is only an approximate assignment of meeting times to topics, and it may be altered as the course progresses.

Rooms whose identifiers begin with the letter M are located in MIT-huset, while rooms whose identifiers begin with an N are located in Naturvetarhuset. The examination rooms (skrivsalar) are in the building known as Östra paviljongen.

TBA = to be announced; not yet known.







Week Type Date Time Room Topics












35 L Aug 30 0815-1000 MC313 I






35 L Sep 02 0815-1000 MC313 FA.1






36 L Sep 06 0815-1000 MC313 FA.2






36 L Sep 09 0815-1000 MC313 FA.3






37 L Sep 13 0815-1000 MC313 FA.4, CF.1






37 L Sep 16 0815-1000 MC313 CF.1, CF.2






39 L Sep 27 0815-1000 MC313 CF.2, CF.3






39 L Sep 30 0815-1000 MC313 CF.3, CF.4






40 L Oct 04 0815-1000 MC313 CF.4, CF.5






40 L Oct 07 0815-1000 MC313 CF.5, GC.1






41 L Oct 11 0815-1000 MC413 GC.1, GC.3






41 L Oct 14 0815-1000 MC313 GC.5






42 L Oct 18 0815-1000 MC313 GC.4 GC.2






42 L Oct 21 0815-1000 MC313 CC






43 L Oct 25 0815-1000 MC313 R






44 E Nov 02 0900-1300 Skrivsal 3 Final examination






01 E Jan 04 0900-1300 Skrivsal 7 Final examination






17 E Apr 27 0900-1300 Skrivsal 1 Final examination