Teaching: Summer 2013

Title	Type	Day	Time	Place	Lecturer
Digitaltechnische Komponenten / Technische Grundlagen der Informatik (2V)	Lecture	Wednesday	11:30-13:00	V38.01	M. Radetzki
Digitaltechnische Komponenten / Technische Grundlagen der Informatik (1Ü)	Exercises	Monday	11:30-13:00 (14-tg.)	0.124	M. Radetzki B. Haetzer
		Tuesday	08:00-09:30 (14-tg.)	0.447
		Thursday	08:00-09:30 (14-tg.)	0.447
		Thursday	09:45-11:15 (14-tg.)	0.447
		Thursday	09:45-11:15 (14-tg.)	0.457
		Thursday	11:30-13:00 (14-tg.)	0.447
		Thursday	11:30-13:00 (14-tg.)	0.457
Rechnerorganisation 2 / Hardwarepraktikum (1V)	Lecture	Monday	14:00-15:30 (14-tg)	V38.04	H.-J. Wunderlich Wiss. MA
Rechnerorganisation 2 / Hardwarepraktikum (4Ü)	Laboratory	Monday	15:45-19:00	ITI-2.163	E. Schneider D. Ull M. Wagner H.-J. Wunderlich
		Tuesday	15:45-19:00	ITI-2.163
		Wednesday	08:00-11:15	ITI-2.163
		Wednesday	14:00-17:15	ITI-2.163
		Thursday	08:00-11:15	ITI-2.163
		Thursday	15:45-19:00	ITI-2.163
		Friday	08:00-11:15	ITI-2.163
		Friday	15:45-19:00	ITI-2.163
Grundlagen der Rechnerarchitektur / Advanced Processor Architecture (3V)	Lecture	Tuesday	09:45-11:15	V38.02	H.-J. Wunderlich
	Lecture	Thursday	09:45-11:15 (14-tg)	V38.02	H.-J. Wunderlich
Grundlagen der Rechnerarchitektur / Advanced Processor Architecture (1Ü)	Exercises	Thursday	09:45-11:15 (14-tg)	V38.02	R. Baranowski
Embedded Systems Engineering (3V)	Lecture	Tuesday	14:00-15:30	V38.03	M. Radetzki
Embedded Systems Engineering (3V)	Lecture	Thursday	14:00-15:30 (14-tg.)	V38.03	M. Radetzki
Embedded Systems Engineering (1Ü)	Exercises	Thursday	14:00-15:30 (14-tg.)	V38.03	G. Schley
Hardware Verification and Quality Assessment (3V)	Lecture	Thursday	11:30-13:00	ITI-3.175	H.-J. Wunderlich M. Kochte L.R. Gómez
Hardware Verification and Quality Assessment (3V)	Lecture	Friday	11:30-13:00 (14-tg)	ITI-3.175	H.-J. Wunderlich M. Kochte L.R. Gómez
Hardware Verification and Quality Assessment (1Ü)	Exercises	Friday	11:30-13:00 (14-tg)	ITI-3.175	M. Kochte L.R. Gómez
Modeling, Simulation, and Specification (3V)	Lecture	Wednesday	08:00-09:30 (14-tg.)	V38.02	M. Radetzki
Modeling, Simulation, and Specification (3V)	Lecture	Thursday	15:45-17:15	V38.02	M. Radetzki
Modeling, Simulation, and Specification (1Ü)	Exercises	Wednesday	08:00-09:30 (14-tg.)	V38.02	M.Eggenberger
Seminar: Formal Verification of Microprocessors (2HS)	(Haupt-) Seminar	Wednesday	09:45-11:15	0.363	H.-J. Wunderlich R. Baranowski A. Cook M. Kochte L.R. Gómez A. Dalirsani
Oberseminar Rechnerarchitektur (2K)	Seminar	Thursday	15:45-17:15	V47.06	H.-J. Wunderlich Wiss. MA
Oberseminar Embedded Systems (2K)	Seminar	Tuesday	09:45-11:15	Pfaffen- waldring 5b 01.021	M. Radetzki Wiss. MA

Teaching: Summer 2013

	Monday	Tuesday	Wednesday	Thursday	Friday
			Modeling, Simulation, and Specification lecture/exercise 14-tg. 08:00 bis 9:30 Course Site / V38.02
8:15


9:00


9:45	Oberseminar Embedded Systems 09:45 bis 11:15 Open Seminar / Pfaffenwaldring 5b 01.021	Grundlagen der Rechner- architektur 09:45 bis 11:15 Grundlagen der Rechnerarchitektur / Advanced Processor Architecture / V38.02	(Haupt)Sem. Form. Verif. of Microproc. 09:45 bis 11:15 Hauptseminar: Formal Verification of Microprocessors / 0.363	Grundlagen der Rechner- architektur lecture/exercise 14-tg. 09:45 bis 11:15 Grundlagen der Rechnerarchitektur / Advanced Processor Architecture / V38.02


10:30


11:15
			Digitaltechnische Komponenten 11:30 bis 13:00 Digitaltechnische Komponenten / Technische Grundlagen der Informatik / V38.01	HW Verification and Quality Assessment 11:30 bis 13:00 Hardware Verification and Quality Assessment (HVQA) / ITI-3.175	HW Verification and Quality Assessment lecture/exercise 14-tg 11:30 bis 13:00 Hardware Verification and Quality Assessment (HVQA) / ITI-3.175

12:00


12:45


13:30

	Rechner- organisation 2 14-tg 14:00 bis 15:30 Rechnerorganisation 2 / Hardwarepraktikum / V38.04	Embedded Systems Engineering 14:00 bis 15:30 Embedded Systems Engineering / V38.03		Embedded Systems Engineering lecture/exercise 14-tg. 14:00 bis 15:30 Embedded Systems Engineering / V38.03
14:15


15:00


15:45				Modeling, Simulation, and Specification 15:45 bis 17:15 Course Site / V38.02


16:30


17:15