FMIndia

fmindia@cmi.ac.in
  • 6 participants
  • 296 discussions

ICFEM 2025 (Hangzhou): Extended deadline
by Étienne André
3 months

Formal Methods Update Meeting 2025
by Kumar Madhukar
3 months, 1 week

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

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

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

Women in Logic 2025 (Co-located with FSCD 2025) -- Deadline extension
by Tephilla
3 months, 3 weeks

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

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

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

Last call for papers: PNSE 2025
by Étienne André
4 months, 1 week
Results per page: