FMIndia

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

[Deadline Extension] RHPL@FSTTCS 2023
by abhisekh.sankaran@tcs.com
2 years

ISEC 2024 CFP
by Madhavan Mukund
2 years, 1 month

Post-doc positions in Fuzz Testing at NUS
by Abhik Roychoudhury
2 years, 1 month

Fwd: Open PhD and Postdoc positions in Formal Analysis of Autonomous Systems at Chalmers University
by akshay
2 years, 1 month

Lecturer in Programming Languages at Bristol
by Madhavan Mukund
2 years, 1 month

[Deadline Extension] CFP: ICISS-2023 - the 19th International Conference on Information Systems Security (August 10, 2023)
by Madhavan Mukund
2 years, 1 month

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

FSTTCS 2023 - Third Call for Papers
by Shibashis Guha
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

ICISS-2023 CFP
by Madhavan Mukund
2 years, 2 months
Results per page: