Browsing Oberwolfach Reports by Title

Now showing items 527-546 of 1107

    • 1447 - Mathematical Logic: Proof theory, Constructive Mathematics 

      [OWR-2014-52] Workshop Report 2014,52 (2014) - (16 Nov - 22 Nov 2014)
      The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of current mathematics, constructive mathematics and logical aspects of computational complexity

    • 0815 - Mathematical Logic: Proof Theory, Constructive Mathematics 

      [OWR-2008-18] Workshop Report 2008,18 (2008) - (06 Apr - 12 Apr 2008)

    • 1745 - Mathematical Logic: Proof Theory, Constructive Mathematics 

      [OWR-2017-53] Workshop Report 2017,53 (2017) - (05 Nov - 11 Nov 2017)
      The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of core mathematics and theoretical computer science as well as homotopy type theory and logical aspects ...

    • 1145 - Mathematical Logic: Proof Theory, Constructive Mathematics 

      [OWR-2011-52] Workshop Report 2011,52 (2011) - (06 Nov - 12 Nov 2011)
      The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of current mathematics, constructive mathematics and logical aspects of computational complexity.

    • 2046 - Mathematical Logic: Proof Theory, Constructive Mathematics (hybrid meeting) 

      [OWR-2020-34] Workshop Report 2020,34 (2020) - (08 Nov - 14 Nov 2020)
      The Workshop "Mathematical Logic: Proof Theory, Constructive Mathematics" focused on proofs both as formal derivations in deductive systems as well as on the extraction of explicit computational content from given ...

    • 0512 - Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics 

      [OWR-2005-14] Workshop Report 2005,14 (2005) - (20 Mar - 26 Mar 2005)
      The workshop “Mathematical Logic: Proof Theory, Type Theory

    • 1812 - Mathematical Methods in Quantum Chemistry 

      [OWR-2018-13] Workshop Report 2018,13 (2018) - (18 Mar - 24 Mar 2018)
      The field of quantum chemistry is concerned with the modelling and simulation of the behaviour of molecular systems on the basis of the fundamental equations of quantum mechanics. Since these equations exhibit an extreme ...

    • 1126 - Mathematical Methods in Quantum Chemistry 

      [OWR-2011-32] Workshop Report 2011,32 (2011) - (26 Jun - 02 Jul 2011)
      The field of quantum chemistry is concerned with the analysis and simulation of chemical phenomena on the basis of the fundamental equations of quantum mechanics. Since the ‘exact’ electronic Schrödinger equation for a ...

    • 1917 - Mathematical Methods in Quantum Molecular Dynamics 

      [OWR-2019-20] Workshop Report 2019,20 (2019) - (21 Apr - 27 Apr 2019)
      The workshop on "Mathematical Methods in Quantum Molecular Dynamics" has brought together chemists, mathematicians, and physicists developing new mathematical methods for studying the motion of atoms in molecules and in ...

    • 1523 - Mathematical Methods in Quantum Molecular Dynamics 

      [OWR-2015-27] Workshop Report 2015,27 (2015) - (31 May - 06 Jun 2015)
      This report summarizes the 2015 Oberwolfach meeting on mathematical methods in quantum molecular dynamics. Over decades this field has hosted considerable research activity from different disciplines, such as mathematics, ...

    • 0631 - Mathematical Methods in Tomography 

      [OWR-2006-34] Workshop Report 2006,34 (2006) - (30 Jul - 05 Aug 2006)
      This is the seventh Oberwolfach conference on the mathematics of tomography, the first one taking place in 1980. Tomography is the most popular of a series of medical and scientific imaging techniques that have been developed ...

    • 0534b - Mathematical Population Genetics 

      [OWR-2005-40] Workshop Report 2005,40 (2005) - (21 Aug - 27 Aug 2005)
      The meeting was devoted to mathematical aspects of population genetics, a branch of theoretical biology that is concerned with the genetic structure of populations under the influence of various evolutionary processes such ...

    • 1737 - Mathematical Questions and Challenges in Quantum Electrodynamics and its Applications 

      [OWR-2017-41] Workshop Report 2017,41 (2017) - (10 Sep - 16 Sep 2017)
      Quantum field theory (QFT) may be considered one of the most fundamental frameworks of theoretical physics. Quantum Electrodynamics (QED) is the part of QFT that describes the interaction between matter and light. Although ...

    • 1317a - Mathematical Statistics of Partially Identified Objects 

      [OWR-2013-19] Workshop Report 2013,19 (2013) - (21 Apr - 27 Apr 2013)
      The workshop brought together leading experts in mathematical statistics, theoretical econometrics and bio-mathematics interested in mathematical objects occurring in the analysis of partially identified structures. The ...

    • 0634 - Mathematical Theory and Modelling in Atmosphere-Ocean Science 

      [OWR-2006-39] Workshop Report 2006,39 (2006) - (20 Aug - 26 Aug 2006)
      Mathematical theory and modelling in atmosphere-ocean science combines a broad range of advanced mathematical and numerical techniques and research directions. This includes the asymptotic analysis of multiscale systems, ...

    • 1032 - Mathematical Theory and Modelling in Atmosphere-Ocean-Science 

      [OWR-2010-34] Workshop Report 2010,34 (2010) - (08 Aug - 14 Aug 2010)
      Participants from around the world gathered to review application and development of mathematics in relation to problems in the atmospheric, oceanic and climate sciences.

    • 0646a - Mathematical Theory of Water Waves 

      [OWR-2006-50] Workshop Report 2006,50 (2006) - (12 Nov - 18 Nov 2006)
      The water-wave problem is the study of the two- and threedimensional irrotational flow of a perfect fluid bounded above by a free surface subject to the forces of gravity and surface tension. It is a paradigm for most ...

    • 1929a - Mathematical Theory of Water Waves 

      [OWR-2019-32] Workshop Report 2019,32 (2019) - (14 Jul - 20 Jul 2019)
      Water waves, that is waves on the surface of a fluid (or the interface between different fluids) are omnipresent phenomena. However, as Feynman wrote in his lecture, water waves that are easily seen by everyone, and which ...

    • 1516a - Mathematical Theory of Water Waves 

      [OWR-2015-19] Workshop Report 2015,19 (2015) - (12 Apr - 18 Apr 2015)
      The water-wave problem is the study of the two- and three-dimensional flow of a perfect fluid bounded above by a free surface subject to the forces of gravity and surface tension. From a mathematical viewpoint, the water-wave ...

    • 1015 - Mathematics and Algorithms in Tomography 

      [OWR-2010-18] Workshop Report 2010,18 (2010) - (11 Apr - 17 Apr 2010)
      This is the eighth Oberwolfach conference on the mathematics of tomography. Modalities represented at the workshop included X-ray tomography, sonar, radar, seismic imaging, ultrasound, electron microscopy, impedance imaging, ...