[Proof Complexity] Happy New Year

achubaryan achubaryan at ysu.am
Sun Dec 23 21:45:29 CET 2012


   Dear colleagues!

   Congratulations with the New Year and all Winter Holidays!
   Since I write this email after 21.12.12, there are good reasons  to 
wish
   you a healthy, fruitful, and interesting 2013.

   Anahit Chubaryan,
   Yerevan State University



More information about the Proof-Complexity mailing list