Functional Programming and Verification, Exercise Session (IN0003)

Course 0000000041 in WS 2021/2

General Data

Course Type

exercise

Semester Weekly Hours

2 SWS

Organisational Unit

Informatics 2 - Chair of Formal Languages, Compiler Construction, Software Construction (Prof. Seidl)

Lecturers

Julian Erhard
Michael Schwarz
Helmut Seidl

Dates

637 dates in groups

Di 10-12 HYBRID (1) iCalendar

	Date and Time	Room and Remark
	Tue, 2021-10-26, 10:00–12:00
	Tue, 2021-11-02, 10:00–12:00
	Tue, 2021-11-09, 10:00–12:00
	Tue, 2021-11-23, 10:00–12:00
	Tue, 2021-11-30, 10:00–12:00
	Tue, 2021-12-07, 10:00–12:00
	Tue, 2021-12-14, 10:00–12:00
	Tue, 2021-12-21, 10:00–12:00
	Tue, 2022-01-11, 10:00–12:00
	Tue, 2022-01-18, 10:00–12:00
	Tue, 2022-01-25, 10:00–12:00
	Tue, 2022-02-01, 10:00–12:00
	Tue, 2022-02-08, 10:00–12:00

Di 10-12 HYBRID (2) iCalendar

	Date and Time	Room and Remark
	Tue, 2021-10-26, 10:00–12:00
	Tue, 2021-11-02, 10:00–12:00
	Tue, 2021-11-09, 10:00–12:00
	Tue, 2021-11-23, 10:00–12:00
	Tue, 2021-11-30, 10:00–12:00
	Tue, 2021-12-07, 10:00–12:00
	Tue, 2021-12-14, 10:00–12:00
	Tue, 2021-12-21, 10:00–12:00
	Tue, 2022-01-11, 10:00–12:00
	Tue, 2022-01-18, 10:00–12:00
	Tue, 2022-01-25, 10:00–12:00
	Tue, 2022-02-01, 10:00–12:00
	Tue, 2022-02-08, 10:00–12:00

Di 10-12 HYBRID EN iCalendar

	Date and Time	Room and Remark
	Tue, 2021-10-26, 10:00–12:00
	Tue, 2021-11-02, 10:00–12:00
	Tue, 2021-11-09, 10:00–12:00
	Tue, 2021-11-23, 10:00–12:00
	Tue, 2021-11-30, 10:00–12:00
	Tue, 2021-12-07, 10:00–12:00
	Tue, 2021-12-14, 10:00–12:00
	Tue, 2021-12-21, 10:00–12:00
	Tue, 2022-01-11, 10:00–12:00
	Tue, 2022-01-18, 10:00–12:00
	Tue, 2022-01-25, 10:00–12:00
	Tue, 2022-02-01, 10:00–12:00
	Tue, 2022-02-08, 10:00–12:00

Di 10-12 ONLINE iCalendar

	Date and Time	Room and Remark
	Tue, 2021-10-26, 10:00–12:00
	Tue, 2021-11-02, 10:00–12:00
	Tue, 2021-11-09, 10:00–12:00
	Tue, 2021-11-23, 10:00–12:00
	Tue, 2021-11-30, 10:00–12:00
	Tue, 2021-12-07, 10:00–12:00
	Tue, 2021-12-14, 10:00–12:00
	Tue, 2021-12-21, 10:00–12:00
	Tue, 2022-01-11, 10:00–12:00
	Tue, 2022-01-18, 10:00–12:00
	Tue, 2022-01-25, 10:00–12:00
	Tue, 2022-02-01, 10:00–12:00
	Tue, 2022-02-08, 10:00–12:00

Di 12-14 HYBRID (1) iCalendar

	Date and Time	Room and Remark
	Tue, 2021-10-26, 12:00–14:00
	Tue, 2021-11-02, 12:00–14:00
	Tue, 2021-11-09, 12:00–14:00
	Tue, 2021-11-16, 12:00–14:00
	Tue, 2021-11-23, 12:00–14:00
	Tue, 2021-11-30, 12:00–14:00
	Tue, 2021-12-07, 12:00–14:00
	Tue, 2021-12-14, 12:00–14:00
	Tue, 2021-12-21, 12:00–14:00
	Tue, 2022-01-11, 12:00–14:00
	Tue, 2022-01-18, 12:00–14:00
	Tue, 2022-01-25, 12:00–14:00
	Tue, 2022-02-01, 12:00–14:00
	Tue, 2022-02-08, 12:00–14:00

Di 12-14 HYBRID (2) iCalendar

	Date and Time	Room and Remark
	Tue, 2021-10-26, 12:00–14:00
	Tue, 2021-11-02, 12:00–14:00
	Tue, 2021-11-09, 12:00–14:00
	Tue, 2021-11-16, 12:00–14:00
	Tue, 2021-11-23, 12:00–14:00
	Tue, 2021-11-30, 12:00–14:00
	Tue, 2021-12-07, 12:00–14:00
	Tue, 2021-12-14, 12:00–14:00
	Tue, 2021-12-21, 12:00–14:00
	Tue, 2022-01-11, 12:00–14:00
	Tue, 2022-01-18, 12:00–14:00
	Tue, 2022-01-25, 12:00–14:00
	Tue, 2022-02-01, 12:00–14:00
	Tue, 2022-02-08, 12:00–14:00

Di 12-14 HYBRID EN iCalendar

	Date and Time	Room and Remark
	Tue, 2021-10-26, 12:00–14:00
	Tue, 2021-11-02, 12:00–14:00
	Tue, 2021-11-09, 12:00–14:00
	Tue, 2021-11-16, 12:00–14:00
	Tue, 2021-11-23, 12:00–14:00
	Tue, 2021-11-30, 12:00–14:00
	Tue, 2021-12-07, 12:00–14:00
	Tue, 2021-12-14, 12:00–14:00
	Tue, 2021-12-21, 12:00–14:00
	Tue, 2022-01-11, 12:00–14:00
	Tue, 2022-01-18, 12:00–14:00
	Tue, 2022-01-25, 12:00–14:00
	Tue, 2022-02-01, 12:00–14:00
	Tue, 2022-02-08, 12:00–14:00

Di 12-14 ONLINE iCalendar

	Date and Time	Room and Remark
	Tue, 2021-10-26, 12:00–14:00
	Tue, 2021-11-02, 12:00–14:00
	Tue, 2021-11-09, 12:00–14:00
	Tue, 2021-11-16, 12:00–14:00
	Tue, 2021-11-23, 12:00–14:00
	Tue, 2021-11-30, 12:00–14:00
	Tue, 2021-12-07, 12:00–14:00
	Tue, 2021-12-14, 12:00–14:00
	Tue, 2021-12-21, 12:00–14:00
	Tue, 2022-01-11, 12:00–14:00
	Tue, 2022-01-18, 12:00–14:00
	Tue, 2022-01-25, 12:00–14:00
	Tue, 2022-02-01, 12:00–14:00
	Tue, 2022-02-08, 12:00–14:00

Do 10-12 HYBRID (1) iCalendar

	Date and Time	Room and Remark
	Thu, 2021-10-28, 10:00–12:00
	Thu, 2021-11-04, 10:00–12:00
	Thu, 2021-11-11, 10:00–12:00
	Thu, 2021-11-18, 10:00–12:00
	Thu, 2021-11-25, 10:00–12:00
	Thu, 2021-12-09, 10:00–12:00
	Thu, 2021-12-16, 10:00–12:00
	Thu, 2021-12-23, 10:00–12:00
	Thu, 2022-01-13, 10:00–12:00
	Thu, 2022-01-20, 10:00–12:00
	Thu, 2022-01-27, 10:00–12:00
	Thu, 2022-02-03, 10:00–12:00
	Thu, 2022-02-10, 10:00–12:00

Do 10-12 HYBRID (2) iCalendar

	Date and Time	Room and Remark
	Thu, 2021-10-28, 10:00–12:00
	Thu, 2021-11-04, 10:00–12:00
	Thu, 2021-11-11, 10:00–12:00
	Thu, 2021-11-18, 10:00–12:00
	Thu, 2021-11-25, 10:00–12:00
	Thu, 2021-12-09, 10:00–12:00
	Thu, 2021-12-16, 10:00–12:00
	Thu, 2021-12-23, 10:00–12:00
	Thu, 2022-01-13, 10:00–12:00
	Thu, 2022-01-20, 10:00–12:00
	Thu, 2022-01-27, 10:00–12:00
	Thu, 2022-02-03, 10:00–12:00
	Thu, 2022-02-10, 10:00–12:00

Do 10-12 HYBRID EN iCalendar

	Date and Time	Room and Remark
	Thu, 2021-10-28, 10:00–12:00
	Thu, 2021-11-04, 10:00–12:00
	Thu, 2021-11-11, 10:00–12:00
	Thu, 2021-11-18, 10:00–12:00
	Thu, 2021-11-25, 10:00–12:00
	Thu, 2021-12-09, 10:00–12:00
	Thu, 2021-12-16, 10:00–12:00
	Thu, 2021-12-23, 10:00–12:00
	Thu, 2022-01-13, 10:00–12:00
	Thu, 2022-01-20, 10:00–12:00
	Thu, 2022-01-27, 10:00–12:00
	Thu, 2022-02-03, 10:00–12:00
	Thu, 2022-02-10, 10:00–12:00

Do 10-12 ONLINE iCalendar

	Date and Time	Room and Remark
	Thu, 2021-10-28, 10:00–12:00
	Thu, 2021-11-04, 10:00–12:00
	Thu, 2021-11-11, 10:00–12:00
	Thu, 2021-11-18, 10:00–12:00
	Thu, 2021-11-25, 10:00–12:00
	Thu, 2021-12-09, 10:00–12:00
	Thu, 2021-12-16, 10:00–12:00
	Thu, 2021-12-23, 10:00–12:00
	Thu, 2022-01-13, 10:00–12:00
	Thu, 2022-01-20, 10:00–12:00
	Thu, 2022-01-27, 10:00–12:00
	Thu, 2022-02-03, 10:00–12:00
	Thu, 2022-02-10, 10:00–12:00

Do 12-14 HYBRID (1) iCalendar

	Date and Time	Room and Remark
	Thu, 2021-10-28, 12:00–14:00
	Thu, 2021-11-04, 12:00–14:00
	Thu, 2021-11-11, 12:00–14:00
	Thu, 2021-11-18, 12:00–14:00
	Thu, 2021-11-25, 12:00–14:00
	Thu, 2021-12-09, 12:00–14:00
	Thu, 2021-12-16, 12:00–14:00
	Thu, 2021-12-23, 12:00–14:00
	Thu, 2022-01-13, 12:00–14:00
	Thu, 2022-01-20, 12:00–14:00
	Thu, 2022-01-27, 12:00–14:00
	Thu, 2022-02-03, 12:00–14:00
	Thu, 2022-02-10, 12:00–14:00

