The school is structured to progress from foundational concepts to practical reasoning clearly and engagingly. Each session combines explanation, examples, and interactive problem-solving to ensure participants understand both the theory and its applications.
School Program: 12th to 16th of January (Subject to change):
Day 1 (morning 09:00 - 12:00): Introduction to Logical Analysis of Data
Day 1 (afternoon 14:00 - 16:00): Introduction to SOLE.jl
Day 2 (morning 09:00 - 12:00): Introduction to Modal Logic
Day 2 (afternoon 14:00 - 16:00): Modal Logic in SOLE.jl
Day 3 (morning 09:00 - 12:00): Introduction to Many-Valued Logic
Day 3 (afternoon 14:00 - 16:00): Many-Valued Logic in SOLE.jl
Day 4 (morning 09:00 - 12:00): Logical Analysis of Data
Day 4 (afternoon 14:00 - 16:00): Logical Analysis of Data in SOLE.jl
Day 5 (morning 09:00 - 12:00): Real World Examples
Day 5 (afternoon 14:00 - 16:00): Real World Examples