FMIndia

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

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

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

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

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

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

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

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

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

[Deadline Extension] RHPL@FSTTCS 2023
by abhisekh.sankaran@tcs.com
1 year, 11 months

ISEC 2024 CFP
by Madhavan Mukund
2 years

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

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

Lecturer in Programming Languages at Bristol
by Madhavan Mukund
2 years

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

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

FSTTCS 2023 - Third Call for Papers
by Shibashis Guha
2 years, 1 month

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

ICISS-2023 CFP
by Madhavan Mukund
2 years, 1 month

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

CFP: Fifth International Conference on Microservices
by Alessandro Bocci
2 years, 1 month

FSTTCS 2023 - Second Call for Papers
by Shibashis Guha
2 years, 1 month

Post-doc positions in Trustworthy Software at Singapore
by Abhik Roychoudhury
2 years, 1 month

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

CFP: Fifth International Conference on Microservices
by Alessandro Bocci
2 years, 1 month

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

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

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

FSTTCS 2023 - Call for papers
by Shibashis Guha
2 years, 2 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, 2 months

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

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

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

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

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

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

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

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

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

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

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

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

ATVA 2023 (Singapore): call for papers
by Étienne André
2 years, 4 months

ASPLOS 2024: Call for Papers
by Madhavan Mukund
2 years, 4 months

NETYS 2023 - Deadline Extension
by Madhavan Mukund
2 years, 5 months

IARCS Verification Seminar Series -- Talk by Markus Kuppe on Mar. 14 at 1900 hrs IST
by VSS IARCS
2 years, 5 months

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

ETAPS 2023 (Paris): offer for Extended Stay Support Scheme
by Étienne André
2 years, 5 months

IARCS Verification Seminar Series -- Talk by Markus Kuppe on Mar. 14 at 1900 hrs IST
by VSS IARCS
2 years, 5 months

ATVA 2023 (Singapore): first call for papers
by Étienne André
2 years, 5 months

1st Call for Contributions - Women in Logic Workshop (WiL 2023)
by Tephilla
2 years, 5 months

Numerical Computations: Theory and Algorithms' [NUMTA2023] - 14 to 20 June 2023 in Calabria, Italy
by gopal
2 years, 5 months

ETAPS 2023 (Paris) extended stay support scheme: fly less, stay longer
by Étienne André
2 years, 6 months

FORMATS 2023 second call for papers
by B Srivathsan
2 years, 6 months

IEEE EDGE 2023 - CALL FOR PAPERS, Submission Deadline = March 5, 2023
by Nitin Auluck
2 years, 6 months

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

Highlights 2023 & Highlights Collaborative Research Week 2023
by Supratik Chakraborty
2 years, 6 months

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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