service

Services to the scientific community.

Programm Committee

  • 22nd USENIX Symposium on Networked Systems Design and Implementation (NSDI 2025)
  • 25th International Conference on Formal Engineering Methods (ICFEM 2024)
  • 24th International Conference on Formal Engineering Methods (ICFEM 2023)

Reviewing

  • Journals: The VLDB Journal, Journal of Logical and Algebraic Methods in Programming (JLAMP), Science of Computer Programming (SCP)

  • Conferences: FM, ICFEM, FASE, TASE

Judge

Others

  • Dagstuhl Seminars: Ensuring the Reliability and Robustness of Database Management Systems 21442 (participant)