Wolf Karsten  

Einzeltermin Blockveranstaltung 14-tägl. Veranstaltung
 Zeit Montag
25.10.2021
Dienstag
26.10.2021
Mittwoch
27.10.2021
Donnerstag
28.10.2021
Freitag
29.10.2021
 vor 7          
 7          
         
         
         
 8          
         
         
         
 9
23431 Compilerbau
Montag,  09:00 - 11:00 , wö
Start:  11.10.2021
Ende:  24.01.2022
2 SWS
Vorlesung
Einrichtung: IEF - Fakultät
  vormerken
 
23144 Computergestützte Verifikation
Mittwoch,  09:00 - 11:00 , ungerWoch
Start:  13.10.2021
Ende:  19.01.2022
3 SWS
Vorlesung
Einrichtung: IEF - Fakultät
  vormerken
   
     
     
     
 10      
     
     
     
 11
23519 Formale Methoden der Informatik
Montag,  11:00 - 13:00 , ungerWoch
Start:  11.10.2021
Ende:  17.01.2022
3 SWS
Vorlesung
Einrichtung: IEF - Fakultät
  vormerken
   
23883 Logik
Donnerstag,  11:00 - 13:00 , wö
Start:  14.10.2021
Ende:  27.01.2022
3 SWS
Vorlesung
Einrichtung: IEF - Fakultät
  vormerken
23519 Formale Methoden der Informatik
Freitag,  11:00 - 13:00 , wö
Start:  15.10.2021
Ende:  28.01.2022
3 SWS
Vorlesung
Einrichtung: IEF - Fakultät
  vormerken
   
   
   
 12    
   
   
   
 13      
23144 Computergestützte Verifikation
Donnerstag,  13:00 - 15:00 , wö
Start:  14.10.2021
Ende:  27.01.2022
3 SWS
Vorlesung
Einrichtung: IEF - Fakultät
  vormerken
 
       
       
       
 14        
       
       
       
 15      
23524 Ringvorlesung "Forschungsthemen der Informatik"
Donnerstag,  15:00 - 18:00 , wö
Start:  14.10.2021
Ende:  27.01.2022
3 SWS
Vorlesung, Raum Onlineveranstaltung
Einrichtung: IEF - Fakultät
  vormerken
23882 Ringvorlesung/Forschungsthemen der Informatik
Donnerstag,  15:00 - 18:00 , wö
Start:  14.10.2021
Ende:  27.01.2022
2 SWS
Vorlesung, Raum SR 109, A.-Einstein-Str. 22
Einrichtung: IEF - Fakultät
  vormerken
 
       
       
       
 16        
       
       
       
 17        
       
       
       
 18          
         
         
         
 19          
         
         
         
 ab 20