Do 12-14 HYBRID EN iCalendar

	Date and Time	Room and Remark
	Thu, 2021-10-28, 12:00–14:00
	Thu, 2021-11-04, 12:00–14:00
	Thu, 2021-11-11, 12:00–14:00
	Thu, 2021-11-18, 12:00–14:00
	Thu, 2021-11-25, 12:00–14:00
	Thu, 2021-12-09, 12:00–14:00
	Thu, 2021-12-16, 12:00–14:00
	Thu, 2021-12-23, 12:00–14:00
	Thu, 2022-01-13, 12:00–14:00
	Thu, 2022-01-20, 12:00–14:00
	Thu, 2022-01-27, 12:00–14:00
	Thu, 2022-02-03, 12:00–14:00
	Thu, 2022-02-10, 12:00–14:00

Do 12-14 ONLINE iCalendar

	Date and Time	Room and Remark
	Thu, 2021-10-28, 12:00–14:00
	Thu, 2021-11-04, 12:00–14:00
	Thu, 2021-11-11, 12:00–14:00
	Thu, 2021-11-18, 12:00–14:00
	Thu, 2021-11-25, 12:00–14:00
	Thu, 2021-12-09, 12:00–14:00
	Thu, 2021-12-16, 12:00–14:00
	Thu, 2021-12-23, 12:00–14:00
	Thu, 2022-01-13, 12:00–14:00
	Thu, 2022-01-20, 12:00–14:00
	Thu, 2022-01-27, 12:00–14:00
	Thu, 2022-02-03, 12:00–14:00
	Thu, 2022-02-10, 12:00–14:00

Mi 14-16 HYBRID (1) iCalendar

	Date and Time	Room and Remark
	Wed, 2021-10-27, 14:00–16:00
	Wed, 2021-11-03, 14:00–16:00
	Wed, 2021-11-10, 14:00–16:00
	Wed, 2021-11-17, 14:00–16:00
	Wed, 2021-11-24, 14:00–16:00
	Wed, 2021-12-01, 14:00–16:00
	Wed, 2021-12-08, 14:00–16:00
	Wed, 2021-12-15, 14:00–16:00
	Wed, 2021-12-22, 14:00–16:00
	Wed, 2022-01-12, 14:00–16:00
	Wed, 2022-01-19, 14:00–16:00
	Wed, 2022-01-26, 14:00–16:00
	Wed, 2022-02-02, 14:00–16:00
	Wed, 2022-02-09, 14:00–16:00

Mi 14-16 HYBRID EN iCalendar

	Date and Time	Room and Remark
	Wed, 2021-10-27, 14:00–16:00
	Wed, 2021-11-03, 14:00–16:00
	Wed, 2021-11-10, 14:00–16:00
	Wed, 2021-11-17, 14:00–16:00
	Wed, 2021-11-24, 14:00–16:00
	Wed, 2021-12-01, 14:00–16:00
	Wed, 2021-12-08, 14:00–16:00
	Wed, 2021-12-15, 14:00–16:00
	Wed, 2021-12-22, 14:00–16:00
	Wed, 2022-01-12, 14:00–16:00
	Wed, 2022-01-19, 14:00–16:00
	Wed, 2022-01-26, 14:00–16:00
	Wed, 2022-02-02, 14:00–16:00
	Wed, 2022-02-09, 14:00–16:00

Mi 14-16 ONLINE iCalendar

	Date and Time	Room and Remark
	Wed, 2021-10-27, 14:00–16:00
	Wed, 2021-11-03, 14:00–16:00
	Wed, 2021-11-10, 14:00–16:00
	Wed, 2021-11-17, 14:00–16:00
	Wed, 2021-11-24, 14:00–16:00
	Wed, 2021-12-01, 14:00–16:00
	Wed, 2021-12-08, 14:00–16:00
	Wed, 2021-12-15, 14:00–16:00
	Wed, 2021-12-22, 14:00–16:00
	Wed, 2022-01-12, 14:00–16:00
	Wed, 2022-01-19, 14:00–16:00
	Wed, 2022-01-26, 14:00–16:00
	Wed, 2022-02-02, 14:00–16:00
	Wed, 2022-02-09, 14:00–16:00

Mi 16-18 HYBRID (1) iCalendar

	Date and Time	Room and Remark
	Wed, 2021-10-27, 16:00–18:00
	Wed, 2021-11-03, 16:00–18:00
	Wed, 2021-11-10, 16:00–18:00
	Wed, 2021-11-17, 16:00–18:00
	Wed, 2021-11-24, 16:00–18:00
	Wed, 2021-12-01, 16:00–18:00
	Wed, 2021-12-08, 16:00–18:00
	Wed, 2021-12-15, 16:00–18:00
	Wed, 2021-12-22, 16:00–18:00
	Wed, 2022-01-12, 16:00–18:00
	Wed, 2022-01-19, 16:00–18:00
	Wed, 2022-01-26, 16:00–18:00
	Wed, 2022-02-02, 16:00–18:00
	Wed, 2022-02-09, 16:00–18:00

Mi 16-18 HYBRID (2) iCalendar

	Date and Time	Room and Remark
	Wed, 2021-10-27, 16:00–18:00
	Wed, 2021-11-03, 16:00–18:00
	Wed, 2021-11-10, 16:00–18:00
	Wed, 2021-11-17, 16:00–18:00
	Wed, 2021-11-24, 16:00–18:00
	Wed, 2021-12-01, 16:00–18:00
	Wed, 2021-12-08, 16:00–18:00
	Wed, 2021-12-15, 16:00–18:00
	Wed, 2021-12-22, 16:00–18:00
	Wed, 2022-01-12, 16:00–18:00
	Wed, 2022-01-19, 16:00–18:00
	Wed, 2022-01-26, 16:00–18:00
	Wed, 2022-02-02, 16:00–18:00
	Wed, 2022-02-09, 16:00–18:00

