September 16, 2005

AVoCS 2005

"Fifth International Workshop on Automated Verification of Critical Systems" just concluded at
University of Warwick, (12–13 September 2005). The conference was arranged by members of Formal method and Quantum processing group of Department of computer Science. The details can be found here. Don't forget to check the photographs by our in-house researcher cum photographer Nick :-)

- No comments Not publicly viewable


Add a comment

You are not allowed to comment on this entry as it has restricted commenting permissions.

September 2005

Mo Tu We Th Fr Sa Su
Aug |  Today  | Oct
         1 2 3 4
5 6 7 8 9 10 11
12 13 14 15 16 17 18
19 20 21 22 23 24 25
26 27 28 29 30      

Search this blog

Tags

Galleries

Most recent comments

  • to take ramayana to all poor children in village, mail me your suggestions.we do. –balaji, chennai, … by k.balaji on this entry
  • to take ramayana to all poor children in village, mail me your suggestions.we do. –balaji, chennai, … by k.balaji on this entry
  • pleeeez i hav watched ramayana on cartoon network a 1000 times…............. n im totally in love … by ashish on this entry
  • pleeeez i hav watched ramayana on cartoon network a 1000 times…............. n im totally in love … by ashish on this entry
  • pleeeez i hav watched ramayana on cartoon network a 1000 times…............. n im totally in love … by ashish on this entry

Blog archive

Loading…
Not signed in
Sign in

Powered by BlogBuilder
© MMXIX