<p>You can follow the activities of the <a href="https://eutypes.cs.ru.nl" rel="noreferrer">EUTypes</a> network, and see what meeting are organized. The list of <a href="https://eutypes.cs.ru.nl/Events" rel="noreferrer">events</a> is growing nicely. As for journals, I can think of <a href="https://lmcs.episciences.org" rel="noreferrer">Logical Methods in Computer Science</a> and <a href="https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science" rel="noreferrer">Mathematical Structures in Computer Science</a>. I can also think of some journals which are owned by you know who, so not mentionable.</p>

CC BY-SA 4.0
2019-01-27T22:42:44.963Z
Hm, the E-word company?
xrq
CC BY-SA 4.0
2019-01-27T21:44:33.560Z
2019-01-27T21:44:33.560Z
Andrej Bauer
<p>Besides the most common venues (perhaps POPL, ICFP, LICS and FSCD), where else are papers on type theory commonly published?</p>

<p>Especially, I'm looking for more "pure mathematical" venues/journals which publish work on type theory (especially of the more theoretical kind) from time to time.</p>

<soft-question><type-theory><big-list><research-practice>
Where do people publish/submit their work on type theory?
xrq
# Where do people publish/submit their work on type theory?

(Asked by: username_0 on 2019-01-27)

Besides the most common venues (perhaps POPL, ICFP, LICS and FSCD), where else are papers on type theory commonly published?

Especially, I'm looking for more "pure mathematical" venues/journals which publish work on type theory (especially of the more theoretical kind) from time to time.

**Tags:** soft-question, type-theory, big-list, research-practice


---

## 1 answers

### Answer by username_1 on 2019-01-27. Score: 6 | Accepted answer

You can follow the activities of the [EUTypes](https://eutypes.cs.ru.nl) network, and see what meeting are organized. The list of [events](https://eutypes.cs.ru.nl/Events) is growing nicely. As for journals, I can think of [Logical Methods in Computer Science](https://lmcs.episciences.org) and [Mathematical Structures in Computer Science](https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science). I can also think of some journals which are owned by you know who, so not mentionable.

> **Comments:**
> **username_0**: Hm, the E-word company?  

---

