FMIndia

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

How Modalert 200mg Helped Me Stay Awake & Focused
by romankenndy@gmail.com
7 hours, 31 minutes

Senior Project Associate/Postdoc Position - Model Checking/Formal Verification/Software Engineering
by Arpit Sharma
1 day, 6 hours

CFP: Special Issue of Journal of Systems Architecture on Security and Privacy in AIoT-enabled Smart Cities
by Qin Liu
6 days, 6 hours

NETYS 2025 - Extended deadline
by Madhavan Mukund
1 week, 2 days

FMCAD 2025 - 2nd Call for Papers
by Daniela Kaufmann
1 week, 5 days

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

CFP: 1st Workshop on Hot Topics in Distributed Machine Learning @ IEEE ICDCS 2025. Deadline: March 16th, 2025
by HotDiML-Workshop
2 weeks, 1 day

Postdoc in Verification and Game Theory at the University of Liverpool
by Patrick Totzke
2 weeks, 1 day

IARCS Verification Seminar Series -- Talk by Alastair Donaldson on March 4 at 1900 hrs IST
by VSS IARCS
2 weeks, 5 days

NETYS 2025 - Second Call for Papers
by Madhavan Mukund
3 weeks
Results per page: