FMIndia

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

IARCS Verification Seminar Series -- Talk by Madhusudan Parthasarathy on Nov. 28 at 1900 hrs IST
by VSS IARCS
1 year, 5 months

Funded PhD Positions at Boston University
by Ankush Das
1 year, 5 months

CFP : Theme Issue: Indic Mathematical Systems - Scientiae Mathematicae Japonicae (SCMJ)
by gopal@annauniv.edu
1 year, 5 months

CFP : Theme Issue: Indic Mathematical Systems - Scientiae Mathematicae Japonicae (SCMJ)
by gopal
1 year, 5 months

CFP reminder for ISEC 2024
by Madhavan Mukund
1 year, 5 months

Post doctoral Position: Automated Program Repair
by Abhik Roychoudhury
1 year, 5 months

8th Indian SAT+SMT School -- Call for participation
by Kumar Madhukar
1 year, 5 months

EAI ICECI 2023 CFP: Deadline Extended to Nov.5
by Qin Liu
1 year, 6 months

IARCS Verification Seminar Series -- Talk by Subhajit Roy on Oct. 10 at 1900 hrs IST
by VSS IARCS
1 year, 6 months

ISEC 2024: [UPDATE] Deadlines extended
by Madhavan Mukund
1 year, 6 months
Results per page: