April 2022 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...

Starting: Fri Apr 1 13:14:28 IST 2022
Ending: Wed Apr 27 16:41:39 IST 2022
Messages: 10

• [FM-India] Call For Papers: 5th Workshop on Program Equivalence and Relational Reasoning (PERR2022 @ CAV/FLOC)   Soumyadip Bandyopadhyay
• [FM-India] Second Call for Papers - Runtime Verification RV'22 (Computational Logic Autumn Summit, Tbilisi, Georgia, Sept 28-30)   Thao Dang
• [FM-India] Second CFP Runtime Verification 2022 - Submission May 5   Thao Dang
• [FM-India] Second Call for Papers - Runtime Verification RV'22 - Submission May 5   Thao Dang
• [FM-India] Runtime Verification RV'22 will go HYBRID (virtual+physical) - Submission May 5   Thao Dang
• [FM-India] IARCS Verification Seminar Series -- Talk by Nathanael Fijalkow on April 5 at 1900 hrs IST   VSS IARCS
• [FM-India] SECRYPT 2022 - Second Call for Papers (deadline April 14, 2022)   Madhavan Mukund
• [FM-India] WST 2022: final call for papers (submission deadline changed!   Madhavan Mukund
• [FM-India] CFP: ATVA 2022   B Srivathsan
• [FM-India] VardiFest at FLoC 22: Call for short talks   supratik

Last message date: Wed Apr 27 16:41:39 IST 2022
Archived on: Wed Apr 27 16:41:43 IST 2022

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...