October 2013 Archives by author
Starting: Tue Oct 1 10:36:02 IST 2013
Ending: Wed Oct 30 09:02:55 IST 2013
Messages: 14
- [FM-India] FW: [Concurrency] Funded Ph.D. Position on Model-Based Testing of Software Product Lines at Halmstad University, Sweden
Beohar, H.
- [FM-India] Research Position
Ateet Bhalla
- [FM-India] Call for Papers: NFM 2014
Sarat Chettri
- [FM-India] CFP BigSecurity workshop with IEEE INFOCOM 2014
Madhavan Mukund
- [FM-India] PhD forum at ICDCN 2014
Madhavan Mukund
- [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] Call for Papers: NFM 2014
Madhavan Mukund
- [FM-India] Call for papers: AAAI Symposium on formal verification in HMI
Madhavan Mukund
- [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
- [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
Last message date:
Wed Oct 30 09:02:55 IST 2013
Archived on: Wed Oct 30 09:02:59 IST 2013
This archive was generated by
Pipermail 0.09 (Mailman edition).