The Coq mailing list

["Soegtrop, Michael" <michael.soegtrop AT intel.com>]

Dear Ahmed,

 

maybe I am not the only one: I sent several emails to the email address given under http://www.cs.uoregon.edu/Activities/summerschool as well as to the 3 organizers (including you) during the last 2 months and got absolutely zero response. I started to wonder if the summer school really takes place, but your posting makes me think that you just have a problem with your email.

 

Best regards,

 

Michael

 

Michael Soegtrop
Intel Mobile Communications
System Engineering
Principal Software Performance