Mi 16-18 HYBRID EN iCalendar

	Date and Time	Room and Remark
	Wed, 2021-10-27, 16:00–18:00
	Wed, 2021-11-03, 16:00–18:00
	Wed, 2021-11-10, 16:00–18:00
	Wed, 2021-11-17, 16:00–18:00
	Wed, 2021-11-24, 16:00–18:00
	Wed, 2021-12-01, 16:00–18:00
	Wed, 2021-12-08, 16:00–18:00
	Wed, 2021-12-15, 16:00–18:00
	Wed, 2021-12-22, 16:00–18:00
	Wed, 2022-01-12, 16:00–18:00
	Wed, 2022-01-19, 16:00–18:00
	Wed, 2022-01-26, 16:00–18:00
	Wed, 2022-02-02, 16:00–18:00
	Wed, 2022-02-09, 16:00–18:00

Mi 16-18 ONLINE iCalendar

	Date and Time	Room and Remark
	Wed, 2021-10-27, 16:00–18:00
	Wed, 2021-11-03, 16:00–18:00
	Wed, 2021-11-10, 16:00–18:00
	Wed, 2021-11-17, 16:00–18:00
	Wed, 2021-11-24, 16:00–18:00
	Wed, 2021-12-01, 16:00–18:00
	Wed, 2021-12-08, 16:00–18:00
	Wed, 2021-12-15, 16:00–18:00
	Wed, 2021-12-22, 16:00–18:00
	Wed, 2022-01-12, 16:00–18:00
	Wed, 2022-01-19, 16:00–18:00
	Wed, 2022-01-26, 16:00–18:00
	Wed, 2022-02-02, 16:00–18:00
	Wed, 2022-02-09, 16:00–18:00

Mi 16-18 ONLINE EN iCalendar

	Date and Time	Room and Remark
	Wed, 2021-10-27, 16:00–18:00
	Wed, 2021-11-03, 16:00–18:00
	Wed, 2021-11-10, 16:00–18:00
	Wed, 2021-11-17, 16:00–18:00
	Wed, 2021-11-24, 16:00–18:00
	Wed, 2021-12-01, 16:00–18:00
	Wed, 2021-12-08, 16:00–18:00
	Wed, 2021-12-15, 16:00–18:00
	Wed, 2021-12-22, 16:00–18:00
	Wed, 2022-01-12, 16:00–18:00
	Wed, 2022-01-19, 16:00–18:00
	Wed, 2022-01-26, 16:00–18:00
	Wed, 2022-02-02, 16:00–18:00
	Wed, 2022-02-09, 16:00–18:00

Mo 16-18 HYBRID (1) iCalendar

	Date and Time	Room and Remark
	Mon, 2021-10-25, 16:00–18:00
	Mon, 2021-11-08, 16:00–18:00
	Mon, 2021-11-15, 16:00–18:00
	Mon, 2021-11-22, 16:00–18:00
	Mon, 2021-11-29, 16:00–18:00
	Mon, 2021-12-06, 16:00–18:00
	Mon, 2021-12-13, 16:00–18:00
	Mon, 2021-12-20, 16:00–18:00
	Mon, 2022-01-10, 16:00–18:00
	Mon, 2022-01-17, 16:00–18:00
	Mon, 2022-01-24, 16:00–18:00
	Mon, 2022-01-31, 16:00–18:00
	Mon, 2022-02-07, 16:00–18:00

Mo 16-18 HYBRID (2) iCalendar

	Date and Time	Room and Remark
	Mon, 2021-10-25, 16:00–18:00
	Mon, 2021-11-08, 16:00–18:00
	Mon, 2021-11-15, 16:00–18:00
	Mon, 2021-11-22, 16:00–18:00
	Mon, 2021-11-29, 16:00–18:00
	Mon, 2021-12-06, 16:00–18:00
	Mon, 2021-12-13, 16:00–18:00
	Mon, 2021-12-20, 16:00–18:00
	Mon, 2022-01-10, 16:00–18:00
	Mon, 2022-01-17, 16:00–18:00
	Mon, 2022-01-24, 16:00–18:00
	Mon, 2022-01-31, 16:00–18:00
	Mon, 2022-02-07, 16:00–18:00

Mo 16-18 HYBRID EN iCalendar

	Date and Time	Room and Remark
	Mon, 2021-10-25, 16:00–18:00
	Mon, 2021-11-08, 16:00–18:00
	Mon, 2021-11-15, 16:00–18:00
	Mon, 2021-11-22, 16:00–18:00
	Mon, 2021-11-29, 16:00–18:00
	Mon, 2021-12-06, 16:00–18:00
	Mon, 2021-12-13, 16:00–18:00
	Mon, 2021-12-20, 16:00–18:00
	Mon, 2022-01-10, 16:00–18:00
	Mon, 2022-01-17, 16:00–18:00
	Mon, 2022-01-24, 16:00–18:00
	Mon, 2022-01-31, 16:00–18:00
	Mon, 2022-02-07, 16:00–18:00

Mo 16-18 ONLINE EN iCalendar

	Date and Time	Room and Remark
	Mon, 2021-10-25, 16:00–18:00
	Mon, 2021-11-08, 16:00–18:00
	Mon, 2021-11-15, 16:00–18:00
	Mon, 2021-11-22, 16:00–18:00
	Mon, 2021-11-29, 16:00–18:00
	Mon, 2021-12-06, 16:00–18:00
	Mon, 2021-12-13, 16:00–18:00
	Mon, 2021-12-20, 16:00–18:00
	Mon, 2022-01-10, 16:00–18:00
	Mon, 2022-01-17, 16:00–18:00
	Mon, 2022-01-24, 16:00–18:00
	Mon, 2022-01-31, 16:00–18:00
	Mon, 2022-02-07, 16:00–18:00

