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
 
23144 Computergestützte Verifikation
   
     
     
     
 10      
     
     
     
 11
23519 Formale Methoden der Informatik
   
23883 Logik
23519 Formale Methoden der Informatik
   
   
   
 12    
   
   
   
 13      
23144 Computergestützte Verifikation
 
       
       
       
 14        
       
       
       
 15      
23524 Ringvorlesung "Forschungsthemen der Informatik"
23882 Ringvorlesung/Forschungsthemen der Informatik
 
       
       
       
 16        
       
       
       
 17        
       
       
       
 18          
         
         
         
 19          
         
         
         
 ab 20