FMIndia

fmindia@cmi.ac.in
  • 8 participants
  • 267 discussions

Winter School on Formal Verification & Program Synthesis at CSE-IITD
by Priyanka Golia
6 months

RHPL@FSTTCS 2024: Call for submissions and participation
by VSS IARCS
6 months, 1 week

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

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

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

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

VMCAI 2025: Call for Papers
by Akshay
7 months, 1 week

Final CFPs of UbiSec 2024-Paper Submission Deadline: October 10, 2024
by Qin Liu
7 months, 1 week

Soliciting talks and posters in PL and Verification to RHPL@FSTTCS 2024
by VSS IARCS
7 months, 1 week

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