Abstract: We shall give several examples of Yang-Mills Theories.

Abstract: This talk will be a basic interactive introduction to Coq. I will start with simple operations on natural numbers, then move on to functions on arbitrary types, and illustrate how to prove a logical statement in computer.

Abstract: We present the following theorem: A totally real smooth surface in $\mathbb{C}^2$ with an open Whitney umbrella at the origin, is locally polynomially convex near the singular point. This is a natural generalization of a result of Shafikov and Sukhov that addresses the same problem, but in the generic case. Our theorem establishes polynomial convexity in full generality in this context. This is joint work with Rasul Shafikov.