Seminar i programutviklingsteknologi

Seminaret vil bli avholdt noe uregelmessig

• onsdager 12.15-14 i seminarrom 2104 HiB,

Planen for første del av semesteret er som følger.

• 21.02.01: diskusjonsmøte.
• 28.02.01: Magne Haveraaen: vesensforskjeller mellom imperativt og funksjonelt programmeringsparadigme?
• 07.03.01: - vinterferie -
• 14.03.01: Marc Bezem: Prolog-mysterier - om forholdet mellom spesifikasjoner og eksekverbare spesifikasjoner.
• 21.03.01: Uwe Wolter: tensorprodukt av algebraiske teorier.
• 28.03.01: Marc Bezem: konstruktiv analyse og spesifikasjon av reelle tall.
• - påskeferie -
• 02.05.01: Uwe Wolter: koalgebraer.
• 09.05.01: Marc Bezem: programmeringsparadigmer.
• 16.05.01: Thomas Ågotnes.
• 23.05.01: Khalid Mughal.
• 30.05.01: Michal Walicki.

Seminaret veksler mellom filosofiske betraktninger og mer teknisk innhold. De førstnevnte, så som 28.2. og 14.3., kan følges av alle med generell informatikkbakgrunn.

Seminar i programutviklingsteknologi er åpent for alle interesserte. Spesielt anbefales hovedfagsstudenter som trenger innspill til spesialpensum å møte opp. Likeledes kan dette være et forum der studenter som tenker å ta et hovedfag kan få et innblikk i hvilke problemstillinger som opptar forskere i faget.