Browsing Oberwolfach Reports by Title
Now showing items 533-552 of 1123
-
1145 - Mathematical Logic: Proof Theory, Constructive Mathematics
[OWR-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] (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] (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] (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] (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. -
1812 - Mathematical Methods in Quantum Chemistry
[OWR-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] (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] (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] (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] (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] (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] (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] (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] (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] (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] (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] (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] (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] (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, ... -
1433 - Mathematics and Algorithms in Tomography
[OWR-2014-37] (2014) - (10 Aug - 16 Aug 2014)This was the ninth Oberwolfach conference on the mathematics of tomography. Modalities represented at the workshop included X-ray tomography, radar, seismic imaging, ultrasound, electron microscopy, impedance imaging, ...