constructivenews

FYI From: Alexei Muravitsky <ale...@nsula.edu> Sent: Tuesday, January 6, 2026 12:39 AM The

Chapman University in Orange, California, USA, is hiring doctoral students and postdoctoral fellows

7th Workshop on Formal Topology 3rd announcement- Call for contributions (and extended early

TL;DR: Submit your PSSL 112 abstract by February 6th 2026 to stiephe...@nottingham.ac.uk. ======

2nd annoucement- Early registration is now open until 5th Dec. 2025! ------------------------------

Dear all, In celebration of Martín Escardó's 60th birthday this year, we are pleased to announce

The University of Birmingham is recruiting assistant/associate professors in the School of Computer

Dear colleagues, I am looking for a PhD student to work on a project in the semantics of Homotopy

Dear All, I recently heard about the fusible numbers. https://arxiv.org/abs/2003.14342v9 The proof

Hi all, I was wondering what constructive perspectives, if any, there are on the theorem that Gale–

EXTENDED DEADLINE: 6TH JULY 2025 On Friday, May 30, 2025 at 7:54:51 AM UTC Valentin Herrmann wrote: =

WELL POINTED ENDOFUNCTORS AND RECURSIVE CONSTRUCTIONS IN CATEGORY THEORY Paul Taylor Online seminar,

[Apologies for multiple postings] Dear colleagues and friends, The Peter Aczel Memorial Conference

[Call for preregistration -- Late applications submitted this week will still be considered.] CIRM

================================== 7th Workshop on Formal Topology (7WFTop). From topology to dynamic

Dear all I would like to draw your attention to this novelty: almost all the editorial board of the

Dear all, We are hiring PhD students in Computational Mathematics and Mathematics at Stockholm

Gidday all, from Down Under. Having reached my 80th year, I no longer am prepared to endure long

Dear all, We are hiring an Assistant Professor in Mathematics with focus on Mathematical Logic (a

======================================== 2nd Call for Participation and Contributions North American

======================================== Call for Participation and Contributions North American ASL

Chapman University in Orange, California, USA, is hiring doctoral students and postdoctoral fellows

Dear All, My name is Ryota Kuroki and I am a first year graduate student in the lab of Prof. Ryu

I have written a proof that shows the decomposability of R^d (Dedekind real numbers) is equivalent to

TYPES is a major forum for the presentation of research on all aspects of type theory and its

https://www.decitre.fr/livres/resolutions-libres-finies-9782493230133.html This book reflects our

Dear All interested in Ultrafinitism and rejection of infinitary assumptions of Goedel, The paper on

Dear all new paper on arXiv about dynamic theory of real numbers http://arxiv.org/abs/2408.10290

FYI From: cca-r...@listserv.dfn.de <cca-r...@listserv.dfn.de> On Behalf Of Olivier

Dear Colleagues, We are pleased to announce that the Logic Group at the University of Gothenburg is