FMIndia

fmindia@cmi.ac.in
  • 1 participants
  • 297 discussions

Soliciting talks in PL and Verification to RHPL@FSTTCS 2023
by abhisekh.sankaran@tcs.com
2 years, 1 month

FSTTCS 2023 - Third Call for Papers
by Shibashis Guha
2 years, 1 month

IARCS Verification Seminar Series -- Talk by Shaz Qadeer on July 11 at 1900 hrs IST
by VSS IARCS
2 years, 1 month

ICISS-2023 CFP
by Madhavan Mukund
2 years, 2 months

IARCS Verification Seminar Series -- Talk by Shaz Qadeer on July 11 at 1900 hrs IST
by VSS IARCS
2 years, 2 months

CFP: Fifth International Conference on Microservices
by Alessandro Bocci
2 years, 2 months

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

Post-doc positions in Trustworthy Software at Singapore
by Abhik Roychoudhury
2 years, 2 months

[Deadline June 30 firm] CFP - DPM 2023, Data Privacy Management, ESORICS 2023, LNCS proceedings & special issue
by Guillermo Navarro-Arribas
2 years, 2 months

CFP: Fifth International Conference on Microservices
by Alessandro Bocci
2 years, 2 months
Results per page: