Fwd: [PT] The Proof Theory Blog

[Valeria de Paiva]

---------- Forwarded message ---------
From: A....@bham.ac.uk <A....@bham.ac.uk>
Date: Mon, Jun 1, 2020 at 11:58 AM
Subject: [PT] The Proof Theory Blog
To: Proof...@Lists.Bath.Ac.UK <Proof...@lists.bath.ac.uk>
Cc: Thomas Powell <trj...@bath.ac.uk>

Dear Colleagues,

We would like to announce the launch of a new collaborative project: The Proof Theory Blog.

https://eur01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fprooftheory.blog%2F&amp;data=02%7C01%7CProofTheory%40Lists.Bath.Ac.UK%7Ce86d798598d84eee0d5308d80658ffc7%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637266326919556387&amp;sdata=wqUosS1gsTBY3auNoSwbSY4G0TQ0w32HzhMZsYHUDLI%3D&amp;reserved=0

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: https://eur01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fprooftheory.blog%2Fresources%2F&amp;data=02%7C01%7CProofTheory%40Lists.Bath.Ac.UK%7Ce86d798598d84eee0d5308d80658ffc7%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637266326919556387&amp;sdata=xzaaZaMoNaMsdwghczD99dtS1pSV6p56J5XJGxZMK98%3D&amp;reserved=0. 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 <A....@bham.ac.uk> and Thomas Powell <trj...@bath.ac.uk>. 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

--

Valeria de Paiva
http://vcvpaiva.github.io/
http://www.cs.bham.ac.uk/~vdp/

[Valeria de Paiva]

---------- Forwarded message ---------
From: [LOGIC] Mailing List <lo...@math.uni-bonn.de>
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 <A....@bham.ac.uk>
and Thomas Powell <trj...@bath.ac.uk>. 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