[isabelle-dev] NEWS: Demo documents for well-known LaTeX styles

Jørgen Villadsen jovi at dtu.dk
Thu Nov 10 22:59:34 CET 2022

Thanks for adding EPTCS but please reconsider CEUR-WS. The CEURART style is mandatory and CEUR has published more than 3000 "Free Open-Access Proceedings for Computer Science Workshops" so far, including Practical Aspects of Automated Reasoning (PAAR 2022):


Here is a sample paper:

The Isabelle Community Benchmark
Fabian Huch, Vincent Bode 


From: isabelle-dev <isabelle-dev-bounces at mailman46.in.tum.de> on behalf of Makarius <makarius at sketis.net>
Sent: Sunday, November 6, 2022 22:28
To: Jørgen Villadsen; isabelle-dev
Subject: Re: [isabelle-dev] NEWS: Demo documents for well-known LaTeX styles

On 06/11/2022 15:53, Jørgen Villadsen wrote:
> Two suggestions:
> EPTCS https://eptcs.org http://style.eptcs.org

Good idea. I have now added EPTCS:

> CEUR-WS http://ceur-ws.org/ https://ceurws.wordpress.com/2020/03/31/ceurws-publishes-ceurart-paper-style/
This looks a bit obscure / marginal to me.


isabelle-dev mailing list
isabelle-dev at in.tum.de

More information about the isabelle-dev mailing list