FMIndia

fmindia@cmi.ac.in
  • 344 discussions

First CfP: SYNT 2026, 15th Workshop on Synthesis (Lisbon, Portugal), July 25, 2026
by Supratik Chakraborty
2 days, 10 hours

IARCS Verification Seminar Series -- Talk by Ashish Mishra on April 07 at 1900 hrs IST
by VSS IARCS
2 days, 23 hours

[CFP - Extended Deadline] - IEEE W2R-Health 2026 - International Workshop on intelligent environments for personalized healthcare
by Alfonso Esposito
1 week, 1 day

[Congress-Level CFP] 2026 IEEE World Congress on Services (SERVICES 2026)
by Yacine Sam
2 weeks, 2 days

[CFP] - IEEE W2R-Health 2026 - International Workshop on intelligent environments for personalized healthcare
by Alfonso Esposito
2 weeks, 5 days

CFP Announcement: 22nd Int Conf on Information & Systems Security (ICISS-2026), Dec 16-20 2026
by Madhavan Mukund
3 weeks, 2 days

IARCS Verification Seminar Series -- Talk by Siddhartha Prasad on March 10 at 1900 hrs IST
by VSS IARCS
3 weeks, 2 days

Call For Papers: ICTAC'26 -- 11-13 of November, 2026 -- Bariloche, Argentina
by B Srivathsan
3 weeks, 3 days

IARCS Verification Seminar Series -- Talk by Siddhartha Prasad on March 10 at 1900 hrs IST
by VSS IARCS
4 weeks, 1 day

[CFP] - IEEE W2R-Health 2026 - International Workshop on intelligent environments for personalized healthcare
by Alfonso Esposito
1 month

[CFP] - IEEE W2R-Health 2026 - International Workshop on intelligent environments for personalized healthcare
by Alfonso Esposito
1 month

CONCUR 2026: 2nd Call for Papers
by Totzke, Patrick
1 month

SOAP 2026 - Final Call for Papers (Deadline: March 3, 2026)
by Debasmita Lohar
1 month, 1 week

13th Rodin User and Developer Workshop - Co-located with FM 2026
by Neeraj Kumar Singh
1 month, 2 weeks

IARCS Verification Seminar Series -- Talk by Ashwani Anand on Feb. 10 at 1900 hrs IST
by VSS IARCS
1 month, 3 weeks

IARCS Verification Seminar Series -- Talk by Ashwani Anand on Feb. 10 at 1900 hrs IST
by VSS IARCS
1 month, 3 weeks

Focus Programme in Formal Methods and Artificial Intelligence - Feb 2 to 6 - CMI
by B Srivathsan
2 months, 1 week

Two postdoctoral positions in Reactive Synthesis
by Shibashis Guha
2 months, 1 week

[CFP] - IEEE NetRobiCS 2026 - International Workshop on Networked Robotics and Communication Systems
by Alfonso Esposito
2 months, 2 weeks

FM 2026 Tutorials: Call for Tutorials (Deadline approaching...)
by Neeraj Kumar Singh
2 months, 3 weeks

[CFP] - IEEE NetRobiCS 2026 - International Workshop on Networked Robotics and Communication Systems 
by Alfonso Esposito
2 months, 3 weeks

[CFP] - IEEE NetRobiCS 2026 - International Workshop on Networked Robotics and Communication Systems 
by Alfonso Esposito
3 months

[CFP] - IEEE NetRobiCS 2026 - International Workshop on Networked Robotics and Communication Systems
by Alfonso Esposito
3 months, 1 week

CFP ESORICS-2026, Deadline approaching: JAN 09, 2026
by Madhavan Mukund
3 months, 1 week

[CFP] - IEEE NetRobiCS 2026 - International Workshop on Networked Robotics and Communication Systems
by Alfonso Esposito
3 months, 3 weeks

10th Indian SAT+SMT School -- Call for posters/short talks
by VSS IARCS
4 months

Call for Participation: FSTTCS 2025 (Dec 17-19, Goa, India) and co-located workshops
by Shibashis Guha
4 months

Call for Papers – Recent Trends in Logic and Game Theory (RTLG 2026)
by Purbita Jana
4 months

FM 2026 Tutorials: 1st Call for Tutorials
by Neeraj Kumar Singh
4 months

CFP - NetRobiCS 2026 (IEEE INFOCOM) 19th International Workshop on Networked Robotics and Communication System
by Alfonso Esposito
4 months, 1 week

10th Indian SAT+SMT School -- Call for posters/short talks
by VSS IARCS
4 months, 1 week

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

Re: IARCS Verification Seminar Series -- Talk by KC Sivaramakrishnan on Nov. 18 at 1900 hrs IST
by KC Sivaramakrishnan
4 months, 2 weeks

IARCS Verification Seminar Series -- Talk by KC Sivaramakrishnan on Nov. 18 at 1900 hrs IST
by VSS IARCS
4 months, 2 weeks

RHPL@FSTTCS 2025: Call for Participation
by abhisekh.sankaran@tcs.com
4 months, 2 weeks

10th Indian SAT+SMT School (co-located with FSTTCS 2025) -- Call for participation
by VSS IARCS
4 months, 2 weeks

IARCS Verification Seminar Series -- Talk by KC Sivaramakrishnan on Nov. 18 at 1900 hrs IST
by VSS IARCS
4 months, 2 weeks

CfP: REVERSIBLE COMPUTATION 2026 –18th International Conference on Reversible Computation, July 9–10, 2026, Torino, Italy
by Clément Aubert
4 months, 3 weeks

IWSLA 2025: Call for Participation
by abhisekh.sankaran@tcs.com
4 months, 3 weeks

Blockchain Kaigi 2025 (BCK25), IIT Bombay
by Madhavan Mukund
5 months

Call for Submissions and Participations -- WAGS@FSTTCS 2025
by Suman Sadhukhan
5 months, 1 week

APLAS-ATVA 2025 Call for Participation
by Madhavan Mukund
6 months, 1 week

RHPL@FSTTCS 2025: Deadline Extension
by abhisekh.sankaran@tcs.com
6 months, 2 weeks

CEFIPRA Project Research Associate Position
by Srinivas Pinisetty
6 months, 2 weeks

IARCS Verification Seminar Series -- Talk by Soumyajit Paul on Sept. 16 at 1900 hrs IST
by VSS IARCS
6 months, 2 weeks

IARCS Verification Seminar Series -- Talk by Soumyajit Paul on Sept. 16 at 1900 hrs IST
by VSS IARCS
6 months, 3 weeks

RHPL@FSTTCS 2025: Third Call for Talk and Poster Proposals | Deadline: September 18
by abhisekh.sankaran@tcs.com
6 months, 3 weeks

MMAC Workshop (co-located with ATVA 2025): Call for participation and poster submission
by VSS IARCS
6 months, 3 weeks

DataMod 2025 - Final Call for Papers, Extended Deadline
by Ouadie Khebbeb
7 months, 1 week

Registrations open for India's first Compiler Technology Hackathon!
by Uday Khedker
7 months, 1 week

Call for Presentations || IICT 2025
by Uday Khedker
7 months, 1 week

RHPL@FSTTCS 2025: Second Call for Talk and Poster Proposals
by abhisekh.sankaran@tcs.com
7 months, 2 weeks

CFP: 5th International Workshop on Blockchain (December 4-6, 2025);
by Madhavan Mukund
7 months, 2 weeks

DataMod 2025 - deadline approaching
by Arpit Sharma
7 months, 2 weeks

Reminder: Logic Education Webinar on August 11 at 6:30 pm
by Madhavan Mukund
7 months, 3 weeks

FMCAD 2025 - Call for Participation
by Daniela Kaufmann
7 months, 4 weeks

ICISS 2025, Final Extended Deadline 10 Aug 2025
by Madhavan Mukund
8 months

RHPL@FSTTCS 2025: Call for Talk and Poster Proposals
by abhisekh.sankaran@tcs.com
8 months, 1 week

Logic education webinar on August 11 at 6-30 pm
by Madhavan Mukund
8 months, 3 weeks

Call for papers: PLAS @ CCS '25
by Abhishek Bichhawat
9 months

Fully funded PhD position in Automata theory in Marseille, France
by C Aiswarya
9 months

Formal Methods Update Meeting 2025
by VSS IARCS
9 months, 1 week

VSTTE 2025 (co-located with FMCAD 2025): Call for papers
by Supratik Chakraborty
9 months, 2 weeks

DataMod 2025 - First Call for Papers
by Ouadie Khebbeb
9 months, 2 weeks

IARCS Verification Seminar Series -- Talk by Shahaf Bassan on June 12 at 1900 hrs IST
by VSS IARCS
9 months, 3 weeks

IARCS Verification Seminar Series -- Talk by Shahaf Bassan postponed to June 12, 1900 hrs IST
by VSS IARCS
9 months, 3 weeks

DPM 2025 - CFP - Data Privacy Manamgement, co-located with ESORICS 2025
by Guillermo Navarro-Arribas
9 months, 4 weeks

IARCS Verification Seminar Series -- Talk by Shahaf Bassan on June 10 at 1900 hrs IST
by VSS IARCS
10 months

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

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

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

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

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

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

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

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

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

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

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

FMCAD 2025: Deadline Extension
by Daniela Kaufmann
11 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
11 months, 3 weeks

ATVA 2025: Call for papers - Deadlines extended
by B Srivathsan
11 months, 3 weeks

IARCS Verification Seminar Series -- Talk by Nikhil Swamy on April 8 at 1900 hrs IST
by VSS IARCS
11 months, 4 weeks

Reminder: Webinar on logic education
by Madhavan Mukund
11 months, 4 weeks

ATVA 2025: Joint Call for Papers, Workshops and Tutorials
by Madhavan Mukund
12 months

IARCS Verification Seminar Series -- Talk by Nikhil Swamy on April 8 at 1900 hrs IST
by VSS IARCS
12 months

Waklert 150 Mg: Best Solution For People With Chronic Fatigue | cheaptrustedpharmacy
by ameliasmith7891@gmail.com
12 months

Lead Software Engineer position in FV tool - Jasper/Cadence
by Ravi Prakash
1 year

Webinar on logic education
by Madhavan Mukund
1 year

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

How Modalert 200mg Helped Me Stay Awake & Focused
by romankenndy@gmail.com
1 year

Senior Project Associate/Postdoc Position - Model Checking/Formal Verification/Software Engineering
by Arpit Sharma
1 year

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

NETYS 2025 - Extended deadline
by Madhavan Mukund
1 year

FMCAD 2025 - 2nd Call for Papers
by Daniela Kaufmann
1 year

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

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

Postdoc in Verification and Game Theory at the University of Liverpool
by Patrick Totzke
1 year

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

NETYS 2025 - Second Call for Papers
by Madhavan Mukund
1 year, 1 month

Call for Papers - ATVA 2025 conference - Bengaluru, India
by B Srivathsan
1 year, 1 month

The 33rd IEEE/ACM International Symposium on Quality of Service (IWQoS 2025) - Call for Papers Extension
by Neeraj Kumar Singh
1 year, 1 month

CFP: Special Issue of Journal of Systems Architecture on Security and Privacy in AIoT-enabled Smart Cities
by Qin Liu
1 year, 1 month

The 33rd IEEE/ACM International Symposium on Quality of Service (IWQoS 2025) - Call for Papers
by Neeraj Kumar Singh
1 year, 1 month

Final call for papers: Petri Nets 2025 (Paris)
by Étienne André
1 year, 2 months

CFP: Special Issue of Journal of Systems Architecture on Security and Privacy in AIoT-enabled Smart Cities
by Qin Liu
1 year, 2 months

Last Call for ECOOP 2025 Workshop Proposals
by Clément Aubert
1 year, 2 months

FMCAD 2025 - Call for Papers
by Daniela Kaufmann
1 year, 2 months

TASE 2025: Call For Papers
by abhisekh.sankaran@tcs.com
1 year, 2 months

Petri Nets 2025: deadline extension
by Étienne André
1 year, 2 months

World Logic Day 2025 celebrations by ALI
by abhisekh.sankaran@tcs.com
1 year, 2 months

Message about FMIndia subscription being disabled
by Madhavan Mukund
1 year, 2 months

World Logic Day talk by Prof. Moshe Vardi | Today, 14 January
by abhisekh.sankaran@tcs.com
1 year, 2 months

NETYS 2025 - First Call for Papers
by Madhavan Mukund
1 year, 2 months

Invitation to the conference: "Recent Trends in Logic and Game Theory"
by Purbita Jana
1 year, 2 months

ICLA 2025: Early bird registration deadline extension
by abhisekh.sankaran@tcs.com
1 year, 2 months

World Logic Day Celebrations (Jan 15-Jan 22)
by Aalok Thakkar
1 year, 2 months

CONCUR 2025 - Call for papers
by B Srivathsan
1 year, 2 months

2nd call for papers: Petri Nets 2025 (Paris)
by Étienne André
1 year, 2 months

The 33rd IEEE/ACM International Symposium on Quality of Service (IWQoS 2025) - Call for Papers
by Neeraj Kumar Singh
1 year, 2 months

IARCS Verification Seminar Series -- Talk by S P Suresh on January 7 at 1900 hrs IST
by VSS IARCS
1 year, 2 months

ICLA 2025: Deadline extension for posters
by abhisekh.sankaran@tcs.com
1 year, 2 months

Fwd: Invitation to the conference: "Recent Trends in Logic and Game Theory"
by Purbita Jana
1 year, 2 months

ICLA 2025: Early bird registration ends in 7 days
by abhisekh.sankaran@tcs.com
1 year, 2 months

IARCS Verification Seminar Series -- Talk by S P Suresh on January 7 at 1900 hrs IST
by VSS IARCS
1 year, 2 months

World Logic Day talk by Prof. Moshe Vardi
by abhisekh.sankaran@tcs.com
1 year, 2 months

Invitation to the conference: "Recent Trends in Logic and Game Theory"
by Purbita Jana
1 year, 2 months

AWPL 2025: Early registration ends in 7 days
by abhisekh.sankaran@tcs.com
1 year, 3 months

ICLA 2025: Call for Posters
by abhisekh.sankaran@tcs.com
1 year, 3 months

ICLA 2025: Call for Participation
by abhisekh.sankaran@tcs.com
1 year, 3 months

AWPL 2025: Call for Participation
by abhisekh.sankaran@tcs.com
1 year, 3 months

Senior Project Associate/Postdoc Position - Model Checking & Formal Verification (Arpit Sharma)
by Arpit Sharma
1 year, 3 months

Lead Software Engineer position in Jasper/Cadence
by Ravi Prakash
1 year, 4 months

ICISS 2024 - Call for Participation
by Madhavan Mukund
1 year, 4 months

Senior Project Associate/Postdoc Position - Model Checking and Formal Verification
by Arpit Sharma
1 year, 4 months

Petri Nets 2025 - Call for Papers
by Étienne André
1 year, 4 months

Call for Participation: FSTTCS 2024 and allied workshops
by Shibashis Guha
1 year, 4 months

Call for ECOOP 2025 Workshop Proposals
by Clément Aubert
1 year, 4 months

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

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

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

MMComplexity 2024: Call for Participation
by Akshay S
1 year, 4 months

Funded PhD Positions at Boston University
by Das, Ankush
1 year, 4 months

Pre-doctoral Research Workshop@Ashoka University: Call for Applications
by Aalok Thakkar
1 year, 4 months

WAGS@FSTTCS 2024: Call for Submissions and Participations
by Suman Sadhukhan
1 year, 4 months

ACM ARCS 2025: Call for poster presentation
by Shibashis Guha
1 year, 4 months

PhD and post-doc positions at NTU Singapore
by Supratik Chakraborty
1 year, 4 months

Winter School on Formal Verification & Program Synthesis at CSE-IITD
by Priyanka Golia
1 year, 5 months

RHPL@FSTTCS 2024: Call for submissions and participation
by VSS IARCS
1 year, 5 months

IARCS Verification Seminar Series -- Talk by Jan Křetínský on October 15 at 1900 hrs IST
by VSS IARCS
1 year, 5 months

IARCS Verification Seminar Series -- Talk by Jan Křetínský on October 15 at 1900 hrs IST
by VSS IARCS
1 year, 5 months

[FormaliSE 2025] Call for Papers
by Arpit Sharma
1 year, 6 months

Junior Research Fellowship (JRF) position at the School of Technology and Computer Science at TIFR Mumbai
by Shibashis Guha
1 year, 6 months

VMCAI 2025: Call for Papers
by Akshay
1 year, 6 months

Final CFPs of UbiSec 2024-Paper Submission Deadline: October 10, 2024
by Qin Liu
1 year, 6 months

Soliciting talks and posters in PL and Verification to RHPL@FSTTCS 2024
by VSS IARCS
1 year, 6 months

Call for Registration (deadline 15 Sep) || Workshop on Innovations in Compiler Technology
by Uday P. Khedker
1 year, 6 months

Final CFPs of UbiSec 2024-Paper Submission Deadline: October 10, 2024
by Qin Liu
1 year, 6 months

AWPL 2025: Final Call for Papers
by abhisekh.sankaran@tcs.com
1 year, 6 months

ICLA 2025: Final Call for Papers
by abhisekh.sankaran@tcs.com
1 year, 7 months

First Workshop on Innovations in Compiler Technology || Bangalore 28, 29 September 2024
by Uday Khedker
1 year, 7 months

AWPL 2025: Deadline Extension
by abhisekh.sankaran@tcs.com
1 year, 7 months

ICLA 2025: Deadline Extension
by abhisekh.sankaran@tcs.com
1 year, 7 months

IARCS Verification Seminar Series -- Talk by Prakash Saivasan on August 6 at 1900 hrs IST
by VSS IARCS
1 year, 7 months

