For best experience please turn on javascript and use a modern browser!
You are using a browser that is no longer supported by Microsoft. Please upgrade your browser. The site may not present itself correctly if you continue browsing.

Dr. B. (Benno) van den Berg

Faculty of Science
ILLC

Visiting address
  • Science Park 105
  • Room number: F2.43
Postal address
  • Postbus 94242
    1090 GE Amsterdam
Contact details
  • Publications

    2020

    2019

    2018

    2017

    2015

    2014

    • van den Berg, B., & Heunen, C. (2014). Extending obstruction to noncommutative functorial spectra. Theory and Applications of Categories, 29, 457-474. [17]. [details]
    • van den Berg, B., & Moerdijk, I. (2014). The axiom of multiple choice and models for constructive set theory. Journal of Mathematical Logic, 14(1), [1450005]. https://doi.org/10.1142/S0219061314500056 [details]

    2013

    Membership

    • van den Berg, B. (2016). PC membership, TACL 2017, Prague.

    Talk / presentation

    • van den Berg, B. (speaker) (19-11-2020). A topos for continuous logic, Memorial Conference for Erik Palmgren, 1963-2019.
    • van den Berg, B. (speaker) (12-11-2020). Converse extensionality and apartness, Oberwolfach Workshop on Mathematical Logic.
    • van den Berg, B. (speaker) (9-10-2020). Quadratic type checking for objective type theory, Gothenburg Logic Seminar.
    • van den Berg, B. (speaker) (20-12-2019). Homotopy Type Theory with Explicit Conversions, Foundations and applications of univalent mathematics, Herrsching.
    • van den Berg, B. (speaker) (20-11-2019). Uniform Kan fibrations in simplicial sets, Homotopy Type Theory Electronic Seminar.
    • van den Berg, B. (speaker) (6-11-2019). Uniform Kan fibrations in simplicial sets, University of Stockholm.
    • van den Berg, B. (speaker) (30-10-2019). Propositielogica, Lang leve de logica!, Amsterdam.
    • van den Berg, B. (speaker) (17-10-2019). Toposes for modified realizability, University of Cambridge, UK.
    • van den Berg, B. (speaker) (15-8-2019). Uniform Kan fibrations in simplicial sets, Homotopy Type Theory 2019, Pittsburgh.
    • van den Berg, B. (speaker) (8-7-2019). Uniform Kan fibrations in simplicial sets, Category Theory 2019, Edinburgh.
    • van den Berg, B. (speaker) (2-7-2019). Toposes for modified realizability, Facets of realizability, cachan.
    • van den Berg, B. (speaker) (28-8-2018). Univalent polymorphism, Utrecht topology feest, Utrecht.
    • van den Berg, B. (speaker) (6-7-2018). Two observations on intuitionistic logic and arithmetic, HIM: Workshop: Proofs and Computation, Bonn.
    • van den Berg, B. (speaker) (5-6-2018). Univalent polymorphism, HIM: Workshop: Types, Homotopy Type theory, and Verification, Bonn.
    • van den Berg, B. (speaker) (30-5-2018). Path categories, 4th Workshop on Categorical Algebra, Gargnano.
    • van den Berg, B. (speaker) (19-4-2018). Homotopy type theory with explicit conversions, Workshop on mixed inductive-coinductive reasoning.
    • van den Berg, B. (speaker) (12-4-2018). Homotopy type theory with explicit conversions, International Workshop on Computational Approaches to the Foundations of Mathematics, Munich.
    • van den Berg, B. (speaker) (13-1-2018). Constructieve taal, KWG Wintersymposium.
    • van den Berg, B. (speaker) (9-3-2017). Arithmetical conservation results and Goodman's Theorem, Operations, Sets and Types, Bern.
    • van den Berg, B. (speaker) (4-8-2016). Homotopy type theory via path categories, Logic Colloquium Leeds 2016.

    Others

    • van den Berg, B. (participant) (6-3-2020). Anne Troelstra Memorial Event 2020, Amsterdam (organising a conference, workshop, ...).
    • van den Berg, B. (other) (1-1-2020 - 1-1-2023). EC Master of Logic (other).
    • van den Berg, B. (other) (1-1-2020 - 1-8-2020). OC Wiskunde (other).
    • van den Berg, B. (participant) (28-3-2019). Leve de Logica!, Amsterdam (organising a conference, workshop, ...).
    • van den Berg, B. (other) (1-9-2013 - 31-12-2019). OC Wiskunde (other).

    2021

    • Uemura, T. (2021). Abstract and concrete type theories. Institute for Logic, Language and Computation. [details]
    This list of publications is extracted from the UvA-Current Research Information System. Questions? Ask the library or the Pure staff of your faculty / institute. Log in to Pure to edit your publications. Log in to Personal Page Publication Selection tool to manage the visibility of your publications on this list.
  • Ancillary activities
    • No ancillary activities