Abstract

The second summer school for the EU RISE project SYSMICS (Syntax meets Semantics -- Methods, Interactions, and Connections in Substructural logics) will provide PhD students from across mathematics, philosophy, and computer science with the opportunity to learn from leading logicians about important active research topics in the field of non-classical logics. Taking place in the secluded alpine village of Les Diablerets, the school will also provide the opportunity to interact both scientifically and socially with other students and lecturers of the courses.