FMIndia

fmindia@cmi.ac.in
  • 344 discussions

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

IEEE DASC 2024-Call for Papers-Deadline 15 Jun 2024
by Qin Liu
2 years

IARCS Verification Seminar Series -- Talk by Azadeh Farzan on April 2 at 1900 hrs IST
by VSS IARCS
2 years

IARCS Verification Seminar Series -- Talk by Azadeh Farzan on April 2 at 1900 hrs IST
by VSS IARCS
2 years

IEEE DASC 2024-Call for Papers-Deadline 15 Jun 2024
by Qin Liu
2 years

QEST+FORMATS: Final Call for Papers
by Patrick Totzke
2 years

IARCS Verification Seminar Series -- Talk by Suman Sadhukhan on March 19 at 1900 hrs IST
by VSS IARCS
2 years

IARCS Verification Seminar Series -- Talk by Suman Sadhukhan on March 19 at 1900 hrs IST
by VSS IARCS
2 years

Postdoctoral fellowship: monitoring cyberphysical systems with quantities
by Étienne André
2 years

CFP IEEE Edge 2024, Shenzhen, China.
by Nitin Auluck
2 years, 1 month

QEST+FORMATS: Call for Papers
by Patrick Totzke
2 years, 1 month

Invitation Guest Speaker @ ACFTI Cybersecurity stream
by Andrew Zayine
2 years, 1 month

Call for Participation, ASPLOS'24
by Madhavan Mukund
2 years, 1 month

ACM India PhD Clinic mentoring at ISEC 2024
by Madhavan Mukund
2 years, 1 month

SAT 2024: Second Call for Papers
by Supratik Chakraborty
2 years, 1 month

Register for ISEC 2024
by Madhavan Mukund
2 years, 1 month

CFP IEEE Edge 2024, Shenzhen, China.
by Nitin Auluck
2 years, 2 months

World Logic Day Celebrations 2024 (Online)
by abhisekh.sankaran@tcs.com
2 years, 2 months

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

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

ISEC 2024: Registration and Student Travel Support
by Madhavan Mukund
2 years, 2 months

Call for Abstracts- World Logic Day Celebration 2024 (Hybrid)
by Tephilla
2 years, 3 months

Internship opportunity for formal methods PhD students at GE Aerospace India
by Supratik Chakraborty
2 years, 3 months

FAACS 2024 - Call for Research Papers
by Nadeem Abbas
2 years, 3 months

Call for papers: SAT 2024
by Supratik Chakraborty
2 years, 3 months

Tutorial on Civl verifier for concurrent programs @ POPL 2024, January 14, 2024
by Shaz Qadeer
2 years, 4 months

IARCS Verification Seminar Series -- Talk by Madhusudan Parthasarathy on Nov. 28 at 1900 hrs IST
by VSS IARCS
2 years, 4 months

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

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

Student Poster Session, ISEC 2024
by Madhavan Mukund
2 years, 4 months

Internships at SupraOracles
by Madhavan Mukund
2 years, 4 months

IARCS Verification Seminar Series -- Talk by Madhusudan Parthasarathy on Nov. 28 at 1900 hrs IST
by VSS IARCS
2 years, 4 months

Funded PhD Positions at Boston University
by Ankush Das
2 years, 4 months

CFP : Theme Issue: Indic Mathematical Systems - Scientiae Mathematicae Japonicae (SCMJ)
by gopal@annauniv.edu
2 years, 4 months

CFP : Theme Issue: Indic Mathematical Systems - Scientiae Mathematicae Japonicae (SCMJ)
by gopal
2 years, 4 months

CFP reminder for ISEC 2024
by Madhavan Mukund
2 years, 4 months

Post doctoral Position: Automated Program Repair
by Abhik Roychoudhury
2 years, 5 months

8th Indian SAT+SMT School -- Call for participation
by Kumar Madhukar
2 years, 5 months

EAI ICECI 2023 CFP: Deadline Extended to Nov.5
by Qin Liu
2 years, 5 months

IARCS Verification Seminar Series -- Talk by Subhajit Roy on Oct. 10 at 1900 hrs IST
by VSS IARCS
2 years, 5 months

ISEC 2024: [UPDATE] Deadlines extended
by Madhavan Mukund
2 years, 6 months

IARCS Verification Seminar Series -- Talk by Subhajit Roy on Oct. 10 at 1900 hrs IST
by VSS IARCS
2 years, 6 months

CFP announcement for ISEC 2024
by Madhavan Mukund
2 years, 6 months

IARCS Verification Seminar Series -- Talk by Supratik Chakraborty on Sept. 14 at 1900 hrs IST
by VSS IARCS
2 years, 6 months

IARCS Verification Seminar Series -- Talk by Supratik Chakraborty on Sept. 14 at 1900 hrs IST
by VSS IARCS
2 years, 6 months

[Deadline Extension] RHPL@FSTTCS 2023
by abhisekh.sankaran@tcs.com
2 years, 7 months

ISEC 2024 CFP
by Madhavan Mukund
2 years, 7 months

Post-doc positions in Fuzz Testing at NUS
by Abhik Roychoudhury
2 years, 8 months

Fwd: Open PhD and Postdoc positions in Formal Analysis of Autonomous Systems at Chalmers University
by akshay
2 years, 8 months

Lecturer in Programming Languages at Bristol
by Madhavan Mukund
2 years, 8 months

[Deadline Extension] CFP: ICISS-2023 - the 19th International Conference on Information Systems Security (August 10, 2023)
by Madhavan Mukund
2 years, 8 months

Soliciting talks in PL and Verification to RHPL@FSTTCS 2023
by abhisekh.sankaran@tcs.com
2 years, 8 months

FSTTCS 2023 - Third Call for Papers
by Shibashis Guha
2 years, 8 months

IARCS Verification Seminar Series -- Talk by Shaz Qadeer on July 11 at 1900 hrs IST
by VSS IARCS
2 years, 8 months

ICISS-2023 CFP
by Madhavan Mukund
2 years, 9 months

IARCS Verification Seminar Series -- Talk by Shaz Qadeer on July 11 at 1900 hrs IST
by VSS IARCS
2 years, 9 months

CFP: Fifth International Conference on Microservices
by Alessandro Bocci
2 years, 9 months

FSTTCS 2023 - Second Call for Papers
by Shibashis Guha
2 years, 9 months

Post-doc positions in Trustworthy Software at Singapore
by Abhik Roychoudhury
2 years, 9 months

[Deadline June 30 firm] CFP - DPM 2023, Data Privacy Management, ESORICS 2023, LNCS proceedings & special issue
by Guillermo Navarro-Arribas
2 years, 9 months

CFP: Fifth International Conference on Microservices
by Alessandro Bocci
2 years, 9 months

IARCS Verification Seminar Series -- Talk by Kishor Jothimurugan on June 20 at 1900 hrs IST
by VSS IARCS
2 years, 9 months

IARCS Verification Seminar Series -- Talk by Kishor Jothimurugan on June 20 at 1900 hrs IST
by VSS IARCS
2 years, 9 months

CFP - ICISS 2023 - 19th International Conference on Information Systems Security (16-20 December, India)
by Madhavan Mukund
2 years, 10 months

FSTTCS 2023 - Call for papers
by Shibashis Guha
2 years, 10 months

[June 16] CFP - DPM 2023, Data Privacy Management, ESORICS 2023, LNCS proceedings & special issue, The Hague, The Netherlands, September 2023
by Guillermo Navarro-Arribas
2 years, 10 months

CRiSIS 2023 CfP: The 18th International Conference on Risks and Security of Internet and Systems
by Guillermo Navarro-Arribas
2 years, 10 months

Formal Methods Update Meeting 2023
by Sreejith A V
2 years, 11 months

