September 2020 Archives by author

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

Starting: Tue Sep 8 00:38:47 IST 2020
Ending: Wed Sep 30 21:46:40 IST 2020
Messages: 7

• [FM-India] ARCS Symposium, 11-12 February 2021, Coimbatore: Call for Papers   Meenakshi D'Souza
• [FM-India] RV'20 - Call for Participation   Madhavan Mukund
• [FM-India] soliciting talk proposals to Workshop on Research Highlights in Programming Languages   Madhavan Mukund
• [FM-India] NASA Formal Methods 1st CFP   Madhavan Mukund
• [FM-India] [CfP] PADL 2021: Practical Aspects of Declarative Languages   Madhavan Mukund
• [FM-India] 7th UNILOG: Bimal Krishna Matilal Logic Prize 2021 (Deadline 10 Oct 2020)   N. Raja
• [FM-India] STACS 2021 - Call for Papers   aiswarya

Last message date: Wed Sep 30 21:46:40 IST 2020
Archived on: Wed Sep 30 21:46:42 IST 2020

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