FMIndia

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

Call for papers: PLAS @ CCS '25
by Abhishek Bichhawat
3 days, 16 hours

Fully funded PhD position in Automata theory in Marseille, France
by C Aiswarya
3 days, 16 hours

Call for Presentations || IICT 2025
by Uday Khedker
1 week, 2 days

Formal Methods Update Meeting 2025
by VSS IARCS
1 week, 6 days

VSTTE 2025 (co-located with FMCAD 2025): Call for papers
by Supratik Chakraborty
2 weeks, 4 days

DataMod 2025 - First Call for Papers
by Ouadie Khebbeb
2 weeks, 4 days

IARCS Verification Seminar Series -- Talk by Shahaf Bassan on June 12 at 1900 hrs IST
by VSS IARCS
3 weeks, 4 days

IARCS Verification Seminar Series -- Talk by Shahaf Bassan postponed to June 12, 1900 hrs IST
by VSS IARCS
3 weeks, 6 days

DPM 2025 - CFP - Data Privacy Manamgement, co-located with ESORICS 2025
by Guillermo Navarro-Arribas
1 month

IARCS Verification Seminar Series -- Talk by Shahaf Bassan on June 10 at 1900 hrs IST
by VSS IARCS
1 month
Results per page: