Invited speaker Dr. Jipsen covered various topics at CUSO winter school in Switzerland

Dr. Jipsen gave three lectures in just three days at the CUSO Winter School in Mathematics and Computer Science in Les Diablerets, Switzerland.  His lectures covered finite models and practical decision procedures in propositional substructural logics.

The quick winter school session focused on proof and computation, both fundamental for the study of mathematical logic and theoretical computer science.  From January 27-31, students and teachers participated in tutorials and lectures, while saving afternoons for research and, of course, skiing and snowboarding.