service

Services to the scientific community.

Organizing Committee

Programm Committee

  • 1st Symposium on Consistency Checking Principles (SCCP 2026), colated with VLDB 2026
  • 36th USENIX Security Symposium (SEC 2027)
  • 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)

  • Conferences: FM, ICFEM, FASE, TASE

Judge

Others

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