FMIndia

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

Reminder: Logic Education Webinar on August 11 at 6:30 pm
by Madhavan Mukund
22 hours, 30 minutes

FMCAD 2025 - Call for Participation
by Daniela Kaufmann
4 days

ICISS 2025, Final Extended Deadline 10 Aug 2025
by Madhavan Mukund
1 week, 2 days

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

Call for Presentations || IICT 2025
by Uday Khedker
3 weeks, 6 days

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

Call for papers: PLAS @ CCS '25
by Abhishek Bichhawat
1 month, 1 week

Fully funded PhD position in Automata theory in Marseille, France
by C Aiswarya
1 month, 1 week

Formal Methods Update Meeting 2025
by VSS IARCS
1 month, 2 weeks

VSTTE 2025 (co-located with FMCAD 2025): Call for papers
by Supratik Chakraborty
1 month, 3 weeks

DataMod 2025 - First Call for Papers
by Ouadie Khebbeb
1 month, 3 weeks

IARCS Verification Seminar Series -- Talk by Shahaf Bassan on June 12 at 1900 hrs IST
by VSS IARCS
1 month, 4 weeks

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

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

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

ICFEM 2025 (Hangzhou): Extended deadline
by Étienne André
2 months, 2 weeks

Formal Methods Update Meeting 2025
by Kumar Madhukar
2 months, 2 weeks

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

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

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

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

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

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

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

Last call for papers: PNSE 2025
by Étienne André
3 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
3 months, 3 weeks

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

ATVA 2025: Call for papers - Deadlines extended
by B Srivathsan
4 months

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

Reminder: Webinar on logic education
by Madhavan Mukund
4 months

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

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

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

Lead Software Engineer position in FV tool - Jasper/Cadence
by Ravi Prakash
4 months, 1 week

Webinar on logic education
by Madhavan Mukund
4 months, 1 week

Call For Papers - APLAS 2025, Bengaluru, India
by Madhavan Mukund
4 months, 2 weeks

How Modalert 200mg Helped Me Stay Awake & Focused
by romankenndy@gmail.com
4 months, 3 weeks

Senior Project Associate/Postdoc Position - Model Checking/Formal Verification/Software Engineering
by Arpit Sharma
4 months, 3 weeks

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

NETYS 2025 - Extended deadline
by Madhavan Mukund
5 months

FMCAD 2025 - 2nd Call for Papers
by Daniela Kaufmann
5 months

IARCS Verification Seminar Series -- Talk by Alastair Donaldson on March 4 at 1900 hrs IST
by VSS IARCS
5 months, 1 week

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

Postdoc in Verification and Game Theory at the University of Liverpool
by Patrick Totzke
5 months, 1 week

IARCS Verification Seminar Series -- Talk by Alastair Donaldson on March 4 at 1900 hrs IST
by VSS IARCS
5 months, 1 week

NETYS 2025 - Second Call for Papers
by Madhavan Mukund
5 months, 2 weeks

Call for Papers - ATVA 2025 conference - Bengaluru, India
by B Srivathsan
5 months, 3 weeks

The 33rd IEEE/ACM International Symposium on Quality of Service (IWQoS 2025) - Call for Papers Extension
by Neeraj Kumar Singh
5 months, 3 weeks

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

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

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

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

Last Call for ECOOP 2025 Workshop Proposals
by Clément Aubert
6 months, 2 weeks

FMCAD 2025 - Call for Papers
by Daniela Kaufmann
6 months, 2 weeks

TASE 2025: Call For Papers
by abhisekh.sankaran@tcs.com
6 months, 3 weeks

Petri Nets 2025: deadline extension
by Étienne André
6 months, 3 weeks

World Logic Day 2025 celebrations by ALI
by abhisekh.sankaran@tcs.com
6 months, 3 weeks

Message about FMIndia subscription being disabled
by Madhavan Mukund
6 months, 4 weeks

World Logic Day talk by Prof. Moshe Vardi | Today, 14 January
by abhisekh.sankaran@tcs.com
6 months, 4 weeks

NETYS 2025 - First Call for Papers
by Madhavan Mukund
6 months, 4 weeks

Invitation to the conference: "Recent Trends in Logic and Game Theory"
by Purbita Jana
6 months, 4 weeks