ICECCS 2023 (June 2023, Toulouse, France): call for participation
by Neeraj Kumar Singh
2 years, 11 months

CFP: 24th International Conference on Formal Engineering Methods (ICFEM 2023)
by Neeraj
2 years, 11 months

ATVA 2023 (Singapore): extended deadline
by Étienne André
2 years, 11 months

FORMATS 2023 final call for papers with deadline extension
by B Srivathsan
2 years, 11 months

Call for Presentations: Highlights 2023 (final call)
by Supratik Chakraborty
2 years, 11 months

ICECCS 2023 (June 2023, Toulouse, France): call for participation
by Étienne André
2 years, 11 months

IARCS Verification Seminar Series -- Talk by Sharon Shoham on Apr. 17 at 1900 hrs IST
by VSS IARCS
2 years, 11 months

WiL 2023: Co-located with FSCD 2023 (Abstract Submission Deadline: April 23) CfC
by Tephilla
2 years, 11 months

IARCS Verification Seminar Series -- Talk by Sharon Shoham on Apr. 17 at 1900 hrs IST
by VSS IARCS
2 years, 11 months

ICFEM 2023 (Brisbane, Australia): First Call for Papers
by nsingh@enseeiht.fr
3 years

ATVA 2023 (Singapore): call for papers
by Étienne André
3 years

ASPLOS 2024: Call for Papers
by Madhavan Mukund
3 years

NETYS 2023 - Deadline Extension
by Madhavan Mukund
3 years

IARCS Verification Seminar Series -- Talk by Markus Kuppe on Mar. 14 at 1900 hrs IST
by VSS IARCS
3 years

cfp for IEEE Edge 2023; submission deadline = Extended deadline March 25, 2023.
by Nitin Auluck
3 years

ETAPS 2023 (Paris): offer for Extended Stay Support Scheme
by Étienne André
3 years

IARCS Verification Seminar Series -- Talk by Markus Kuppe on Mar. 14 at 1900 hrs IST
by VSS IARCS
3 years

ATVA 2023 (Singapore): first call for papers
by Étienne André
3 years, 1 month

1st Call for Contributions - Women in Logic Workshop (WiL 2023)
by Tephilla
3 years, 1 month

Numerical Computations: Theory and Algorithms' [NUMTA2023] - 14 to 20 June 2023 in Calabria, Italy
by gopal
3 years, 1 month

ETAPS 2023 (Paris) extended stay support scheme: fly less, stay longer
by Étienne André
3 years, 1 month

FORMATS 2023 second call for papers
by B Srivathsan
3 years, 1 month

IEEE EDGE 2023 - CALL FOR PAPERS, Submission Deadline = March 5, 2023
by Nitin Auluck
3 years, 1 month

IARCS Verification Seminar Series -- Talk by Krishna S on Feb. 7 at 1900 hrs IST
by VSS IARCS
3 years, 1 month

Highlights 2023 & Highlights Collaborative Research Week 2023
by Supratik Chakraborty
3 years, 1 month

IITB CSE Research Symposium: call for student participation
by Uday P. Khedker
3 years, 2 months

IARCS Verification Seminar Series -- Talk by Krishna S on Feb. 7 at 1900 hrs IST
by VSS IARCS
3 years, 2 months

CFP IEEE Edge 2023, submission deadline = March 5, 2023.
by Nitin Auluck
3 years, 2 months

Call for special sessions - NUMTA2023 (hybrid), Jun 2023 - Italy
by gopal
3 years, 2 months

ICECCS 2023 (Toulouse, France): last call for papers
by Étienne André
3 years, 2 months

IARCS Verification Seminar Series -- Talk by Umang Mathur on Jan 3 at 1900 hrs IST
by VSS IARCS
3 years, 3 months

IARCS Verification Seminar Series -- Talk by Umang Mathur on Jan 3 at 1900 hrs IST
by VSS IARCS
3 years, 3 months

Deadline extension : ICECCS 2023 (Toulouse, France)
by Étienne André
3 years, 3 months

IARCS Verification Seminar Series -- Talk by Krishna S on Dec. 6 at 1900 hrs IST
by VSS IARCS
3 years, 3 months

IARCS Verification Seminar Series -- Talk by Krishna S on Dec. 6 at 1900 hrs IST
by VSS IARCS
3 years, 4 months

2nd call for papers: ICECCS 2023 (Toulouse, France)
by Étienne André
3 years, 4 months

7th Indian SAT+SMT School -- Second call for participation
by Kumar Madhukar
3 years, 4 months

7th Indian SAT+SMT School -- Call for participation
by Kumar Madhukar
3 years, 5 months

IARCS Verification Seminar Series -- Talk by Shibashis Guha on Nov. 1 at 1900 hrs IST
by VSS IARCS
3 years, 5 months

7th Indian SAT+SMT School -- Call for posters/talks
by Kumar Madhukar
3 years, 5 months

UbiSec 2022 CFP with 5+Keynotes&10+Invited Talks&20+SIs: Deadline Extended to Oct. 30
by Qin Liu
3 years, 5 months

TrustData 2022 CFP with 5+Keynotes&10+Invited Talks&20+SIs: Deadline Extended to Oct. 30
by Qin Liu
3 years, 5 months

UbiSec 2022 CFP with 5+Keynotes&10+Invited Talks&20+SIs: Deadline Extended to Oct. 30
by Qin Liu
3 years, 5 months

IARCS Verification Seminar Series -- Talk by Shibashis Guha on Nov. 1 at 1900 hrs IST
by VSS IARCS
3 years, 5 months

First Call for Papers ABZ2023 International Conference on Rigorous State Based Methods
by Étienne André
3 years, 5 months

TrustData 2022 CFP with 5+Keynotes&10+Invited Talks&20+SIs: Deadline Extended to Oct. 30
by Qin Liu
3 years, 5 months

IARCS Verification Seminar Series -- Talk by Mahesh Viswanathan on Oct. 4 at 1900 hrs IST
by VSS IARCS
3 years, 6 months

IARCS Verification Seminar Series -- Talk by Mahesh Viswanathan on Oct. 4 at 1900 hrs IST
by VSS IARCS
3 years, 6 months

Call for papers: ICECCS 2023 (Toulouse, France)
by Étienne André
3 years, 6 months

FINAL CALL FOR PAPERS : 10th INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS
by Sreejith A V
3 years, 6 months

UbiSec 2022 CFP with 5+Keynotes&10+Invited Talks&10+SIs: Deadline Extended to Oct. 10
by Qin Liu
3 years, 6 months

TrustData 2022 CFP with 5+Keynotes&10+Invited Talks&10+SIs: Deadline Extended to Oct. 10
by Qin Liu
3 years, 6 months

THIRD CALL FOR PAPERS : 10th INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS
by Sreejith A V
3 years, 6 months

ANTIC-2022 | BHU Varanasi, India | CCIS Springer [Scopus Indexed]
by Dr. Anshul Verma
3 years, 6 months

IARCS Verification Seminar Series -- Talk by Subodh Sharma on Sept. 6 at 1900 hrs IST
by VSS IARCS
3 years, 7 months

IARCS Verification Seminar Series -- Talk by Subodh Sharma on Sept. 6 at 1900 hrs IST
by VSS IARCS
3 years, 7 months

TrustData 2022 CFP with 5+Keynotes&10+Invited Talks&10+SIs: Deadline Extended to Oct. 10
by Qin Liu
3 years, 7 months

Second Batch UbiSec 2022 CFPs : Deadline October 10, 2022 (Extended)
by Qin Liu
3 years, 7 months

Post-doc hiring in Singapore-French collaborative program Descartes on Formal Reasoning and AI
by Abhik Roychoudhury
3 years, 7 months

ICLA 2023: Call for Papers
by Sreejith A V
3 years, 7 months
Results per page: