November 2021 Archives by date

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

Starting: Mon Nov 1 10:27:44 IST 2021
Ending: Tue Nov 30 22:48:36 IST 2021
Messages: 11

• [FM-India] IARCS Verification Seminar Series -- Talk by Lucas Cordeiro on November 2, 1900 hrs IST   VSS IARCS
• [FM-India] Software Engineering for AI (Tenure Track @ TUM)]   Madhavan Mukund
• [FM-India] Call for papers: TASE 2022 (Cluj-Napoca, Romania)   Étienne André
• [FM-India] 2nd CfP: Petri Nets 2022 in Bergen + special track on ACSD (ICATPN 2022, June 19-24, 2022)   Madhavan Mukund
• [FM-India] Call for participation for the 6th indian SAT+SMT   Madhavan Mukund
• [FM-India] A PhD position on Model-Driven Engineering for Privacy Policies   Madhavan Mukund
• [FM-India] NFM 2022 - THIRD CALL FOR PAPERS   Madhavan Mukund
• [FM-India] 2nd call for papers: TASE 2022 (Cluj-Napoca, Romania)   Étienne André
• [FM-India] IWPQC 2021: Second International Workshop on Post-quantum Cryptography (10-11 December)   Vishal Saraswat
• [FM-India] IARCS Verification Seminar Series -- Talk by Ranjit Jhala on December 7, 1900 hrs IST   VSS IARCS
• [FM-India] NFM 2022 - call for papers - DEADLINE EXTENSION!   Madhavan Mukund

Last message date: Tue Nov 30 22:48:36 IST 2021
Archived on: Tue Nov 30 22:48:37 IST 2021

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