ICLA 2025: Early bird registration deadline extension
by abhisekh.sankaran@tcs.com
7 months

World Logic Day Celebrations (Jan 15-Jan 22)
by Aalok Thakkar
7 months

CONCUR 2025 - Call for papers
by B Srivathsan
7 months

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

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

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

ICLA 2025: Deadline extension for posters
by abhisekh.sankaran@tcs.com
7 months

Fwd: Invitation to the conference: "Recent Trends in Logic and Game Theory"
by Purbita Jana
7 months

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

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

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

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

AWPL 2025: Early registration ends in 7 days
by abhisekh.sankaran@tcs.com
7 months, 2 weeks

ICLA 2025: Call for Posters
by abhisekh.sankaran@tcs.com
7 months, 2 weeks

ICLA 2025: Call for Participation
by abhisekh.sankaran@tcs.com
8 months

AWPL 2025: Call for Participation
by abhisekh.sankaran@tcs.com
8 months

Senior Project Associate/Postdoc Position - Model Checking & Formal Verification (Arpit Sharma)
by Arpit Sharma
8 months

Lead Software Engineer position in Jasper/Cadence
by Ravi Prakash
8 months, 2 weeks

ICISS 2024 - Call for Participation
by Madhavan Mukund
8 months, 2 weeks

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

Petri Nets 2025 - Call for Papers
by Étienne André
8 months, 2 weeks

Call for Participation: FSTTCS 2024 and allied workshops
by Shibashis Guha
8 months, 3 weeks

Call for ECOOP 2025 Workshop Proposals
by Clément Aubert
8 months, 3 weeks

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

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

[FormaliSE 2025]: Final CfP with Deadlines Extension
by Arpit Sharma
9 months

MMComplexity 2024: Call for Participation
by Akshay S
9 months

Funded PhD Positions at Boston University
by Das, Ankush
9 months

Pre-doctoral Research Workshop@Ashoka University: Call for Applications
by Aalok Thakkar
9 months

WAGS@FSTTCS 2024: Call for Submissions and Participations
by Suman Sadhukhan
9 months

ACM ARCS 2025: Call for poster presentation
by Shibashis Guha
9 months, 1 week

PhD and post-doc positions at NTU Singapore
by Supratik Chakraborty
9 months, 1 week

Winter School on Formal Verification & Program Synthesis at CSE-IITD
by Priyanka Golia
9 months, 3 weeks

RHPL@FSTTCS 2024: Call for submissions and participation
by VSS IARCS
9 months, 4 weeks

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

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

[FormaliSE 2025] Call for Papers
by Arpit Sharma
10 months, 1 week

Junior Research Fellowship (JRF) position at the School of Technology and Computer Science at TIFR Mumbai
by Shibashis Guha
10 months, 2 weeks

VMCAI 2025: Call for Papers
by Akshay
10 months, 3 weeks

Final CFPs of UbiSec 2024-Paper Submission Deadline: October 10, 2024
by Qin Liu
10 months, 3 weeks

Soliciting talks and posters in PL and Verification to RHPL@FSTTCS 2024
by VSS IARCS
10 months, 3 weeks

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

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

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

ICLA 2025: Final Call for Papers
by abhisekh.sankaran@tcs.com
11 months, 2 weeks

First Workshop on Innovations in Compiler Technology || Bangalore 28, 29 September 2024
by Uday Khedker
11 months, 3 weeks

AWPL 2025: Deadline Extension
by abhisekh.sankaran@tcs.com
11 months, 4 weeks

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

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

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

Final CFP, ICISS 2024
by Madhavan Mukund
1 year

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

CFP for ICISS 2024
by Madhavan Mukund
1 year, 1 month

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

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

IEEE DASC 2024-Call for Papers-Deadline 15 Jun 2024
by Qin Liu
1 year, 2 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, 2 months

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ISLA 2024 (Call for Participation)
by abhisekh.sankaran@tcs.com
1 year, 2 months

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

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

IARCS Verification Seminar Series -- Talk by Sumanth Prabhu on May 7 at 1900 hrs IST
by VSS IARCS
1 year, 3 months

IARCS Verification Seminar Series -- Talk by Sumanth Prabhu on May 7 at 1900 hrs IST
by VSS IARCS
1 year, 3 months

MEMOCODE 2024: Call for Papers
by Srinivas Pinisetty
1 year, 3 months

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

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

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

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