IARCS Verification Seminar Series -- Talk by Prakash Saivasan on August 6 at 1900 hrs IST
by VSS IARCS
1 year, 8 months

Final CFP, ICISS 2024
by Madhavan Mukund
1 year, 8 months

ICLA 2025: Second Call for Papers
by abhisekh.sankaran@tcs.com
1 year, 8 months

9th Indian SAT+SMT School -- Second call for participation and poster presentation
by Kumar Madhukar
1 year, 8 months

Postdoctoral fellowship: monitoring cyberphysical systems with quantities
by Étienne André
1 year, 8 months

SAT 2024: Early bird registration closes in 7 days
by abhisekh.sankaran@tcs.com
1 year, 8 months

VSTTE 2024: Final call for papers
by Supratik Chakraborty
1 year, 8 months

Deadline Extended [CFP] 20th International Conference on Information Systems Security (ICISS-2024), December 16-20, 2024, Jaipur, India.
by Madhavan Mukund
1 year, 8 months

SAT 2024: Early bird registration deadline extended to July 26 AoE
by abhisekh.sankaran@tcs.com
1 year, 8 months

9th Indian SAT+SMT School (co-located with SAT 2024) -- Call for posters
by Kumar Madhukar
1 year, 8 months

CONFEST 2024 - Call for Participation + Registration
by Patrick Totzke
1 year, 8 months

SAT 2024: Early bird registration ends in 10 days
by abhisekh.sankaran@tcs.com
1 year, 9 months

9th Indian SAT+SMT School (co-located with SAT 2024) -- Call for participation
by Kumar Madhukar
1 year, 9 months

QEST-FORMATS 2024 - Call for Work-in-Progress Presentations
by Patrick Totzke
1 year, 9 months

IEEE DASC 2024-Call for Papers-Deadline Extended to 15 July
by Qin Liu
1 year, 9 months

UbiSec 2024-Call for Papers-Deadline 15 July 2024
by Qin Liu
1 year, 9 months

ICLA 2025: First Call for Papers
by abhisekh.sankaran@tcs.com
1 year, 9 months

DPM 2024 - [June 30 - FIRM] - CFP - Data Privacy Manamgement, co-located with ESORICS 2024, Sep 19
by Guillermo Navarro-Arribas
1 year, 9 months

AWPL 2025: First Call for Papers
by abhisekh.sankaran@tcs.com
1 year, 9 months

CFP for ICISS 2024
by Madhavan Mukund
1 year, 9 months

SAT 2024 - Call for Participation
by abhisekh.sankaran@tcs.com
1 year, 9 months

UbiSec 2024-Call for Papers-Deadline 15 July 2024
by Qin Liu
1 year, 9 months

IEEE DASC 2024-Call for Papers-Deadline 15 Jun 2024
by Qin Liu
1 year, 9 months

[extended June 23] CBT 2024 - CFP - International Workshop on Cryptocurrencies and Blockchain Technology (co-located with ESORICS)
by Cristina Pérez Solà
1 year, 10 months

[extended June 23] DPM 2024 - cfp - Data Privacy Manamgement, co-located with ESORICS 2024, Sep 19
by Guillermo Navarro-Arribas
1 year, 10 months

IARCS Verification Seminar Series -- Talk by Kartik Nagar on June 4 at 1900 hrs IST
by VSS IARCS
1 year, 10 months

FSTTCS 2024 - Call for papers
by Shibashis Guha
1 year, 10 months

CBT 2024 - CFP - International Workshop on Cryptocurrencies and Blockchain Technology (co-located with ESORICS)
by Cristina Pérez Solà
1 year, 10 months

Formal Methods Update Meeting 2024
by Ramchandra Phawade
1 year, 10 months

IARCS Verification Seminar Series -- Talk by Kartik Nagar on June 4 at 1900 hrs IST
by VSS IARCS
1 year, 10 months

Fwd: Post-doc position at National University of Singapore
by Abhik Roychoudhury
1 year, 10 months

DPM 2024 - cfp - Data Privacy Manamgement, co-located with ESORICS 2024, Sep 19
by Guillermo Navarro-Arribas
1 year, 10 months

UbiSec 2024-Call for Papers-Deadline 15 July 2024
by Qin Liu
1 year, 10 months

IEEE DASC 2024-Call for Papers-Deadline 15 Jun 2024
by Qin Liu
1 year, 10 months

Call for Participation: DFIR Streams 0xA & 0xB
by Andrew Zayine
1 year, 10 months

Call for paper: Workshop on Counting, Sampling, and Synthesis
by Priyanka Golia
1 year, 10 months
Results per page: