Dr. Peter Jipsen starts the year off with altitude
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