Springer Seminar - k9logic