Browsing 5 - Oberwolfach Reports (OWR) by Title

Now showing items 666-685 of 1397

    • 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

    • 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.

    • 0815 - Mathematical Logic: Proof Theory, Constructive Mathematics 

      [OWR-2008-18] Workshop Report 2008,18 (2008) - (06 Apr - 12 Apr 2008)
      The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” brought together a carefully selected group of mathematicians, computer scientists and logicians in other fields to discus the impact of proof-theoretic ...

    • 2346 - Mathematical Logic: Proof Theory, Constructive Mathematics 

      [OWR-2023-53] Workshop Report 2023,53 (2023) - (12 Nov - 17 Nov 2023)
      The Workshop "Mathematical Logic: Proof Theory, Constructive Mathematics" focused on proof-theoretic research on the foundations of mathematics, on the extraction of explicit computational content from given proofs in ...

    • 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 and Constructive Mathematics” covered various topics of mathematical logic dealing with proofs as formal objects and computations induced by proofs.

    • 0151 - Mathematical Methods in Manufacturing and Logistics 

      [TB-2001-54] Workshop Report 2001,54 (2001) - (16 Dec - 22 Dec 2001)

    • 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, ...

    • 0233 - Mathematical Methods in Tomography 

      [TB-2002-39] Workshop Report 2002,39 (2002) - (11 Aug - 17 Aug 2002)

    • 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.

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

      [TB-2002-40] Workshop Report 2002,40 (2002) - (18 Aug - 24 Aug 2002)