FMIndia

fmindia@cmi.ac.in
  • 4 participants
  • 303 discussions

[June 16] CFP - DPM 2023, Data Privacy Management, ESORICS 2023, LNCS proceedings & special issue, The Hague, The Netherlands, September 2023
by Guillermo Navarro-Arribas
2 years, 3 months

CRiSIS 2023 CfP: The 18th International Conference on Risks and Security of Internet and Systems
by Guillermo Navarro-Arribas
2 years, 3 months

Formal Methods Update Meeting 2023
by Sreejith A V
2 years, 4 months

ICECCS 2023 (June 2023, Toulouse, France): call for participation
by Neeraj Kumar Singh
2 years, 4 months

CFP: 24th International Conference on Formal Engineering Methods (ICFEM 2023)
by Neeraj
2 years, 4 months

ATVA 2023 (Singapore): extended deadline
by Étienne André
2 years, 4 months

FORMATS 2023 final call for papers with deadline extension
by B Srivathsan
2 years, 4 months

Call for Presentations: Highlights 2023 (final call)
by Supratik Chakraborty
2 years, 5 months

ICECCS 2023 (June 2023, Toulouse, France): call for participation
by Étienne André
2 years, 5 months

IARCS Verification Seminar Series -- Talk by Sharon Shoham on Apr. 17 at 1900 hrs IST
by VSS IARCS
2 years, 5 months
Results per page: