Howdy! I have just recently started a summer research internship in Los Alamos National Laboratory. As my summer research topic is not directly related to logic, I will probably have to switch to a hibernation mode as far as blogging Logicomp is concerned. I will definitely resume with Logicomp when I start my graduate studies in Toronto (early September). One interesting thing that I plan to post on Logicomp in the future is the "Favorite Logic of the Month" in which I will mention my favorite logic of that month and a general method for proving (in)expressibility.
Anyway, until then I hope everyone have a great time!
3 comments:
Have fun, but watch out over there!
http://www.theregister.co.uk/2005/06/07/los_alamos_geek_hate/
Hmm, maybe this url will look better:
http://tinyurl.com/dqvl9
Kenny and Jon, thanks!
Kenny: I'll probably start posting these when I get back in the fall.
Jon: Thanks for the URL. I heard of this too from people here.
good luck to both of you!
Post a Comment