FMIndia

fmindia@cmi.ac.in
  • 4 participants
  • 282 discussions

IARCS Verification Seminar Series -- Talk by Shahaf Bassan on June 12 at 1900 hrs IST
by VSS IARCS
4 days, 13 hours

Call for papers: PLAS @ CCS '25
by Abhishek Bichhawat
5 days, 2 hours

Call for Presentations || IICT 2025
by Uday Khedker
1 week

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

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

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

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

Formal Methods Update Meeting 2025
by Kumar Madhukar
3 weeks, 1 day

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

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

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

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

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

Call for paper: Workshop on Counting, Sampling, and Synthesis
by Priyanka Golia
1 month, 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
1 month, 2 weeks

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

FMCAD 2025: Deadline Extension
by Daniela Kaufmann
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

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

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

Reminder: Webinar on logic education
by Madhavan Mukund
2 months, 1 week

ATVA 2025: Joint Call for Papers, Workshops and Tutorials
by Madhavan Mukund
2 months, 1 week

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

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

Lead Software Engineer position in FV tool - Jasper/Cadence
by Ravi Prakash
2 months, 2 weeks

Webinar on logic education
by Madhavan Mukund
2 months, 2 weeks

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

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

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

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

NETYS 2025 - Extended deadline
by Madhavan Mukund
3 months, 1 week

FMCAD 2025 - 2nd Call for Papers
by Daniela Kaufmann
3 months, 1 week

IARCS Verification Seminar Series -- Talk by Alastair Donaldson on March 4 at 1900 hrs IST
by VSS IARCS
3 months, 2 weeks

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

Postdoc in Verification and Game Theory at the University of Liverpool
by Patrick Totzke
3 months, 2 weeks

IARCS Verification Seminar Series -- Talk by Alastair Donaldson on March 4 at 1900 hrs IST
by VSS IARCS
3 months, 2 weeks

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

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

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

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

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

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

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

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

FMCAD 2025 - Call for Papers
by Daniela Kaufmann
4 months, 3 weeks

TASE 2025: Call For Papers
by abhisekh.sankaran@tcs.com
5 months

Petri Nets 2025: deadline extension
by Étienne André
5 months

World Logic Day 2025 celebrations by ALI
by abhisekh.sankaran@tcs.com
5 months

Message about FMIndia subscription being disabled
by Madhavan Mukund
5 months

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

NETYS 2025 - First Call for Papers
by Madhavan Mukund
5 months

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

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

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

CONCUR 2025 - Call for papers
by B Srivathsan
5 months

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Petri Nets 2025 - Call for Papers
by Étienne André
6 months, 3 weeks

Call for Participation: FSTTCS 2024 and allied workshops
by Shibashis Guha
6 months, 4 weeks

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

Final Call for Submissions - WAGS@FSTTCS'24 - Deadline Extended!
by Suman Sadhukhan
7 months

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

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

MMComplexity 2024: Call for Participation
by Akshay S
7 months

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

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

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

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

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

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

RHPL@FSTTCS 2024: Call for submissions and participation
by VSS IARCS
8 months

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

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

[FormaliSE 2025] Call for Papers
by Arpit Sharma
8 months, 2 weeks

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

VMCAI 2025: Call for Papers
by Akshay
8 months, 4 weeks

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

Soliciting talks and posters in PL and Verification to RHPL@FSTTCS 2024
by VSS IARCS
9 months

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

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

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

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

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

AWPL 2025: Deadline Extension
by abhisekh.sankaran@tcs.com
10 months

ICLA 2025: Deadline Extension
by abhisekh.sankaran@tcs.com
10 months, 1 week

IARCS Verification Seminar Series -- Talk by Prakash Saivasan on August 6 at 1900 hrs IST
by VSS IARCS
10 months, 2 weeks

IARCS Verification Seminar Series -- Talk by Prakash Saivasan on August 6 at 1900 hrs IST
by VSS IARCS
10 months, 2 weeks

Final CFP, ICISS 2024
by Madhavan Mukund
10 months, 3 weeks

ICLA 2025: Second Call for Papers
by abhisekh.sankaran@tcs.com
10 months, 3 weeks

9th Indian SAT+SMT School -- Second call for participation and poster presentation
by Kumar Madhukar
10 months, 3 weeks

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

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

VSTTE 2024: Final call for papers
by Supratik Chakraborty
11 months

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

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

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

CONFEST 2024 - Call for Participation + Registration
by Patrick Totzke
11 months, 1 week

SAT 2024: Early bird registration ends in 10 days
by abhisekh.sankaran@tcs.com
11 months, 2 weeks

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

QEST-FORMATS 2024 - Call for Work-in-Progress Presentations
by Patrick Totzke
11 months, 2 weeks

IEEE DASC 2024-Call for Papers-Deadline Extended to 15 July
by Qin Liu
11 months, 3 weeks

UbiSec 2024-Call for Papers-Deadline 15 July 2024
by Qin Liu
11 months, 3 weeks

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

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

AWPL 2025: First Call for Papers
by abhisekh.sankaran@tcs.com
11 months, 3 weeks

CFP for ICISS 2024
by Madhavan Mukund
11 months, 4 weeks

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

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

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

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

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

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

FSTTCS 2024 - Call for papers
by Shibashis Guha
1 year

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

Formal Methods Update Meeting 2024
by Ramchandra Phawade
1 year

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Internships at SupraOracles
by Madhavan Mukund
1 year, 6 months

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

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

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

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

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

Post doctoral Position: Automated Program Repair
by Abhik Roychoudhury
1 year, 7 months

8th Indian SAT+SMT School -- Call for participation
by Kumar Madhukar
1 year, 7 months

EAI ICECI 2023 CFP: Deadline Extended to Nov.5
by Qin Liu
1 year, 8 months

IARCS Verification Seminar Series -- Talk by Subhajit Roy on Oct. 10 at 1900 hrs IST
by VSS IARCS
1 year, 8 months

ISEC 2024: [UPDATE] Deadlines extended
by Madhavan Mukund
1 year, 8 months

IARCS Verification Seminar Series -- Talk by Subhajit Roy on Oct. 10 at 1900 hrs IST
by VSS IARCS
1 year, 8 months

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

IARCS Verification Seminar Series -- Talk by Supratik Chakraborty on Sept. 14 at 1900 hrs IST
by VSS IARCS
1 year, 9 months

IARCS Verification Seminar Series -- Talk by Supratik Chakraborty on Sept. 14 at 1900 hrs IST
by VSS IARCS
1 year, 9 months

[Deadline Extension] RHPL@FSTTCS 2023
by abhisekh.sankaran@tcs.com
1 year, 9 months
Results per page: