Proof complexity is a multi-disciplinary research area that addresses questions of the general form "how difficult is it to prove certain mathematical facts?'' The current workshop focussed on recent advances in our ...

In this survey we present some recent applications of proof mining to the fixed point theory of (asymptotically) nonexpansive mappings and to the metastability (in the sense of Terence Tao) of ergodic averages in uniformly ...

We consider two-person zero-sum stochastic mean payoff games with perfect information, or BWR-games, given by a digraph $G = (V,E)$, with local rewards $r : E \to \mathbb{Z}$, and three types of positions: black $V_B$, ...

Topics discussed at the workshop “Quadratic Forms and Linear Algebraic Groups” included besides the algebraic theory of quadratic and Hermitian forms and their Witt groups several aspects of the theory of linear algebraic ...

Topics discussed at the Oberwolfach workshop Quadratic Forms and Linear Algebraic Groups, held in June 2006, included besides the algebraic theory of quadratic and Hermitian forms and their Witt groups several aspects of ...

We prove that the quadratically enriched count of rational curves in a smooth toric del Pezzo surface passing through $k$-rational points and pairs of conjugate points in quadratic field extensions $k\subset k(\sqrt{d_i})$ ...

Important and exciting developments are currently underway in nonparametric statistics involving inter-play between qualitative constraints, penalization, and regularization methods. Some of these developments are taking ...

We consider a model of frequency-dependent selection, to which we refer as the Wildcard Model, that accommodates as particular cases a number of diverse models of biologically specific situations. Two very different ...

The meeting was devoted to discussing the state of the art of different branches of tensor categories and quantum groups, with emphasis on the exchange of ideas between the purely algebraic and operator algebraic sides of ...

The symmetry of objects plays a crucial role in many branches of mathematics and physics. It allowed, for example, the early prediction of the existence of new small particles. “Quantum symmetry” concerns a generalized ...