21 Jun 20:46 2016Robert Dawson
*Attn Cambridge People At CT16
21 Jun 20:46 2016Robert Dawson
*Attn Cambridge People At CT16
19 Jun 12:24 2016l.stramaccia
*Sibe Mardesic
20 Jun 09:39 2016Marco Grandis
**Sibe Mardesic
16 Jun 15:12 2016Dorette Pronk
*mini residence housing during CT2016 - three spaces left
15 Jun 19:49 2016Björn Gohla
*looking for a paper
16 Jun 22:14 2016Marco Grandis
**looking for a paper
17 Jun 16:57 2016Björn Gohla
***looking for a paper
16 Jun 18:00 2016Andrée Ehresman
**looking for a paper
17 Jun 16:03 2016tholen
**looking for a paper
10 Jun 23:57 2016Martin Escardo
*Injectives in toposes
6 Jun 22:45 2016RONALD BROWN
*Ronald Brown's web site
1 Jun 14:46 2016Giuseppe Rosolini
*Researcher position in Genoa
31 May 10:50 2016Martha Lewis
*Final CfP: Workshop on Semantic Spaces at the Intersection of NLP, Phy
31 May 00:37 2016Dorette Pronk
*cheap dorm rooms at Dalhousie during CT2016, but reply right away
30 May 18:30 2016John Stell
*PhD Scholarship: Logic for Multiscale Network Modelling
30 May 18:53 2016Pieter Hofstra
*CT 2016 Deadlines
29 May 22:03 2016Tobias Philipp
*The European Master's Program in Computational Logic: Application unti
24 May 11:49 2016Clark, Alexander (Prof.
*conference announcement
24 May 08:52 2016Pierre Hyvernat
*PLRR 2016 (Parametricity, Logical Relations & Realizability), call for
18 May 13:01 2016Paul B Levy
*Reminder: postdoc position in semantics and effects SUNDAY DEADLINE
17 May 11:03 2016Peter Johnstone
*PSSL history
21 May 08:36 2016Valeria de Paiva
**PSSL history
14 May 22:20 2016Sam Staton
*LICS 2016 Call for Participation
15 May 08:07 2016John MacDonald
*FMCS2016 Fourth Announcement
12 May 09:55 2016Sam Dean
*Free cocompletion
11 May 15:08 2016Paul B Levy
*free cocompletion
12 May 10:27 2016Tom Hirschowitz
**free cocompletion
15 May 17:21 2016Andree EHRESMANN
**Free cocompletion
10 May 08:22 2016Andree EHRESMANN
*Online publication of the Cahiers and of Charles Ehresmann's Works
8 May 23:22 2016Julia Goedecke
*PSSL100: Last Reminder
4 May 17:18 2016Chris Heunen
*QPL 2016 Call for Participation
3 May 14:57 2016pjf
*Major New York Times article about Eugenia Cheng!
29 Apr 17:44 2016Paoli, Simona (Dr.
*YaMCATS 7 University of Leicester 10 May 2016
29 Apr 16:21 2016Steve Awodey
*1-year teaching / research position
26 Apr 17:36 2016Jeremy.Gibbons
*Summer School on Bidirectional Transformations, Oxford, 25-29th July 2
25 Apr 12:27 2016Benno van den Berg
*PhD positions at the ILLC in Amsterdam
22 Apr 11:43 2016Barbara Kordy
*Ph.D. Position in Security Modeling at IRISA in Rennes, France
21 Apr 06:39 2016David Roberts
*Survey of math publishing priorities
19 Apr 17:39 2016Maria Manuel Clementino
*Postdoc positions at CMUC, Coimbra
19 Apr 10:47 2016Philip Hackney
*Final announcement for program on higher structures at MATRIX
15 Apr 17:55 2016Julia Goedecke
*Reminder: PSSL100 in Cambridge; info on dinner
15 Apr 00:39 2016John MacDonald
*FMCS2016 Third Announcement
14 Apr 18:02 2016Paul B Levy
*postdoc position in semantics and effects
14 Apr 10:32 2016Timothy Porter
*EPSRC Postdoc
13 Apr 10:35 2016Tom Hirschowitz
*position in chambery
11 Apr 19:58 2016Maria Manuel Clementino
*Workshop on Categorical Methods in Non-Abelian Algebra: REMINDER
11 Apr 10:35 2016Timothy Porter
*(unknown)
8 Apr 13:42 2016Nicola Gambino
*Two positions at the University of Leeds
6 Apr 19:21 2016Richard Blute
*International Category Theory Conference CT 2016
4 Apr 15:32 2016Nikita Danilov
*A construction for polynomials.
5 Apr 18:58 2016Rory Lucyshyn-Wright
**A construction for polynomials.
5 Apr 05:59 2016Fred E.J. Linton
**A construction for polynomials.
6 Apr 09:04 2016Anders Kock
**A construction for polynomials.
31 Mar 18:10 2016Colin McLarty
*Update on scanned notes of Mac Lane at Bowdoin 1969
31 Mar 08:23 2016Colin McLarty
*Offering scanned notes of Mac Lane at Bowdoin 1969
30 Mar 23:21 2016Dan Licata
*Oregon Programming Languages Summer School 2016
30 Mar 00:44 2016Lars Birkedal
*PhD positions, application deadline May 1, 2016=
29 Mar 12:27 2016Chris Heunen
*Categories Logic And Physics Scotland
24 Mar 13:37 2016Vladimir Voevodsky
*ICMS 2016
18 Mar 20:07 2016Michael Barr
*Topological *-autonomous categories,revisited
13 Mar 12:27 2016RONALD BROWN
*Ronnie Brown's web site url change
12 Mar 21:56 2016European Association of Comput
*Ackermann Award 2016
11 Mar 16:59 2016European Association of Comput
*CSL 2016 - 2nd call for papers
10 Mar 22:06 2016Maria Manuel Clementino
*Workshop on Categorical Methods in Non-Abelian Algebra
10 Mar 17:43 2016Reinhard Kahle
*Call for contributions PCC'16 - Proof, Computation and Complexity, May
10 Mar 15:59 2016fabio.zanasi
*CMCS 2016: Last Call for Participation (with Programme)
10 Mar 11:59 2016Joost Vercruysse
*StefFest Turin May 2016
8 Mar 13:06 2016Julia Goedecke
*PSSL 100 in Cambridge: Registration open
8 Mar 08:22 2016John MacDonald
*FMCS2016 Second Announcement
4 Mar 15:37 2016Neil Ghani
*International Workshop "Mathematics for Computation" (M4C)
4 Mar 15:04 2016Joost Vercruysse
*postdoctoral positions in Brussels
2 Mar 19:38 2016Dorette Pronk
*AARMS Summer School Reminder - Urgent message regarding housing for th
1 Mar 18:45 2016Eades, Harley
*Visiting PhD Student
29 Feb 20:36 2016Ivo DellAmbrogio
*SIC à Lille le 23 mars 2016 (deuxième annonce)
26 Feb 10:42 2016Robert Atkey
*Call for Participation: MSFP 2016
25 Feb 05:28 2016Paul Blain Levy
*Call for participation: Games for Logic and Programming Languages XI
22 Feb 16:49 2016Martin Steffen
*Last Call for Workshop Proposals at FM2016 (21st Intl. Symposium on Fo
23 Feb 00:27 2016Michael Shulman
*local presentability in formal category theory
19 Feb 23:20 2016Eduardo Julio Dubuc
*on_MV-algebras
14 Feb 19:44 2016fabio.zanasi
*CMCS 2016: Call for Short Contributions and Participation
12 Feb 06:28 2016Philip Hackney
*Inaugural Program at MATRIX - Higher structures in geometry and physic
11 Feb 17:30 2016Tarmo Uustalu
*ETAPS 2016 call for participation
10 Feb 21:16 2016Mehrnoosh Sadrzadeh
*Call for abstracts for the NASSLLI workshop on Statistical and Logical
8 Feb 08:58 2016Alessio Guglielmi
*PhD positions from October 2016 at the University of Bath
7 Feb 15:34 2016Chris Kapulkin
*Workshop on Homotopy Type Theory and Univalent Foundations, Fields Ins
5 Feb 16:27 2016Clemens Kupke
*Post-doc and PhD position in Coalgebra for Data and Games @ the MSP gr
5 Feb 13:00 2016Dimitrios Kartsaklis
*2nd CfP: Workshop on Semantic Spaces at the Intersection of NLP, Physi
2 Feb 06:10 2016Patrik Eklund
*Categories in real world applications
2 Feb 18:21 2016Giorgio Mossa
**Categories in real world applications
2 Feb 19:45 2016Bob Coecke
**Categories in real world applications
2 Feb 22:55 2016Andree EHRESMANN
**Categories in real world applications
3 Feb 10:49 2016Joyal, André
**Categories in real world applications
1 Feb 08:57 2016John MacDonald
*FMCS2016 Vancouver, Canada. First Announcement
29 Jan 11:34 2016list-announcer
*Funded Doctoral Positions in Computer Science in Austria (LogiCS)
22 Jan 23:45 2016European Association of Comput
*Call for Nominations: The 2016 Alonzo Church Award for Outstanding Con
22 Jan 18:54 2016European Association of Comput
*Call for papers: CSL 2016
22 Jan 15:28 2016Mojgan Mahmoudi
*Prof Lawvere recent paper
22 Jan 06:21 2016hassei
*FSCD'16 Final Call for Papers
19 Jan 22:30 2016Jürgen Koslowski
*PSSL99, aka Jirkafest, 2.1st announcement and correction