October 2013 Archives by thread

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

Starting: Tue Oct 1 10:36:02 IST 2013
Ending: Wed Oct 30 09:02:55 IST 2013
Messages: 14

• [FM-India] CFP BigSecurity workshop with IEEE INFOCOM 2014   Madhavan Mukund
• [FM-India] PhD forum at ICDCN 2014   Madhavan Mukund
• [FM-India] IFIP SEC 2014 - Call for Papers   sara.foresti at unimi.it
• [FM-India] Call for Paper: FM 2014, 14 - 16 May, Singapore   Madhavan Mukund
  • [FM-India] Call for Paper: FM 2014, 14 - 16 May, Singapore   Madhavan Mukund
• [FM-India] FW: [Concurrency] Funded Ph.D. Position on Model-Based Testing of Software Product Lines at Halmstad University, Sweden   Beohar, H.
• [FM-India] Call For Papers: TAMC 2014 @ Chennai, India - April 11 -13, 2014   Gopal T V
• [FM-India] Call for Papers: NFM 2014   Madhavan Mukund
  • [FM-India] Call for Papers: NFM 2014   Sarat Chettri
• [FM-India] Call for papers: AAAI Symposium on formal verification in HMI   Madhavan Mukund
• [FM-India] Research Position   Ateet Bhalla
• [FM-India] TMS 2014 - Deadline Extension   Madhavan Mukund
• [FM-India] ISPEC 2014 CFP: 10th Information Security Practice and Experience Conference, 12-14 May 2014, Fuzhou, China   Madhavan Mukund
• [FM-India] 2 PhD / postdoc positions in stochastic model checking, U Twente   Madhavan Mukund

Last message date: Wed Oct 30 09:02:55 IST 2013
Archived on: Wed Oct 30 09:02:59 IST 2013

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