January 2015 Archives by subject

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

Starting: Wed Jan 7 21:55:16 IST 2015
Ending: Wed Jan 28 21:48:04 IST 2015
Messages: 13

• [FM-India] [Deadline Extended: January 17] 11th Intl. Conf. on Open Source Systems (OSS2015)   Madhavan Mukund
• [FM-India] Call for Papers - 12th International Conference on Security and Cryptography (SECRYPT 2015)   SECRYPT 2015
• [FM-India] Call for Papers - 20th European Symposium on Research in Computer Security (ESORICS 2015)   Madhavan Mukund
• [FM-India] Call for Papers - 29th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSec 2015)   DBSec 2015
• [FM-India] Call for Papers - 29th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSec 2015)   DBSec 2015
• [FM-India] CFP: CRV15 - 2nd Competition on Runtime Verification   Madhavan Mukund
• [FM-India] CFP ICFEM 2015 - The 17th International Conference on Formal Engineering Methods   Madhavan Mukund
• [FM-India] cfp special issue SCP on AVoCS 2014   Madhavan Mukund
• [FM-India] ESSS 2015 (co-located with FM 2015 in Oslo): First call for papers   Madhavan Mukund
• [FM-India] FormaliSE 2015: Call for Papers (deadline approaching!)   Madhavan Mukund
• [FM-India] FORTE 2015: Call for Papers (abstract submission deadline extended)   Madhavan Mukund
• [FM-India] FORTE 2015: last Call for Papers   Madhavan Mukund
• [FM-India] TASE 2015: Call for Paper, Nanjing 12 - 14 September   Madhavan Mukund

Last message date: Wed Jan 28 21:48:04 IST 2015
Archived on: Wed Jan 28 21:48:08 IST 2015

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