FMIndia

fmindia@cmi.ac.in
  • 2 participants
  • 257 discussions

Winter School on Formal Verification & Program Synthesis at CSE-IITD
by Priyanka Golia
5 months, 1 week

RHPL@FSTTCS 2024: Call for submissions and participation
by VSS IARCS
5 months, 2 weeks

IARCS Verification Seminar Series -- Talk by Jan Křetínský on October 15 at 1900 hrs IST
by VSS IARCS
5 months, 2 weeks

IARCS Verification Seminar Series -- Talk by Jan Křetínský on October 15 at 1900 hrs IST
by VSS IARCS
5 months, 3 weeks

[FormaliSE 2025] Call for Papers
by Arpit Sharma
6 months

Junior Research Fellowship (JRF) position at the School of Technology and Computer Science at TIFR Mumbai
by Shibashis Guha
6 months

VMCAI 2025: Call for Papers
by Akshay
6 months, 2 weeks

Final CFPs of UbiSec 2024-Paper Submission Deadline: October 10, 2024
by Qin Liu
6 months, 2 weeks

Soliciting talks and posters in PL and Verification to RHPL@FSTTCS 2024
by VSS IARCS
6 months, 2 weeks

Call for Registration (deadline 15 Sep) || Workshop on Innovations in Compiler Technology
by Uday P. Khedker
6 months, 3 weeks
Results per page: