---------- Forwarded message --------- From: [LOGIC] Mailing List <[email protected]> Date: Mon, Jun 8, 2020 at 11:39 AM Subject: [LOGIC] The Proof Theory Blog To:
Dear Colleagues, We would like to announce the launch of a new collaborative project: The Proof Theory Blog. http://prooftheory.blog/ The purpose of this blog is to give proof theorists a venue to communicate ideas, work in progress, or observations that may be relevant to the proof theory community. In addition to core topics in proof theory, we are keen to receive contributions which explore applications in and connections to different areas of mathematics, computer science or philosophy. Ultimately, we hope that the blog can evolve into a vibrant forum for proof theoretic discussion and collaboration. However, to achieve this we need contributions from the broader proof theory community! So this announcement is also a warm invitation for you to get involved. If you are interested in writing a post please get in touch with us and we can set you up as a contributor. One feature of the blog is that it has been adapted for academic writing (e.g. with latex and bibtex support), particularly with proof theory in mind. We are also maintaining a page that curates resources for proof theorists, such as listings for online seminars or links to other blogs: http://prooftheory.blog/resources/ . Do let us know if you think there is something that we should include here. The Proof Theory Blog is currently edited by Anupam Das <[email protected]> and Thomas Powell <[email protected]>. Please get in touch if you would like to be involved in any capacity. Finally, please don't hesitate to send us any comments and suggestions you might have! Anupam & Thomas -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam -- Valeria de Paiva http://vcvpaiva.github.io/ http://www.cs.bham.ac.uk/~vdp/ -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXu344tBvQieAy-1v%2BLJFnZOkiSjqemPKZ_cMW-e%3D9EbvQ%40mail.gmail.com.
