FMIndia

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

CEFIPRA Project Research Associate Position
by Srinivas Pinisetty
1 day, 10 hours

IARCS Verification Seminar Series -- Talk by Soumyajit Paul on Sept. 16 at 1900 hrs IST
by VSS IARCS
2 days, 6 hours

IARCS Verification Seminar Series -- Talk by Soumyajit Paul on Sept. 16 at 1900 hrs IST
by VSS IARCS
5 days, 10 hours

RHPL@FSTTCS 2025: Third Call for Talk and Poster Proposals | Deadline: September 18
by abhisekh.sankaran@tcs.com
5 days, 14 hours

MMAC Workshop (co-located with ATVA 2025): Call for participation and poster submission
by VSS IARCS
1 week, 2 days

FM 2026 Tutorials: 1st Call for Tutorials
by Neeraj Kumar Singh
1 week, 6 days

DataMod 2025 - Final Call for Papers, Extended Deadline
by Ouadie Khebbeb
3 weeks, 1 day

Registrations open for India's first Compiler Technology Hackathon!
by Uday Khedker
3 weeks, 2 days

Call for Presentations || IICT 2025
by Uday Khedker
3 weeks, 2 days

RHPL@FSTTCS 2025: Second Call for Talk and Poster Proposals
by abhisekh.sankaran@tcs.com
4 weeks
Results per page: