August 2013 Archives by thread

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

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] 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] BDC 2013 CFP: International Workshop on Big Data Computing, Sorrento Peninsula, Italy, 18-21 December, 2013   Yu Wang
  • [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

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