FMIndia

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

Lead Software Engineer position in FV tool - Jasper/Cadence
by Ravi Prakash
23 hours, 7 minutes

Webinar on logic education
by Madhavan Mukund
1 day, 1 hour

Call For Papers - APLAS 2025, Bengaluru, India
by Madhavan Mukund
1 week

How Modalert 200mg Helped Me Stay Awake & Focused
by romankenndy@gmail.com
2 weeks, 1 day

Senior Project Associate/Postdoc Position - Model Checking/Formal Verification/Software Engineering
by Arpit Sharma
2 weeks, 2 days

CFP: Special Issue of Journal of Systems Architecture on Security and Privacy in AIoT-enabled Smart Cities
by Qin Liu
3 weeks

NETYS 2025 - Extended deadline
by Madhavan Mukund
3 weeks, 3 days

FMCAD 2025 - 2nd Call for Papers
by Daniela Kaufmann
3 weeks, 6 days

IARCS Verification Seminar Series -- Talk by Alastair Donaldson on March 4 at 1900 hrs IST
by VSS IARCS
1 month

CFP: 1st Workshop on Hot Topics in Distributed Machine Learning @ IEEE ICDCS 2025. Deadline: March 16th, 2025
by HotDiML-Workshop
1 month
Results per page: