Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317)

Summary: 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 proofs in core areas of ordinary mathematics using proof-theoretic methods. The workshop contributed to the following research strands: \begin{itemize} \item Interactions between foundations and applications. \item Proof mining. \item Constructivity in classical logic. \item Modal logic and provability logic. \item Proof theory and theoretical computer science. \item Structural proof theory. \end{itemize}