Now showing items 1941-1960 of 1987

    • 2329 - Transport and Scale Interactions in Geophysical Flows 

      [OWR-2023-31] (2023) - (16 Jul - 21 Jul 2023)
      This interdisciplinary workshop brought together researchers working on different aspects of transport and scale interactions across the spectrum of geophysical fluid dynamics: geometry and computation of transport and ...
    • 2337 - Many-Body Quantum Systems 

      [OWR-2023-39] (2023) - (10 Sep - 15 Sep 2023)
      This workshop brought together experts on the analysis of quantum many-body problems and quantum statistical mechanics, with the goal of discussing the state-of-the-art of the field, recent developments as well as challenges ...
    • 2328 - Dynamische Systeme 

      [OWR-2023-30] (2023) - (09 Jul - 14 Jul 2023)
      This workshop continues a series of workshops whose current format originated in 1981 under then-organizers Moser and Zehnder, and whose latest iteration took place in July 2023. The general goal of this series of workshops ...
    • 2327 - Differentialgeometrie im Grossen 

      [OWR-2023-29] (2023) - (02 Jul - 07 Jul 2023)
      Over the past several decades, classical differential geometry has undergone a remarkable expansion, helped by the integration of tools and insights from neighboring fields like partial differential equations, complex ...
    • 2332 - Homotopy Theory 

      [OWR-2023-34] (2023) - (06 Aug - 11 Aug 2023)
      The workshop brought together experts in homotopy theory from many areas, including chromatic homotopy theory, algebraic K-theory, derived algebra and equivariant homotopy theory. We had a lecture series on the recent ...
    • 2330 - Partial Differential Equations 

      [OWR-2023-32] (2023) - (23 Jul - 28 Jul 2023)
      This workshop focused on nonlinear elliptic and parabolic partial differential equations, touching topics such as geometric flows, geometric variational problems and minimal surfaces, free boundaries, and geometric measure ...
    • 2338a - Tensor-Triangular Geometry and Interactions 

      [OWR-2023-40] (2023) - (17 Sep - 22 Sep 2023)
      The workshop brought together experts in a rapidly growing field of tensor triangular geometry highlighting applications to and techniques coming from homotopy theory, algebraic geometry, modular representation theory, ...
    • 2331 - Teichmüller Theory: Classical, Higher, Super and Quantum 

      [OWR-2023-33] (2023) - (30 Jul - 04 Aug 2023)
      Teichmüller spaces play a major role in many areas of mathematics and physical science. The subject of the conference was recent developments of Teichmüller theory with its different ramifications that include the ...
    • 2339b - Mini-Workshop: Multivariate Orthogonal Polynomials: New synergies with Numerical Analysis 

      [OWR-2023-43] (2023) - (24 Sep - 29 Sep 2023)
      Multivariate polynomials and, in particular, multivariate orthogonal polynomials (MOPs) are research areas within the fields of special functions, Lie groups, quantum groups, computer algebra to name only some of them. ...
    • 2338b - Mini-Workshop: Interpolation and Over-parameterization in Statistics and Machine Learning 

      [OWR-2023-41] (2023) - (17 Sep - 22 Sep 2023)
      In recent years it has become clear that, contrary to traditional statistical beliefs, methods that interpolate (fit exactly) the noisy training data, can still be statistically optimal. In particular, this phenomenon of ...
    • Flag-Accurate Arrangements 

      [OWP-2023-01] Mücksch, Paul; Röhrle, Gerhard; Tran, Tan Nhat (Mathematisches Forschungsinstitut Oberwolfach, 2023-02-13)
      In [MR21], the first two authors introduced the notion of an accurate arrangement, a particular notion of freeness. In this paper, we consider a special subclass, where the property of accuracy stems from a flag of flats ...
    • Real Enumerative Invariants Relative to the Anti-Canonical Divisor and their Refinement 

      [OWP-2023-02] Itenberg, Ilia; Shustin, Eugenii (Mathematisches Forschungsinstitut Oberwolfach, 2023-03-24)
      We introduce new invariants of the projective plane (and, more generally, of certain toric surfaces) that arise from the appropriate enumeration of real elliptic curves. These invariants admit a refinement (according to ...
    • Computer Algebra with GAP 

      [OWP-2023-03] Piterman, Kevin I.; Vendramin, Leandro (Mathematisches Forschungsinstitut Oberwolfach, 2023-04-13)
      This monograph includes the following topics: a basic introduction to the language, basic arithmetic, permutations, matrices, polynomial rings, finite fields, finite and finitely presented groups, small groups, group ...
    • Edifices: Building-like Spaces Associated to Linear Algebraic Groups; In memory of Jacques Tits 

      [OWP-2023-04] Bate, Michael; Martin, Benjamin; Röhrle, Gerhard (Mathematisches Forschungsinstitut Oberwolfach, 2023-06-19)
      Given a semisimple linear algebraic $k$-group $G$, one has a spherical building $Δ_G$, and one can interpret the geometric realisation $Δ_G(\mathbb R)$ of $Δ_G$ in terms of cocharacters of $G$. The aim of this paper is to ...
    • Automatic Differentiation for ML-Familiy Languages: Correctness via Logical Relations 

      [OWP-2023-07] Lucatelli Nunes, Fernando; Vákár, Matthijs (Mathematisches Forschungsinstitut Oberwolfach, 2023-06-19)
    • Semantic Factorization and Descent 

      [OWP-2023-05] Lucatelli Nunes, Fernando (Mathematisches Forschungsinstitut Oberwolfach, 2023-06-19)
      Let $\mathbb{A}$ be a $2$-category with suitable opcomma objects and pushouts. We give a direct proof that, provided that the codensity monad of a morphism $p$ exists and is preserved by a suitable morphism, the factorization ...
    • Logical Relations for Partial Features and Automatic Differentiation Correctness 

      [OWP-2023-09] Lucatelli Nunes, Fernando; Vákár, Matthijs (Mathematisches Forschungsinstitut Oberwolfach, 2023-06-19)
      We present a simple technique for semantic, open logical relations arguments about languages with recursive types, which, as we show, follows from a principled foundation in categorical semantics. We demonstrate how it can ...
    • Hypergroups and Twin Buildings, I 

      [OWP-2023-10] French, Christopher; Zieschang, Paul-Hermann (Mathematisches Forschungsinstitut Oberwolfach, 2023-06-19)
      We discuss a conjecture on thick twin buildings the verification of which is needed in order to show that thick twin buildings are mathematically equivalent to regular actions of certain twin Coxeter hypergroups. (A ...
    • Lax Comma Categories of Ordered Sets 

      [OWP-2023-08] Clementino, Maria Manuel; Lucatelli Nunes, Fernando (Mathematisches Forschungsinstitut Oberwolfach, 2023-06-19)
      Let $\mathsf{Ord} $ be the category of (pre)ordered sets. Unlike $\mathsf{Ord}/X$, whose behaviour is well-known, not much can be found in the literature about the lax comma 2-category $\mathsf{Ord} //X$. In this paper ...
    • Cauchy Completeness, Lax Epimorphisms and Effective Descent for Split Fibrations 

      [OWP-2023-06] Lucatelli Nunes, Fernando; Prezado, Rui; Sousa, Lurdes (Mathematisches Forschungsinstitut Oberwolfach, 2023-06-19)
      For any suitable base category $\mathcal{V} $, we find that $\mathcal{V} $-fully faithful lax epimorphisms in $\mathcal{V} $-$\mathsf{Cat} $ are precisely those $\mathcal{V}$-functors $F \colon \mathcal{A} \to \mathcal{B}$ ...