Mailing Lists
- 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/
Websites that list conferences and news
- LICS -- https://lics.siglog.org/newsletters/index.html
- MathMeetings --mathmeetings.net
https://philevents.org/search/topic/634
https://www.illc.uva.nl/NewsandEvents/Events/Conferences/
List of Conferences in Theoretical Computer Science
IUC-Inter University Center Dubrovnik
AILA – Associazione Italiana di Logica e sue Applicazioni
https://formalism.phl.univie.ac.at/events/
Institute Vienna Circle | Institut Wiener Kreis
https://www.dieangewandte.at/en/studies/student_exchange/scholarships
https://www.eurasia.or.jp/en/subsidies/index.html
Grants
https://stipendien.oeaw.ac.at/en/fellowships/loreal-austria/loreal-application
https://www.tuwien.at/en/research/facilities/jasec/mobility-outgoing
Useful Links