Frumin, D., & van den Berg, B. (2019). A homotopy-theoretic model of function extensionality in the effective topos. Mathematical Structures in Computer Science, 29(4), 588-614. https://doi.org/10.1017/S0960129518000142[details]
van den Berg, B. (2018). Path categories and propositional identity types. ACM Transactions on Computational Logic, 19(2), [15]. https://doi.org/10.1145/3204492[details]
van den Berg, B., & Moerdijk, I. (2018). Exact completion of path categories and algebraic set theory: Part I: Exact completion of path categories. Journal of Pure and Applied Algebra, 222(10), 3137-3181. https://doi.org/10.1016/j.jpaa.2017.11.017[details]
Hadzihasanovic, A., & van den Berg, B. (2017). Nonstandard functional interpretations and categorical models. Notre Dame Journal of Formal Logic, 58(3), 343-380. https://doi.org/10.1215/00294527-3870348[details]
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]
van den Berg, B. (2021). Veni panel for mathematics., NWO.
van den Berg, B. (2016). PC membership, TACL 2017, Prague.
Tijdschriftredactie
van den Berg, B. (editor) (2021-2022). Applied Categorical Structures (Journal).
van den Berg, B. (editor) (2017-2022). The Bulletin of Symbolic Logic (Journal).
Spreker
van den Berg, B. (speaker) (8-7-2021). Church's Thesis in Homotopy Type Theory, HaPoC special session at CiE 2021, Ghent.
van den Berg, B. (speaker) (9-2-2021). Effective Kan fibrations in simplicial sets, Bohemian Logical & Philosophical Cafe.
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.
Andere
van den Berg, B. (participant) (27-10-2021). Dutch Categories and Types Seminar, Amsterdam (organising a conference, workshop, ...).
van den Berg, B. (examiner) (1-9-2021). PhD defense (examination).
van den Berg, B. (examiner) (8-12-2020). PhD defense (examination).
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]
De UvA maakt gebruik van cookies en daarmee vergelijkbare technieken voor het functioneren, meten en optimaliseren van de website. Ook worden er cookies geplaatst om bijv. YouTube filmpjes te kunnen tonen en voor marketingdoeleinden. Deze laatste categorie betreffen de tracking cookies. Uw internetgedrag kan worden gevolgd door middel van deze tracking cookies. Door op “Accepteer alle cookies” te klikken gaat u hiermee akkoord. Lees ook het UvA Privacy statement
Noodzakelijk
Cookies noodzakelijk voor het basisfunctioneren van de website. Deze cookies worden bijvoorbeeld ingezet om het inloggen voor studenten en medewerkers mogelijk te maken.
Noodzakelijk & Optimalisatie
Cookies die worden geplaatst om anoniem gegevens te verzamelen over het gebruik van de website om deze te verbeteren.
Noodzakelijk & Optimalisatie & Marketing
Cookies die in staat stellen bezoekers te volgen en van gepersonaliseerde advertenties te voorzien. Externe advertentienetwerken verzamelen individuele gegevens over internetgedrag. Selecteer deze categorie om YouTube video's te kunnen kijken.