Date and Venue

From 28th June (Monday) to 9th July (Friday), at School of Professional and Continuing Studies, National Taiwan University.

Courses

Note: The following the most updated lecture schedule. We are sorry for any inconvenience this change may has caused.

Course	Abb.	Lecturer	Units
Logic	Logic	Max Schäfer Oxford University Computing Laboratory	3
Functional Programming	FP	Tyng-Ruey Chuang Academia Sinica and National Taiwan University	1
Operational Semantics	Op	Kung Chen National Chengchi University	3
Denotational Semantics	Deno	Tyng-Ruey Chuang Academia Sinica and National Taiwan University	3
Program Construction and Reasoning	Prog	Shin-Cheng Mu Academia Sinica	3
Using Frama-C: Collaboration of static analysis techniques towards the verification of C code	FramaC	Pascal Cuoq Commissariat à l'Énergie Atomique	4

17 units in total. Each unit of course consists of 2 hours of lecture and one hour of lab/tutor session. In addition, there is a three-hour examination and a three-hour research seminar.

Programme

	6/28	6/29	6/30	7/1	7/2	7/5	7/6	7/7	7/8	7/9
	Mon	Tue	Wed	Thu	Fri	Mon	Tue	Wed	Thu	Fri
09:30 - 10:30		FP	Logic	Op	Logic	Prog	Deno	Deno	Deno	Exam
10:30 - 11:30		FP	Logic	Op	Logic	Prog	Deno	Deno	Deno	Exam
11:30 - 12:30		L/T	L/T	L/T	L/T	L/T	L/T	L/T	L/T	Exam
12:30 - 2:00	Lunch					Lunch
2:00 - 3:00	Logic	Op	Op	Prog	Prog	FramaC	FramaC	FramaC	FramaC	Seminar
3:00 - 4:00	Logic	Op	Op	Prog	Prog	FramaC	FramaC	FramaC	FramaC	Seminar
4:00 - 5:00	L/T	L/T	L/T	L/T	L/T	L/T	L/T	L/T	L/T	Seminar

L/T = Lab/Tutor

Exam = Examination

Seminar = Research Seminar

en/programme.txt · Last modified: 2010/06/25 09:17 by trc

Recent changes · Show pagesource · Login