Summer Semester is at the Door

The lecture-free period (no, no holiday) is about to finish and the summer semester is at the door. Last semester I wasted some of my time on seminars and other not very useful activities, but this one I plan to take lectures, only lectures. Here is a list:

• Introduction to Computational Logic (Prof. Gert Smolka) (9Cr)
  
• Automated Reasoning (Christoph Weidenbach and Uwe Waldmann) (9Cr)
  
• Cryptography (Prof. Michael Backes) (9Cr)
  
• Automated Debugging (Prof. Andreas Zeller) (6Cr)
  
• Decision Procedures for Verification (Prof. Bernd Finkbeiner and Calogero G. Zarba) (6Cr)
  

Should I decide to take a seminar, it will probably be this one:

• Empirical Software Engineering (Prof. Andreas Zeller) (8Cr)