Abstract: This is a quick survey of Feynman's asymptotic formula for m-point functions as a sum over graphs.

Abstract: I will present formal proofs of selected results discussed in preceding seminar talks using the Coq library UniMath.

Abstract: In this partially expository talk we discuss some recent progress and open problems concerning real analytic Levi flat hypersurfaces with singularities. We prove that the Levi foliation of such a hypersurface extends as a holomorphic web to a full neighborhood of singularity. This is a joint work with R. Shafikov (Comment. Math. Helvet. '15).