January 2017 Archives by thread

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

Starting: Tue Jan 10 18:57:23 IST 2017
Ending: Mon Jan 30 06:48:47 IST 2017
Messages: 11

• [FM-India] First School on Foundations of Programming and Software systems -- Probabilistic programming   Madhavan Mukund
• [FM-India] Formal Verification opening, Intel India   Madhavan Mukund
• [FM-India] SPIN 2017 in Santa Barbara, CA, USA - 1 month from the paper submission deadline   Madhavan Mukund
• [FM-India] FormaliSE 2017 Call for Papers: deadline approaching   Madhavan Mukund
• [FM-India] RV'17 - First call for papers and tutorials   Madhavan Mukund
• [FM-India] CAV 2017: Call for Papers   Madhavan Mukund
• [FM-India] CAV 2017 Award   Madhavan Mukund
• [FM-India] CfP FormaliSE 2017: deadline extended to 27 January 2017   Madhavan Mukund
• [FM-India] MT-CPS'17: 2nd International Workshop on Monitoring and Testing of Cyber-Physical Systems   Ayoub Nouri
• [FM-India] SPIN 2017 - final call for papers, deadline Feb 10   Madhavan Mukund
• [FM-India] FORMATS 2017 - Call for Papers - Submission 21 April 2017   THAO DANG

Last message date: Mon Jan 30 06:48:47 IST 2017
Archived on: Mon Jan 30 10:57:11 IST 2017

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