- Folli -- folli.info
- FOM -- mathweb.ucsd.edu/~sbuss/FOM/
- LOGIC --resources.illc.uva.nl/LogicList/
- PT -- people.bath.ac.uk/ag248/pt/
-- [LOGIC] Mailing List -- https://lists.uni-hamburg.de/mailman/listinfo/math.logic
- Computational Logic Seminar at TU Wien --list.tuwien.ac.at/sympa/subscribe/clsem?previous_action=confirm_action
--Theory and Logic Group -Faculty of Informatics at TU Wien -- https://www.logic.at/
(send an email with ** subscribe ** in the subject line to: announce-join@logic.at. )
-- Kurt Goedel Society -- kgslist@logic.at
--- Women in Logic
-- https://mailman.rice.edu/mailman/listinfo/vardi-list
-- https://listas.fc.up.pt/mailman/listinfo/mat.escolas
--Seminars at the KGRC https://kgrc.univie.ac.at/research/seminars-at-the-kgrc/
-- Vienna Center for Logic and Algorithms
https://www.tuwien.at/forschung/tuw-doctoral-center
-- https://logik-cafe.univie.ac.at/
-- https://resources.illc.uva.nl/LogicList/
https://www.lix.polytechnique.fr/~hermann/conf.php
-- Proof-related conferences https://europroofnet.github.io/conferences/