[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