FMIndia

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

ICFEM 2025 (Hangzhou): Extended deadline
by Étienne André
1 month, 1 week

Formal Methods Update Meeting 2025
by Kumar Madhukar
1 month, 1 week

Deadline extended: Six PhD positions on "Cyclic Structures in Programs and Proofs" (The Netherlands, different locations)
by Jorge A. Pérez
1 month, 2 weeks

IARCS Verification Seminar Series -- Talk by Sreejith A V on May 20 at 1900 hrs IST
by VSS IARCS
1 month, 2 weeks

IARCS Verification Seminar Series -- Talk by Sreejith A V on May 20 at 1900 hrs IST
by VSS IARCS
1 month, 3 weeks

Women in Logic 2025 (Co-located with FSCD 2025) -- Deadline extension
by Tephilla
1 month, 4 weeks

Six PhD positions on "Cyclic Structures in Programs and Proofs" (The Netherlands) - Apply by May 23.
by Jorge A. Pérez
1 month, 4 weeks

Call for paper: Workshop on Counting, Sampling, and Synthesis
by Priyanka Golia
2 months

Deadline Extended August 31: Special Issue of Journal of Systems Architecture on Security and Privacy in AIoT-enabled Smart Cities
by Qin Liu
2 months, 1 week

Last call for papers: PNSE 2025
by Étienne André
2 months, 2 weeks
Results per page: