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

[Jørgen Villadsen]

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):

https://dblp.org/db/conf/paar/paar2022.html

Here is a sample paper:

The Isabelle Community Benchmark
Fabian Huch, Vincent Bode 
https://ceur-ws.org/Vol-3201/paper14.pdf

Jørgen

________________________________________
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:
https://isabelle-dev.sketis.net/rISABELLEd84568379f3f


> 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.


        Makarius

_______________________________________________
isabelle-dev mailing list
isabelle-dev at in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev