Title: Introduction to Modal Logic: Filtrations and Finite Model Property of $S_5$
Abstract : We’ll introduce some basic notions from Modal Logic namely, Kripke Frames, Standard Models, Filtrations etc. Then we’ll demonstrate the Finite Model Property of the system $S_5$ and this will be our main goal.
Speaker: B. Kjos-Hanssen
Title: Refuting a generalization of Frankl’s conjecture for lattice-like posets
Janitha Awedige will discuss the paper
“Inference Rules for Probability Logic” by Marija Boricic.
Topological data analysis (TDA) is a new approach to analyzing complexdata which often helps reveal otherwise hidden patterns by highlightingvarious geometrical and topological features of the data. Persistenthomology is a key in the TDA toolbox. It measures topological featuresof data that persist across multiple scales and thus are robust withrespect to noise. Persistent homology has had many successfulapplications, but there is room for improvement. For large datasets,computation of persistent homology often takes a significant amount oftime. Several approaches have been proposed to try to remedy this issue,such as witness complexes, but those approaches present their owndifficulties.