FMIndia July 2023

fmindia@cmi.ac.in
  • 7 participants
  • 12 discussions

Post-doc positions in Fuzz Testing at NUS
by Abhik Roychoudhury
1 year, 5 months

Fwd: Open PhD and Postdoc positions in Formal Analysis of Autonomous Systems at Chalmers University
by akshay
1 year, 5 months

Lecturer in Programming Languages at Bristol
by Madhavan Mukund
1 year, 5 months

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

Soliciting talks in PL and Verification to RHPL@FSTTCS 2023
by abhisekh.sankaran@tcs.com
1 year, 5 months

FSTTCS 2023 - Third Call for Papers
by Shibashis Guha
1 year, 5 months

IARCS Verification Seminar Series -- Talk by Shaz Qadeer on July 11 at 1900 hrs IST
by VSS IARCS
1 year, 5 months

ICISS-2023 CFP
by Madhavan Mukund
1 year, 5 months

IARCS Verification Seminar Series -- Talk by Shaz Qadeer on July 11 at 1900 hrs IST
by VSS IARCS
1 year, 6 months

CFP: Fifth International Conference on Microservices
by Alessandro Bocci
1 year, 6 months
Results per page: