FMIndia

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

9th Indian SAT+SMT School -- Second call for participation and poster presentation
by Kumar Madhukar
9 months

Postdoctoral fellowship: monitoring cyberphysical systems with quantities
by Étienne André
9 months

SAT 2024: Early bird registration closes in 7 days
by abhisekh.sankaran@tcs.com
9 months, 1 week

VSTTE 2024: Final call for papers
by Supratik Chakraborty
9 months, 1 week

Deadline Extended [CFP] 20th International Conference on Information Systems Security (ICISS-2024), December 16-20, 2024, Jaipur, India.
by Madhavan Mukund
9 months, 2 weeks

SAT 2024: Early bird registration deadline extended to July 26 AoE
by abhisekh.sankaran@tcs.com
9 months, 2 weeks

9th Indian SAT+SMT School (co-located with SAT 2024) -- Call for posters
by Kumar Madhukar
9 months, 2 weeks

CONFEST 2024 - Call for Participation + Registration
by Patrick Totzke
9 months, 3 weeks

SAT 2024: Early bird registration ends in 10 days
by abhisekh.sankaran@tcs.com
9 months, 3 weeks

9th Indian SAT+SMT School (co-located with SAT 2024) -- Call for participation
by Kumar Madhukar
9 months, 3 weeks
Results per page: