IBM Programming Languages Day
July 29, 2010, Hawthorne NY
The eleventh annual Programming Languages Day will be held at the IBM Thomas J. Watson Research Center on Thursday, July 29, 2010. The day will be held in cooperation with the New Jersey and New England Programming Languages and Systems Seminars. The main goal of the [...]
on twitter
Anyone looking for a hot shit young hacker who knows music, programming, and its intersection? (cc @ConductiveIO)
,@swannodette ... the first good reason I've heard for Stephen Wolfram being FAMOUS.
,@collapsing_star Quite competitive. It's one of the best PL groups in the world though, so that should be expected.
RT: @racketlang Racket v5.2.1 is now available: http://t.co/idX9eDTF
I'm glad I'm not applying to the PhD program at Northeastern for PL. I doubt I'd make it.
ACM SIGPLAN Haskell Symposium 2012, Call for Papers: http://t.co/sCzt9E9u
International Colloquium on Automata, Languages and Programming (ICALP 2012), CFP http://t.co/GMjHeQaM
Mathematical Foundations of Programming Semantics, CFP http://t.co/8NBTinYW
Postdoc in PL group at U Maryland with Hicks and Foster. http://t.co/XBJilZYN second announcement, much more open ended now
Postdoctoral Position in Computational Logic at CMU with Pfenning and Cervesato http://t.co/dTMwu1oX
Blogroll
- A Neighborhood of Infinity
- Aaron Hawley (Refusal Computing)
- Aaron Stump (QA9)
- Andrej Bauer (Mathematics and Computation)
- Close Encounters of the Logical Kind (Riccardo Pucella)
- Computing Community Consortium (CCC Blog)
- Computing Research Policy Blog
- Dave Herman (The Little Calculist)
- Jacob Matthews
- Jens Axel Søgaard (Everything Scheme)
- Jereme Mongeon (test2)
- Justin Henry (Green Galoshes)
- Lambda the Ultimate
- Lance Fortnow and Bill Gasarch (Computational Complexity)
- Matt Might (Professor Might’s Blog)
- Mike Machenry (Turing Complete Waste of Time)
- Phil Wadler
- Phillip Alvelda (All the Best Bits)
- PLT Scheme
- Untyped
- Wand Symposium and Festschrift