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

• Proof mining in optimization and nonlinear analysis [2026-present]

• 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

• Second Workshop on Proof Mining (WPM26), Bath, United Kingdom, September 7-9, 2026

• Quantum Key Distribution Summer School, Les Diablerets, Switzerland, August 16 - 21, 2026

• Regional French-Romanian Summer School on Applied Mathematics, Sinaia, Romania

• 15th Workshop for Young Researchers in Mathematics, Iasi, Romania, May 21-22, 2026

• CSP-IAS Winter School - Cryptography and Machine Learning, Torino, Italy, February 2-5, 2026

• 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

• 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