November 2013 Archives by author
Starting: Fri Nov 1 06:25:31 IST 2013
Ending: Thu Nov 28 05:52:48 IST 2013
Messages: 17
- [FM-India] SynCoP 2014 (ETAPS satellite) 2nd call for papers
Étienne André
- [FM-India] Postdoc opening at Rice university
Harsh Beohar
- [FM-India] Mod4Sim *** Extended Deadline ***
Madhavan Mukund
- [FM-India] Last Call for Papers: NASA Formal Methods (NFM) 2014
Madhavan Mukund
- [FM-India] CFP: ISPEC 2014, 12-14 May 2014, Fuzhou, China
Madhavan Mukund
- [FM-India] SETTA2014 CFP
Madhavan Mukund
- [FM-India] 1st CFP: 14th International Conference on Runtime Verification September 22 – 25, 2014 Toronto, Canada
Madhavan Mukund
- [FM-India] ESSS workshop 2014 (co-located with FM 2014 in Singapore) -- 1st call
Madhavan Mukund
- [FM-India] CFP BigSecurity workshop with IEEE INFOCOM 2014 (with journal special issues)
Madhavan Mukund
- [FM-India] ISPEC 2014 CFP: 10th Information Security Practice and Experience Conference, 12-14 May 2014, Fuzhou, China
Madhavan Mukund
- [FM-India] Call for Papers: SETTA 2014, August 14-17, Nanjing, China
Madhavan Mukund
- [FM-India] 1st Intl. Competition of Software for Runtime Verification: call for participation
Madhavan Mukund
- [FM-India] CFP NFSP Workshop with ICDCS14, Madrid, Spain, June 30-July 3.
Madhavan Mukund
- [FM-India] Call For Papers: TAMC 2014 @ Chennai, India - April 11 -13, 2014
Gopal T V
- [FM-India] IFIP SEC 2014 - Call for Papers
sara.foresti at unimi.it
- [FM-India] Call for papers: 8th Workshop in Information Security Theory and Practice (WISTP 2014)
sara.foresti at unimi.it
- [FM-India] IFIP SEC 2014 - Call for Papers
sara.foresti at unimi.it
Last message date:
Thu Nov 28 05:52:48 IST 2013
Archived on: Thu Nov 28 05:52:57 IST 2013
This archive was generated by
Pipermail 0.09 (Mailman edition).