[Club2] Mi. 08.02. 15.00 Uhr
Norbert Schirmer
schirmer@in.tum.de
Mon, 6 Feb 2006 10:29:09 +0100
Diese Woche:
Mi. 08.02.06: 15.00 Uhr, in Alan Turing (00.09.055),
Christian Urban:
Nominale Techniken in Isabelle
Der Vortrag soll einen groben =DCberblick =FCber die nominalen
Ideen geben. N=E4her werde ich auf die Repr=E4sentation von
Alpha-=C4quivalenzklassen eingehen. Mit dem Vortrag m=F6chte
ich die Zuh=F6rer davon begeistern, weitere Vortr=E4ge =FCber=20
fortgeschrittene nominale Themen zu h=F6ren.
Norbert