April 27, 2010
Gilles Barthe
Cryptography is decidable
Time:
11:00am
Location:
Meeting room 302 (Mountain View), level 3
Cryptography is decidable