&quot;Discrete Analysis&quot; - <a href="http:&#x2F;&#x2F;www.nature.com&#x2F;news&#x2F;leading-mathematician-launches-arxiv-overlay-journal-1.18351" rel="nofollow">http:&#x2F;&#x2F;www.nature.com&#x2F;news&#x2F;leading-mathematician-launches-ar...</a> just started and was in the news<p><a href="http:&#x2F;&#x2F;processalgebra.blogspot.com&#x2F;2015&#x2F;12&#x2F;the-novelty-of-arxiv-overlay-journals.html" rel="nofollow">http:&#x2F;&#x2F;processalgebra.blogspot.com&#x2F;2015&#x2F;12&#x2F;the-novelty-of-ar...</a> lists a few more, including &quot;Logical Methods in Computer Science published its first issue ten years ago and has become one of the favourite publication outlets for researchers working on logic in computer science, broadly construed.&quot;