[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 
   you a healthy, fruitful, and interesting 2013.

   Anahit Chubaryan,
   Yerevan State University

More information about the Proof-Complexity mailing list