Test of Time Awardhttps://etaps.org/awards/test-of-time/
ETAPS 2027 Call for Papers Important Dates Invited Speakers ESOP 2027 FOSSACS 2027 iFS 2027 TACAS 2027 Satellite Events Organizers About About ETAPS ETAPS Association Steering Com
Award given to outstanding papers published at ETAPS more than ten years ago.
blog :: Brent -> [String] - blog :: Brent → [String]https://byorgey.github.io/blog/
Home • About • RSS • BlogLiterately • Catsters Guide • How To Print Things • blog :: Brent → [String] Proving the Fundamental Theorem of Arithmetic in Agda - June 26, 2026 Disco L
VZ-200 / VZ-300 / Laser 210 / Laser 310 / Salorean Fellow / Texet Newsletters, Journals and bookshttp://www.vz200.org/bushy/
VZ200 / VZ300 / Laser210 / Laser310 Updated: Nov/2025. email : bushy555 (at) gmail.com Newsletters, articles, software, music, games and everything else.
The VZ-200
Robin Milner Young Researcher Awardhttps://www.sigplan.org/Awards/Milner/
ACM SIGPLAN Home Conferences OpenTOC Awards Research Highlights Membership Robin Milner Young Researcher Award The Robin Milner Young Researcher Award is given by ACM SIGPLAN to r
Dr. Stéphane Ducassehttp://stephane.ducasse.free.fr/
Stéphane Ducasse Home Home Pharo Publications Books Free Smalltalk Books Downloads/Resources Lectures and Presentations Coordinates INRIA RMOD email Current responsibilitie
Archive -- FOSS and Craftshttps://fossandcrafts.org/archive/
subscribe archive about contact | hack & craft The Archive 62: Blender Sun 03 March 2024 Blender, the absolute powerhouse of FOSS 3d (and increasingly 2d) graphics! We give an
arganoid.comhttps://arganoid.com/
Arganoid Tuition Computer Science and programming tuition ARGnet Personal homepage ARGANOID INDUSTRIES Indie game development
Chris Lattner's Homepagehttps://nondot.org/sabre/
Chris Lattner's Homepage About Me Hi, I’m Chris Lattner — systems builder, open-source compiler nerd, and AI infrastructure founder. This site hasn’t changed much since the early
Suricrasia Online's Online Libraryhttps://suricrasia.online/library/
Welcome to Suricrasia Online! "Connecting your world, whenever!" About Projects Blog Social Suricrasia Online's Online Library Suricrasia Online maintains an extensive online libr
Norman Ramseyhttps://www.cs.tufts.edu/~nr/
Norman Ramsey Contents What I care about Research: “Important” papers Building compilers Building interpreters Teaching For students About me Send email to nr@cs.tufts.e
Women in Tech Podcast, hosted by Espree Devorahttps://castro.fm/podcast/fe906303-b128-429f-b23a-f8c53dd76e62
Technology Business Espree Devora Women in Tech Podcast, hosted by Espree Devora Open on Castro Listen on Podcast Details The Women in Tech Podcast is hosted by WeAreLATech's Espr
The Women in Tech Podcast is hosted by WeAreLATech's Espree Devora and features inspiring Women in Tech from Engineers, Female Founders, Investors, UX and UI Designers, Journal
FOSDEM 2017 - Sundayhttps://archive.fosdem.org/2017/schedule/day/sunday/
← / Janson K.1.105 (La Fontaine) H.2215 (Ferrer) H.1301 (Cornil) H.1302 (Depage) H.1308 (Rolin) H.1309 (Van Rijn) H.2111 H.2213 H.2214 H.3227 H.3228 AW1.120 AW1.121 AW1.
Find more...