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)

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

• 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