Internship announcement: Testing blockchain consensus protocol implementation
by M Praveen
1 year, 3 months

Internship announcement for static analysis of smart contracts
by M Praveen
1 year, 3 months

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

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

Advertisement for 01 post of Post-Doctoral Fellow in Dept. of Computer Science, BHU Varanasi
by Dr. Anshul Verma
1 year, 4 months

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

IARCS Verification Seminar Series -- Talk by Azadeh Farzan on April 2 at 1900 hrs IST
by VSS IARCS
1 year, 4 months

IARCS Verification Seminar Series -- Talk by Azadeh Farzan on April 2 at 1900 hrs IST
by VSS IARCS
1 year, 4 months

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

QEST+FORMATS: Final Call for Papers
by Patrick Totzke
1 year, 4 months

IARCS Verification Seminar Series -- Talk by Suman Sadhukhan on March 19 at 1900 hrs IST
by VSS IARCS
1 year, 4 months

IARCS Verification Seminar Series -- Talk by Suman Sadhukhan on March 19 at 1900 hrs IST
by VSS IARCS
1 year, 4 months

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

CFP IEEE Edge 2024, Shenzhen, China.
by Nitin Auluck
1 year, 5 months

QEST+FORMATS: Call for Papers
by Patrick Totzke
1 year, 5 months

Invitation Guest Speaker @ ACFTI Cybersecurity stream
by Andrew Zayine
1 year, 6 months

Call for Participation, ASPLOS'24
by Madhavan Mukund
1 year, 6 months

ACM India PhD Clinic mentoring at ISEC 2024
by Madhavan Mukund
1 year, 6 months

SAT 2024: Second Call for Papers
by Supratik Chakraborty
1 year, 6 months

Register for ISEC 2024
by Madhavan Mukund
1 year, 6 months

CFP IEEE Edge 2024, Shenzhen, China.
by Nitin Auluck
1 year, 6 months

World Logic Day Celebrations 2024 (Online)
by abhisekh.sankaran@tcs.com
1 year, 6 months

IARCS Verification Seminar Series -- Talk by Thejaswini Raghavan on Jan. 23 at 1900 hrs IST
by VSS IARCS
1 year, 6 months

IARCS Verification Seminar Series -- Talk by Thejaswini Raghavan on Jan. 23 at 1900 hrs IST
by VSS IARCS
1 year, 6 months

ISEC 2024: Registration and Student Travel Support
by Madhavan Mukund
1 year, 7 months

Call for Abstracts- World Logic Day Celebration 2024 (Hybrid)
by Tephilla
1 year, 7 months

Internship opportunity for formal methods PhD students at GE Aerospace India
by Supratik Chakraborty
1 year, 7 months

FAACS 2024 - Call for Research Papers
by Nadeem Abbas
1 year, 7 months

Call for papers: SAT 2024
by Supratik Chakraborty
1 year, 8 months

Tutorial on Civl verifier for concurrent programs @ POPL 2024, January 14, 2024
by Shaz Qadeer
1 year, 8 months

IARCS Verification Seminar Series -- Talk by Madhusudan Parthasarathy on Nov. 28 at 1900 hrs IST
by VSS IARCS
1 year, 8 months

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

Call For Abstracts for 1st Workshop on GenAI based Software Engineering (https://genai4se.github.io/ISEC-Workshop/)
by Raveendra Medicherla
1 year, 8 months

Student Poster Session, ISEC 2024
by Madhavan Mukund
1 year, 8 months

Internships at SupraOracles
by Madhavan Mukund
1 year, 8 months

IARCS Verification Seminar Series -- Talk by Madhusudan Parthasarathy on Nov. 28 at 1900 hrs IST
by VSS IARCS
1 year, 8 months

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

CFP : Theme Issue: Indic Mathematical Systems - Scientiae Mathematicae Japonicae (SCMJ)
by gopal@annauniv.edu
1 year, 8 months

CFP : Theme Issue: Indic Mathematical Systems - Scientiae Mathematicae Japonicae (SCMJ)
by gopal
1 year, 8 months

CFP reminder for ISEC 2024
by Madhavan Mukund
1 year, 9 months

Post doctoral Position: Automated Program Repair
by Abhik Roychoudhury
1 year, 9 months
Results per page: