[Logica-l] Eventos em Barcelona e Coimbra (Inìcio de Julho 2024) - TACL + Summer Conference on Topology

Prezados Recebi informes sobre os seguintes eventos, que ocorrerao em semanas consecutivas no início de julho de 2024: ---> TACL - Topology, Algebra and Categories in Logic Barcelona, 01-05 Julho 2024 (com Escola 25-28 Junho) Site da conferência: https://iiia.csic.es/tacl2024/ ---> Summer

[Logica-l] talk: Formalising 21st-Century Mathematics

Pode ser de interesse a alguns membros desta lista: %%% Date/Time: 15 January 2024, 4-6pm GMT Speaker: Lawrence C. Paulson FRS, University of Cambridge Web: https://www.cl.cam.ac.uk/~lp15/ Registration: https://www.lms.ac.uk/events/lms-bcs-facs-seminar-2024 Title: Formalising 21st-Century