Seminar of applied mathematics will continue on October 8, 2pm in lecture room M5.

Mgr. Michal Theuer

Infection avoidance for populations affected by STIs

October 10, 2019 from 4:30 PM at Refectory of Augustinian Abbey at Mendel Square - Mendel Museum

Dana Stewart Scott

Enumeration Operators, Probability, Type Theory

Abstract:

For a long time it has been known that enumeration operators on the powerset of the integers form a model of the λ-calculus. More recently, the speaker realized that well-known methods allow for the adjunction of random variables to the model. Also other well-known ideas can expend the basic model into a model for Martin-Löf type theory. Some recent work with a group of collaborators combines the two approaches by invoking Boolean-valued models. The talk will address the question of how to give this natural modeling interesting applications.

Program here.

Seminar of applied mathematics will continue on October 1, 2pm in lecture room M5.

Julia Singer, Ph.D.

Walking through the statistical analysis plan of a clinical trial