Useful Links

ACADEMIC AND RESEARCH INSTITUTIONS

• Faculty of Mathematics and Computer Science, University of Bucharest (FMI, UB)

• Research Center for Logic, Optimization and Security (LOS)

• Institute for Logic and Data Science (ILDS)

• "Simion Stoilow" Institute of Mathematics of the Romanian Academy (IMAR)

ORGANIZATIONS IN LOGIC AND PROOF THEORY

• Association for Symbolic Logic (ASL)

• EuroProofNet (EPN)

• Women in Logic (WiL)

RESEARCH AREAS AND RESOURCES

• Proof Mining Website

PROJECTS

• PATTERN (Privacy-preserving distributed cyberthreat analytics) - funded by ANR/FNR/UEFISCDI [2024-2026]

  • [EN] PATTERN (Privacy-preserving distributed cyberthreat analytics)

  • [RO] PATTERN (Analiza distribuita a datelor sensibile cu pastrarea confidentialitatii si a integritatii)

CONFERENCES

• 10th Regional Summer School on Applied Mathematics, Sinaia, Romania, July 9-17, 2025

• NSF-UEFISCDI collaboration: Summer School 2025 on Fluid Dynamics, Bucharest, Romania, June 30-July 8, 2025

• 14th Workshop for Young Researchers in Mathematics, Iasi, Romania, May 15-16, 2025

• 26th Annual Conference of the Romanian Society of Mathematical Sciences, Bucharest, Romania, November 22, 2024

• 17th International Conference on Security for Information Technology and Communications, Bucharest, Romania, November 21-22, 2024

• 11th Heidelberg Laureate Forum, Heidelberg, Germany, September 22-27, 2024

• Workshop on Proof Mining 2024, Darmstadt, Germany, September 4-6, 2024

• 14th International School on Rewriting, Obergurgl, Austria, August 25 - September 1, 2024

• 9th Regional Summer School on Applied Mathematics, Sinaia, Romania, July 10-18, 2024