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 |

RE: Special Issue of TOCS |
Kreinovich, Vladik |
2/6/16 |

Re: Digest for construc...@googlegroups.com - 1 update in 1 topic |
Peter Aczel |
2/6/16 |

CCC 2015; postproceedings; call for submissions; extended deadline |
spreen |
2/1/16 |

Logic Colloquium 2016: second announcement |
Nicola Gambino |
1/13/16 |

CCC 2015; postproceedings; second call for submission |
spreen |
1/12/16 |

IZF, CZF, MLTT etc |
Martin Escardo |
12/29/15 |

Job Opportunities in Logic and Computer Science at Swansea |
Extractor |
12/18/15 |

Constructive mathematics in Nature |
Bas Spitters |
12/12/15 |

Why is excluded middle called "excluded middle"? |
Martin Escardo |
12/11/15 |

RE: CCA 2016 (Computability and Complexity in Analysis) First call for papers |
Kreinovich, Vladik |
11/22/15 |