Explore >> Select a destination


You are here

jsteinhardt.wordpress.com
| | castingoutnines.wordpress.com
17.7 parsecs away

Travel
| | Over the weekend a minor smack-talk session opened up on Twitter between Maria Andersen and about half a dozen other math people about MathType versus $latex \LaTeX$. Maria is on record as being pro-MathType and yesterday she claimed that $latex \LaTeX$ is "not intuitive to learn". I warned her that a pro-$latex \LaTeX$ blog post...
| | 2022.splashcon.org
26.2 parsecs away

Travel
| | Welcome to the website of The 20th Asian Symposium on Programming Languages and Systems (APLAS). APLAS aims to stimulate programming language research by providing a forum for the presentation of latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia but is an international forum that serves the worldwide programming languages community. APLAS 2022 will be co-located with SPLASH 2022. APLAS22 Proceedings can be downloaded free of charge before December 31, 2...
| | lucatrevisan.wordpress.com
30.3 parsecs away

Travel
| | To get a sense of how LaTeX2WP works, and of what is still missing, here is the unedited output of the program given the latex source of my Max Cut paper (the most recent arxiv submission). Note that the \ref commands have become clickable links. You can see that footnotes and bibliography are not supported....
| | popl20.sigplan.org
38.4 parsecs away

Travel
| What is PLMW? The Programming Languages Mentoring Workshop (PLMW) aims to encourage graduate students and senior undergraduate students to pursue careers in programming language research. This workshop will bring together world leaders in programming languages research and teaching from academia and industry to provide (a) technical sessions on cutting-edge PL research and (b) mentoring sessions on how to prepare for a research career. The workshop will engage students in a process of imagining how they ...