FMIndia

fmindia@cmi.ac.in
  • 296 discussions

IARCS Verification Seminar Series -- Talk by Kishor Jothimurugan on June 20 at 1900 hrs IST
by VSS IARCS
2 years, 2 months

CFP - ICISS 2023 - 19th International Conference on Information Systems Security (16-20 December, India)
by Madhavan Mukund
2 years, 2 months

FSTTCS 2023 - Call for papers
by Shibashis Guha
2 years, 2 months

[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, 2 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, 3 months

ICECCS 2023 (June 2023, Toulouse, France): call for participation
by Neeraj Kumar Singh
2 years, 3 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
Results per page: