July 2021 Archives by thread
Starting: Thu Jul 1 14:51:37 IST 2021
Ending: Fri Jul 30 23:34:07 IST 2021
Messages: 19
- [FM-India] Reachability Problems (RP'21): Call for Papers (Deadline Extended)
B Srivathsan
- [FM-India] [Approaching deadline]: 2nd Joint Workshop on CPS&IoT Security and Privacy (CPSIoTSec 2021) - [FIRM DEADLINE: JULY 13th, 2021]
alcaraz
- [FM-India] [Approaching deadline - 1 week]: 2nd Joint Workshop on CPS&IoT Security and Privacy (CPSIoTSec 2021) - [FIRM DEADLINE: JULY 13th, 2021]
alcaraz
- [FM-India] Final Call for Participation - FM Update Meeting 2021
Kumar Madhukar
- [FM-India] Regarding - Please post the attached message in FM-India Group
Dr. Anshul Verma
- [FM-India] FMIndia post from anshulverma87 at gmail.com requires approval
Dr. Anshul Verma
- [FM-India] [1 DAY LEFT]: 2nd Joint Workshop on CPS&IoT Security and Privacy (CPSIoTSec 2021) - [FIRM DEADLINE: JULY 13th, 2021]
alcaraz
- [FM-India] Call for Paper: ANTIC-2021 [Scopus] Springer, BHU Varanasi, India
Dr. Anshul Verma
- [FM-India] Last call for papers FSTTCS 2021
Madhavan Mukund
- [FM-India] [Extended deadline, August 2] DPM - Data Privacy Management, ESORICS 2021 (LNCS)
Guillermo Navarro-Arribas
- [FM-India] SETTA 2021 Beijing: final Call for Papers --extended deadline
Madhavan Mukund
- [FM-India] [Extended deadline, August 2] Cryptocurrencies and Blockchain Technology - CBT, ESORICS 2021 (LNCS)
Guillermo Navarro-Arribas
- [FM-India] Formal Methods Update Meeting 2021 Video Link - Reg
Radhakrishnan Delhibabu
- [FM-India] [4 DAYS LEFT - SECOND SUBMISSION]: 2nd Joint Workshop on CPS&IoT Security and Privacy (CPSIoTSec 2021) - for papers rejected from ACM CCS 2021 [FIRM DEADLINE: JULY 30th, 2021]
alcaraz
- [FM-India] Call for Paper - Submission deadline 31st July, 2021 for 15th IEEE International Conference on Advanced Networks and Telecommunication Systems
Madhavan Mukund
- [FM-India] IEEE ANTS 2021 CALL FOR WORKSHOP PROPOSALS - Submission deadline : August 10th, 2021
Madhavan Mukund
- [FM-India] CFP for the Secure Smart World Special Issue on CCPE: Deadline September 1, 2021
Qin Liu
- [FM-India] Institute Funded Postdoc [Formal Methods/Model Checking/ML4SE]
Arpit Sharma
- [FM-India] Call for Workshops - FLoC 2022
Madhavan Mukund
Last message date:
Fri Jul 30 23:34:07 IST 2021
Archived on: Fri Jul 30 23:34:21 IST 2021
This archive was generated by
Pipermail 0.09 (Mailman edition).