August 2013 Archives by thread
Starting: Fri Aug 2 19:59:01 IST 2013
Ending: Thu Aug 29 03:40:19 IST 2013
Messages: 13
- [FM-India] Deadline approaching - 10th IEEE International Conference on Autonomic and Trusted Computing (ATC 2013)
ATC 2013
- [FM-India] Call for Papers: The 8th International Conference for Internet Technology and Secured Transactions (ICITST-2013)
Madhavan Mukund
- [FM-India] 11th Annual Conference on Theory and Applications of Models of Computation
Gopal T V
- [FM-India] Call for Papers: NFM 2014
Madhavan Mukund
- [FM-India] Deadline extended - 10th IEEE International Conference on Autonomic and Trusted Computing (ATC 2013)
ATC 2013
- [FM-India] BDC 2013 CFP: International Workshop on Big Data Computing, Sorrento Peninsula, Italy, 18-21 December, 2013
Madhavan Mukund
- [FM-India] Call for Papers: Formal Methods 2014 (FM 2014), Singapore, May 14-16, 2014
Madhavan Mukund
- [FM-India] ICDCIT -- 2014, Bhubaneswar, India, Call for papers
N. Raja
- [FM-India] Postdoc positions in SAT/SMT-based Verification available in Trento
Madhavan Mukund
- [FM-India] ATC 2013 submission deadline in a few days (September 01, 2013)
ATC 2013
Last message date:
Thu Aug 29 03:40:19 IST 2013
Archived on: Thu Aug 29 03:40:32 IST 2013
This archive was generated by
Pipermail 0.09 (Mailman edition).