FMIndia

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

Call for Presentations || IICT 2025
by Uday Khedker
4 days, 19 hours

Logic education webinar on August 11 at 6-30 pm
by Madhavan Mukund
5 days, 4 hours

Call for papers: PLAS @ CCS '25
by Abhishek Bichhawat
2 weeks, 1 day

Fully funded PhD position in Automata theory in Marseille, France
by C Aiswarya
2 weeks, 1 day

Formal Methods Update Meeting 2025
by VSS IARCS
3 weeks, 4 days

VSTTE 2025 (co-located with FMCAD 2025): Call for papers
by Supratik Chakraborty
1 month

DataMod 2025 - First Call for Papers
by Ouadie Khebbeb
1 month

IARCS Verification Seminar Series -- Talk by Shahaf Bassan on June 12 at 1900 hrs IST
by VSS IARCS
1 month, 1 week

IARCS Verification Seminar Series -- Talk by Shahaf Bassan postponed to June 12, 1900 hrs IST
by VSS IARCS
1 month, 1 week

DPM 2025 - CFP - Data Privacy Manamgement, co-located with ESORICS 2025
by Guillermo Navarro-Arribas
1 month, 1 week
Results per page: