USEFUL LINKS

• 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)

• Association for Symbolic Logic (ASL)
• EuroProofNet (EPN)
• Women in Logic (WiL)

• Proof Mining Website

• 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)

• 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