Browsing Workshops 2017 by MSC "03"
Now showing items 1-4 of 4
-
1745 - Mathematical Logic: Proof Theory, Constructive Mathematics
[OWR-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 ... -
1718 - O-Minimality and its Applications to Number Theory and Analysis
[OWR-2017-22] (2017) - (30 Apr - 06 May 2017)The workshop brought together researchers in the areas of o-minimal structures, analysis and number theory. The latest developments in o-minimality and their applications to number theory and analysis were presented in a ... -
1733 - Proof Complexity and Beyond
[OWR-2017-37] (2017) - (13 Aug - 19 Aug 2017)Proof complexity is a multi-disciplinary intellectual endeavor that addresses questions of the general form “how difficult is it to prove certain mathematical facts?” The current workshop focused on recent advances in our ... -
1707 - Set Theory
[OWR-2017-11] (2017) - (12 Feb - 18 Feb 2017)This workshop included selected talks on pure set theory and its applications, simultaneously showing diversity and coherence of the subject.