FMIndia November 2024

fmindia@cmi.ac.in
  • 12 participants
  • 15 discussions

Lead Software Engineer position in Jasper/Cadence
by Ravi Prakash
9 months, 3 weeks

ICISS 2024 - Call for Participation
by Madhavan Mukund
9 months, 3 weeks

Senior Project Associate/Postdoc Position - Model Checking and Formal Verification
by Arpit Sharma
9 months, 3 weeks

Petri Nets 2025 - Call for Papers
by Étienne André
9 months, 4 weeks

Call for Participation: FSTTCS 2024 and allied workshops
by Shibashis Guha
10 months

Call for ECOOP 2025 Workshop Proposals
by Clément Aubert
10 months

Final Call for Submissions - WAGS@FSTTCS'24 - Deadline Extended!
by Suman Sadhukhan
10 months, 1 week

Fwd: RE'25 Call for Papers and Contributions - 33rd IEEE International Requirements Engineering Conference
by Arpit Sharma
10 months, 1 week

[FormaliSE 2025]: Final CfP with Deadlines Extension
by Arpit Sharma
10 months, 1 week

MMComplexity 2024: Call for Participation
by Akshay S
10 months, 1 week
Results per page: