12-month post-doc in Padova |
Milly Maietti |
10/17/16 |

Five stages of accepting constructive mathematics |
Andrej Bauer |
10/12/16 |

Fw: future collaboration with interval folks |
Kreinovich, Vladik |
9/27/16 |

Two Intermediate notions of disjunction |
Martín Escardó |
9/12/16 |

Per Martin-Löf in Padova in September |
Giovanni |
8/26/16 |

Special case of countable choice |
Martín Hötzel Escardó |
7/29/16 |

position in Mathematical Logic, Universita' di Genova |
Giuseppe Rosolini |
6/16/16 |

Workshop on Categorical Logic and Univalent Foundations: Deadline Approaching |
Andrew Swan |
6/12/16 |

In what sense is Tychonoff constructive |
Andrej Bauer |
5/12/16 |

LC2016: deadline for early registration |
Nicola Gambino |
5/11/16 |

LC2016: deadlines approaching |
Nicola Gambino |
4/14/16 |

Workshop on Categorical Logic and Univalent Foundations |
Andrew Swan |
4/7/16 |

Lectureship in Mathematical Logic, University of Leeds |
Nicola Gambino |
4/5/16 |

PhD position in guarded homotopy type theory |
Bas Spitters |
3/31/16 |

Human reasoning v mechanistic reasoning |
Bhupinder Singh Anand |
3/24/16 |

International Workshop "Mathematics for Computation" (M4C) |
sasander |
2/29/16 |

Tenure track assistant professorship in Mathematical Logic at Stockholm University |
Erik Palmgren |
2/12/16 |

Slides and videos of MAP'16 |
Bas Spitters |
2/10/16 |

co-taboos |
Martin Escardo |
2/8/16 |

RE: CCA 2016 (Computability and Complexity in Analysis) Call for abstracts |
Kreinovich, Vladik |
2/6/16 |