Präsenztermine iCalendar

	Date and Time	Room and Remark
	Tue, 2021-10-19, 10:00–12:00	Walther-von-Dyck-Strasse 10
	Tue, 2021-10-19, 12:00–14:00	Walther-von-Dyck-Strasse 10
	Wed, 2021-10-20, 14:00–16:00	Walther-von-Dyck-Strasse 10
	Wed, 2021-10-20, 16:00–18:00	Walther-von-Dyck-Strasse 10
	Thu, 2021-10-21, 10:00–12:00	Walther-von-Dyck-Strasse 10
	Thu, 2021-10-21, 12:00–14:00	Walther-von-Dyck-Strasse 10
	Mon, 2021-10-25, 16:00–18:00	Walther-von-Dyck-Strasse 10
	Tue, 2021-10-26, 10:00–12:00	Walther-von-Dyck-Strasse 10
	Tue, 2021-10-26, 12:00–14:00	Walther-von-Dyck-Strasse 10
	Wed, 2021-10-27, 14:00–16:00	Walther-von-Dyck-Strasse 10
	Wed, 2021-10-27, 16:00–18:00	Walther-von-Dyck-Strasse 10
	Thu, 2021-10-28, 10:00–12:00	Walther-von-Dyck-Strasse 10
	Thu, 2021-10-28, 12:00–14:00	Walther-von-Dyck-Strasse 10
	Tue, 2021-11-02, 10:00–12:00	Walther-von-Dyck-Strasse 10
	Tue, 2021-11-02, 12:00–14:00	Walther-von-Dyck-Strasse 10
	Wed, 2021-11-03, 14:00–16:00	Walther-von-Dyck-Strasse 10
	Wed, 2021-11-03, 16:00–18:00	Walther-von-Dyck-Strasse 10
	Thu, 2021-11-04, 10:00–12:00	Walther-von-Dyck-Strasse 10
	Thu, 2021-11-04, 12:00–14:00	Walther-von-Dyck-Strasse 10
	Mon, 2021-11-08, 16:00–18:00	Walther-von-Dyck-Strasse 10
	Tue, 2021-11-09, 10:00–12:00	Walther-von-Dyck-Strasse 10
	Tue, 2021-11-09, 12:00–14:00	Walther-von-Dyck-Strasse 10
	Wed, 2021-11-10, 14:00–16:00	Walther-von-Dyck-Strasse 10
	Wed, 2021-11-10, 16:00–18:00	Walther-von-Dyck-Strasse 10
	Thu, 2021-11-11, 10:00–12:00	Walther-von-Dyck-Strasse 10
	Thu, 2021-11-11, 12:00–14:00	Walther-von-Dyck-Strasse 10
	Mon, 2021-11-15, 16:00–18:00	Walther-von-Dyck-Strasse 10
	Tue, 2021-11-16, 12:00–14:00	Walther-von-Dyck-Strasse 10
	Wed, 2021-11-17, 14:00–16:00	Walther-von-Dyck-Strasse 10
	Wed, 2021-11-17, 16:00–18:00	Walther-von-Dyck-Strasse 10
	Thu, 2021-11-18, 10:00–12:00	Walther-von-Dyck-Strasse 10
	Thu, 2021-11-18, 12:00–14:00	Walther-von-Dyck-Strasse 10
	Mon, 2021-11-22, 16:00–18:00	Walther-von-Dyck-Strasse 10
	Tue, 2021-11-23, 10:00–12:00	Walther-von-Dyck-Strasse 10
	Tue, 2021-11-23, 12:00–14:00	Walther-von-Dyck-Strasse 10
	Wed, 2021-11-24, 14:00–16:00	Walther-von-Dyck-Strasse 10
	Wed, 2021-11-24, 16:00–18:00	Walther-von-Dyck-Strasse 10
	Thu, 2021-11-25, 10:00–12:00	Walther-von-Dyck-Strasse 10
	Thu, 2021-11-25, 12:00–14:00	Walther-von-Dyck-Strasse 10
	Mon, 2021-11-29, 16:00–18:00	Walther-von-Dyck-Strasse 10
	Tue, 2021-11-30, 10:00–12:00	Walther-von-Dyck-Strasse 10
	Tue, 2021-11-30, 12:00–14:00	Walther-von-Dyck-Strasse 10
	Wed, 2021-12-01, 14:00–16:00	Walther-von-Dyck-Strasse 10
	Wed, 2021-12-01, 16:00–18:00	Walther-von-Dyck-Strasse 10
	Mon, 2021-12-06, 16:00–18:00	Walther-von-Dyck-Strasse 10
	Tue, 2021-12-07, 10:00–12:00	Walther-von-Dyck-Strasse 10
	Tue, 2021-12-07, 12:00–14:00	Walther-von-Dyck-Strasse 10
	Wed, 2021-12-08, 14:00–16:00	Walther-von-Dyck-Strasse 10
	Wed, 2021-12-08, 16:00–18:00	Walther-von-Dyck-Strasse 10
	Thu, 2021-12-09, 10:00–12:00	Walther-von-Dyck-Strasse 10
	Thu, 2021-12-09, 12:00–14:00	Walther-von-Dyck-Strasse 10
	Mon, 2021-12-13, 16:00–18:00	Walther-von-Dyck-Strasse 10
	Tue, 2021-12-14, 10:00–12:00	Walther-von-Dyck-Strasse 10
	Tue, 2021-12-14, 12:00–14:00	Walther-von-Dyck-Strasse 10
	Wed, 2021-12-15, 14:00–16:00	Walther-von-Dyck-Strasse 10
	Wed, 2021-12-15, 16:00–18:00	Walther-von-Dyck-Strasse 10
	Thu, 2021-12-16, 10:00–12:00	Walther-von-Dyck-Strasse 10
	Thu, 2021-12-16, 12:00–14:00	Walther-von-Dyck-Strasse 10
	Mon, 2021-12-20, 16:00–18:00	Walther-von-Dyck-Strasse 10
	Tue, 2021-12-21, 10:00–12:00	Walther-von-Dyck-Strasse 10
	Tue, 2021-12-21, 12:00–14:00	Walther-von-Dyck-Strasse 10
	Wed, 2021-12-22, 14:00–16:00	Walther-von-Dyck-Strasse 10
	Wed, 2021-12-22, 16:00–18:00	Walther-von-Dyck-Strasse 10
	Thu, 2021-12-23, 10:00–12:00	Walther-von-Dyck-Strasse 10
	Thu, 2021-12-23, 12:00–14:00	Walther-von-Dyck-Strasse 10
	Mon, 2022-01-10, 16:00–18:00	Walther-von-Dyck-Strasse 10
	Tue, 2022-01-11, 10:00–12:00	Walther-von-Dyck-Strasse 10
	Tue, 2022-01-11, 12:00–14:00	Walther-von-Dyck-Strasse 10
	Wed, 2022-01-12, 14:00–16:00	Walther-von-Dyck-Strasse 10
	Wed, 2022-01-12, 16:00–18:00	Walther-von-Dyck-Strasse 10
	Thu, 2022-01-13, 10:00–12:00	Walther-von-Dyck-Strasse 10
	Thu, 2022-01-13, 12:00–14:00	Walther-von-Dyck-Strasse 10
	Mon, 2022-01-17, 16:00–18:00	Walther-von-Dyck-Strasse 10
	Tue, 2022-01-18, 10:00–12:00	Walther-von-Dyck-Strasse 10
	Tue, 2022-01-18, 12:00–14:00	Walther-von-Dyck-Strasse 10
	Wed, 2022-01-19, 14:00–16:00	Walther-von-Dyck-Strasse 10
	Wed, 2022-01-19, 16:00–18:00	Walther-von-Dyck-Strasse 10
	Thu, 2022-01-20, 10:00–12:00	Walther-von-Dyck-Strasse 10
	Thu, 2022-01-20, 12:00–14:00	Walther-von-Dyck-Strasse 10
	Mon, 2022-01-24, 16:00–18:00	Walther-von-Dyck-Strasse 10
	Tue, 2022-01-25, 10:00–12:00	Walther-von-Dyck-Strasse 10
	Tue, 2022-01-25, 12:00–14:00	Walther-von-Dyck-Strasse 10
	Wed, 2022-01-26, 14:00–16:00	Walther-von-Dyck-Strasse 10
	Wed, 2022-01-26, 16:00–18:00	Walther-von-Dyck-Strasse 10
	Thu, 2022-01-27, 10:00–12:00	Walther-von-Dyck-Strasse 10
	Thu, 2022-01-27, 12:00–14:00	Walther-von-Dyck-Strasse 10
	Mon, 2022-01-31, 16:00–18:00	Walther-von-Dyck-Strasse 10
	Tue, 2022-02-01, 10:00–12:00	Walther-von-Dyck-Strasse 10
	Tue, 2022-02-01, 12:00–14:00	Walther-von-Dyck-Strasse 10
	Wed, 2022-02-02, 14:00–16:00	Walther-von-Dyck-Strasse 10
	Wed, 2022-02-02, 16:00–18:00	Walther-von-Dyck-Strasse 10
	Thu, 2022-02-03, 10:00–12:00	Walther-von-Dyck-Strasse 10
	Thu, 2022-02-03, 12:00–14:00	Walther-von-Dyck-Strasse 10
	Mon, 2022-02-07, 16:00–18:00	Walther-von-Dyck-Strasse 10
	Tue, 2022-02-08, 10:00–12:00	Walther-von-Dyck-Strasse 10
	Tue, 2022-02-08, 12:00–14:00	Walther-von-Dyck-Strasse 10
	Wed, 2022-02-09, 14:00–16:00	Walther-von-Dyck-Strasse 10
	Wed, 2022-02-09, 16:00–18:00	Walther-von-Dyck-Strasse 10
	Thu, 2022-02-10, 10:00–12:00	Walther-von-Dyck-Strasse 10
	Thu, 2022-02-10, 12:00–14:00	Walther-von-Dyck-Strasse 10

RESERVE iCalendar

	Date and Time	Room and Remark
	Mon, 2021-10-25, 16:00–18:00
	Tue, 2021-10-26, 10:00–12:00
	Tue, 2021-10-26, 10:00–12:00
	Tue, 2021-10-26, 12:00–14:00
	Tue, 2021-10-26, 12:00–14:00
	Wed, 2021-10-27, 14:00–16:00
	Wed, 2021-10-27, 14:00–16:00
	Wed, 2021-10-27, 14:00–16:00
	Thu, 2021-10-28, 10:00–12:00
	Thu, 2021-10-28, 10:00–12:00
	Thu, 2021-10-28, 12:00–14:00
	Thu, 2021-10-28, 12:00–14:00
	Thu, 2021-10-28, 12:00–14:00
	Tue, 2021-11-02, 10:00–12:00
	Tue, 2021-11-02, 10:00–12:00
	Tue, 2021-11-02, 12:00–14:00
	Tue, 2021-11-02, 12:00–14:00
	Wed, 2021-11-03, 14:00–16:00
	Wed, 2021-11-03, 14:00–16:00
	Wed, 2021-11-03, 14:00–16:00
	Thu, 2021-11-04, 10:00–12:00
	Thu, 2021-11-04, 10:00–12:00
	Thu, 2021-11-04, 12:00–14:00
	Thu, 2021-11-04, 12:00–14:00
	Thu, 2021-11-04, 12:00–14:00
	Mon, 2021-11-08, 16:00–18:00
	Tue, 2021-11-09, 10:00–12:00
	Tue, 2021-11-09, 10:00–12:00
	Tue, 2021-11-09, 12:00–14:00
	Tue, 2021-11-09, 12:00–14:00
	Wed, 2021-11-10, 14:00–16:00
	Wed, 2021-11-10, 14:00–16:00
	Wed, 2021-11-10, 14:00–16:00
	Thu, 2021-11-11, 10:00–12:00
	Thu, 2021-11-11, 10:00–12:00
	Thu, 2021-11-11, 12:00–14:00
	Thu, 2021-11-11, 12:00–14:00
	Thu, 2021-11-11, 12:00–14:00
	Mon, 2021-11-15, 16:00–18:00
	Tue, 2021-11-16, 12:00–14:00
	Tue, 2021-11-16, 12:00–14:00
	Wed, 2021-11-17, 14:00–16:00
	Wed, 2021-11-17, 14:00–16:00
	Wed, 2021-11-17, 14:00–16:00
	Thu, 2021-11-18, 10:00–12:00
	Thu, 2021-11-18, 10:00–12:00
	Thu, 2021-11-18, 12:00–14:00
	Thu, 2021-11-18, 12:00–14:00
	Thu, 2021-11-18, 12:00–14:00
	Mon, 2021-11-22, 16:00–18:00
	Tue, 2021-11-23, 10:00–12:00
	Tue, 2021-11-23, 10:00–12:00
	Tue, 2021-11-23, 12:00–14:00
	Tue, 2021-11-23, 12:00–14:00
	Wed, 2021-11-24, 14:00–16:00
	Wed, 2021-11-24, 14:00–16:00
	Wed, 2021-11-24, 14:00–16:00
	Thu, 2021-11-25, 10:00–12:00
	Thu, 2021-11-25, 10:00–12:00
	Thu, 2021-11-25, 12:00–14:00
	Thu, 2021-11-25, 12:00–14:00
	Thu, 2021-11-25, 12:00–14:00
	Mon, 2021-11-29, 16:00–18:00
	Tue, 2021-11-30, 10:00–12:00
	Tue, 2021-11-30, 10:00–12:00
	Tue, 2021-11-30, 12:00–14:00
	Tue, 2021-11-30, 12:00–14:00
	Wed, 2021-12-01, 14:00–16:00
	Wed, 2021-12-01, 14:00–16:00
	Wed, 2021-12-01, 14:00–16:00
	Mon, 2021-12-06, 16:00–18:00
	Tue, 2021-12-07, 10:00–12:00
	Tue, 2021-12-07, 10:00–12:00
	Tue, 2021-12-07, 12:00–14:00
	Tue, 2021-12-07, 12:00–14:00
	Wed, 2021-12-08, 14:00–16:00
	Wed, 2021-12-08, 14:00–16:00
	Wed, 2021-12-08, 14:00–16:00
	Thu, 2021-12-09, 10:00–12:00
	Thu, 2021-12-09, 10:00–12:00
	Thu, 2021-12-09, 12:00–14:00
	Thu, 2021-12-09, 12:00–14:00
	Thu, 2021-12-09, 12:00–14:00
	Mon, 2021-12-13, 16:00–18:00
	Tue, 2021-12-14, 10:00–12:00
	Tue, 2021-12-14, 10:00–12:00
	Tue, 2021-12-14, 12:00–14:00
	Tue, 2021-12-14, 12:00–14:00
	Wed, 2021-12-15, 14:00–16:00
	Wed, 2021-12-15, 14:00–16:00
	Wed, 2021-12-15, 14:00–16:00
	Thu, 2021-12-16, 10:00–12:00
	Thu, 2021-12-16, 10:00–12:00
	Thu, 2021-12-16, 12:00–14:00
	Thu, 2021-12-16, 12:00–14:00
	Thu, 2021-12-16, 12:00–14:00
	Mon, 2021-12-20, 16:00–18:00
	Tue, 2021-12-21, 10:00–12:00
	Tue, 2021-12-21, 10:00–12:00
	Tue, 2021-12-21, 12:00–14:00
	Tue, 2021-12-21, 12:00–14:00
	Wed, 2021-12-22, 14:00–16:00
	Wed, 2021-12-22, 14:00–16:00
	Wed, 2021-12-22, 14:00–16:00
	Thu, 2021-12-23, 10:00–12:00
	Thu, 2021-12-23, 10:00–12:00
	Thu, 2021-12-23, 12:00–14:00
	Thu, 2021-12-23, 12:00–14:00
	Thu, 2021-12-23, 12:00–14:00
	Mon, 2022-01-10, 16:00–18:00
	Tue, 2022-01-11, 10:00–12:00
	Tue, 2022-01-11, 10:00–12:00
	Tue, 2022-01-11, 12:00–14:00
	Tue, 2022-01-11, 12:00–14:00
	Wed, 2022-01-12, 14:00–16:00
	Wed, 2022-01-12, 14:00–16:00
	Wed, 2022-01-12, 14:00–16:00
	Thu, 2022-01-13, 10:00–12:00
	Thu, 2022-01-13, 10:00–12:00
	Thu, 2022-01-13, 12:00–14:00
	Thu, 2022-01-13, 12:00–14:00
	Thu, 2022-01-13, 12:00–14:00
	Mon, 2022-01-17, 16:00–18:00
	Tue, 2022-01-18, 10:00–12:00
	Tue, 2022-01-18, 10:00–12:00
	Tue, 2022-01-18, 12:00–14:00
	Tue, 2022-01-18, 12:00–14:00
	Wed, 2022-01-19, 14:00–16:00
	Wed, 2022-01-19, 14:00–16:00
	Wed, 2022-01-19, 14:00–16:00
	Thu, 2022-01-20, 10:00–12:00
	Thu, 2022-01-20, 10:00–12:00
	Thu, 2022-01-20, 12:00–14:00
	Thu, 2022-01-20, 12:00–14:00
	Thu, 2022-01-20, 12:00–14:00
	Mon, 2022-01-24, 16:00–18:00
	Tue, 2022-01-25, 10:00–12:00
	Tue, 2022-01-25, 10:00–12:00
	Tue, 2022-01-25, 12:00–14:00
	Tue, 2022-01-25, 12:00–14:00
	Wed, 2022-01-26, 14:00–16:00
	Wed, 2022-01-26, 14:00–16:00
	Wed, 2022-01-26, 14:00–16:00
	Thu, 2022-01-27, 10:00–12:00
	Thu, 2022-01-27, 10:00–12:00
	Thu, 2022-01-27, 12:00–14:00
	Thu, 2022-01-27, 12:00–14:00
	Thu, 2022-01-27, 12:00–14:00
	Mon, 2022-01-31, 16:00–18:00
	Tue, 2022-02-01, 10:00–12:00
	Tue, 2022-02-01, 10:00–12:00
	Tue, 2022-02-01, 12:00–14:00
	Tue, 2022-02-01, 12:00–14:00
	Wed, 2022-02-02, 14:00–16:00
	Wed, 2022-02-02, 14:00–16:00
	Wed, 2022-02-02, 14:00–16:00
	Thu, 2022-02-03, 10:00–12:00
	Thu, 2022-02-03, 10:00–12:00
	Thu, 2022-02-03, 12:00–14:00
	Thu, 2022-02-03, 12:00–14:00
	Thu, 2022-02-03, 12:00–14:00
	Mon, 2022-02-07, 16:00–18:00
	Tue, 2022-02-08, 10:00–12:00
	Tue, 2022-02-08, 10:00–12:00
	Tue, 2022-02-08, 12:00–14:00
	Tue, 2022-02-08, 12:00–14:00
	Wed, 2022-02-09, 14:00–16:00
	Wed, 2022-02-09, 14:00–16:00
	Wed, 2022-02-09, 14:00–16:00
	Thu, 2022-02-10, 10:00–12:00
	Thu, 2022-02-10, 10:00–12:00
	Thu, 2022-02-10, 12:00–14:00
	Thu, 2022-02-10, 12:00–14:00
	Thu, 2022-02-10, 12:00–14:00

Assignment to Modules

IN0003: Einführung in die Informatik 2 / Introduction to Informatics 2
This module is included in the following catalogs:
- Further Modules from Other Disciplines

Further Information

Courses are together with exams the building blocks for modules. Please keep in mind that information on the contents, learning outcomes and, especially examination conditions are given on the module level only – see section "Assignment to Modules" above.

additional remarks
Links	TUMonline entry

Equivalent Courses (e. g. in other semesters)

Semester	Title	Lecturers	Dates
SS 2024	Functional Programming and Verification, Exercise Session (IN0003)	Erhard, J. Fulginiti, I. Schwarz, M. Seidl, H. Stade, Y.	dates in groups
SS 2023	Functional Programming and Verification, Exercise Session (IN0003)	Erhard, J. Schwarz, M. Seidl, H.	dates in groups
SS 2022	Functional Programming and Verification, Exercise Session (IN0003)	Erhard, J. Schwarz, M. Seidl, H.	dates in groups
WS 2020/1	Functional Programming and Verification, Exercise Session (IN0003)	Kappelmann, K. Rädle, J. Stevens, L. Responsible/Coordination: Nipkow, T.	dates in groups
WS 2019/20	Functional Programming and Verification, Exercise Session (IN0003)	Kappelmann, K. Rädle, J. Stevens, L. Responsible/Coordination: Nipkow, T.	dates in groups
WS 2019/20	Functional Programming and Verification, Exercise Session (IN0003)	Kappelmann, K. Rädle, J. Stevens, L. Responsible/Coordination: Nipkow, T.	dates in groups
WS 2018/9	Functional Programming and Verification, Exercise Session (IN0003)	Responsible/Coordination: Seidl, H.	dates in groups
WS 2018/9	Functional Programming and Verification, Exercise Session (IN0003)	Responsible/Coordination: Seidl, H.	dates in groups
WS 2017/8	Introduction to Informatics 2, Exercise Session (IN0003)	Responsible/Coordination: Seidl, H.
WS 2016/7	Introduction to Informatics 2, Exercise Session (IN0003)	Responsible/Coordination: Seidl, H.
WS 2015/6	Introduction to Informatics 2, Exercise Session (IN0003)
WS 2014/5	Introduction to Informatics 2, Exercise Session (IN0003)
WS 2013/4	Introduction to Informatics 2, Exercise Session (IN0003)
WS 2012/3	Introduction to Informatics 2, Exercise Session (IN0003)