Coequalizers of Lawson-continuous maps
2016-09-26 8:55 UTC
LICS 2017 Call for Workshop Proposals
2016-09-19 8:34 UTC
[LICS] LICS 2017 Call for Workshop Proposals
2016-09-19 8:34 UTC
FSCD 2017 - Call for Workshop Proposals
2016-09-18 22:24 UTC
CT2017 FIRST ANNOUNCEMENT
2016-09-17 1:02 UTC
Assistant Professor Vacancy at Utrecht
2016-09-16 11:52 UTC
weakly globular n-fold categories
2016-09-15 16:30 UTC
Gray's paper on universal algebra in cartesian closed categories
2016-09-12 21:32 UTC
Topological *-autonomous categories, revisited
2016-09-11 15:07 UTC
CFP Special issue [IJCAT Journal]
2016-09-07 11:57 UTC
discrete probability functor on Rel
2016-09-05 11:32 UTC
Open position for Postdoc at Embedded Systems Unit of FBK
2016-09-05 11:03 UTC
Examples of certain monotone operators
2016-08-25 19:13 UTC (3+ messages)
` Examples of certain monotone operators: errata
CSR 2017: Preliminary Call for Papers
2016-08-17 16:07 UTC
Examples of certain monotone operators
2016-08-17 14:16 UTC (2+ messages)
New paper "Sketches for arithmetic universes"
2016-08-04 16:23 UTC
Union College Math Conference
2016-07-29 20:21 UTC
discrete probability functor on Rel
2016-07-27 11:27 UTC
ETAPS 2017 1st call for papers
2016-07-26 7:58 UTC
bar construction for better-than-average monads
2016-07-26 5:42 UTC
Upcoming conference at the University of Leicester
2016-07-25 21:13 UTC
Call for participation - CSL 2016 (August 29 - September 1)
2016-07-22 13:27 UTC
LL2016: Call for participation and abstracts
2016-07-21 22:31 UTC
Website updated with new papers
2016-07-21 10:29 UTC
Workshop on Dualities
2016-07-20 23:31 UTC
2016 Autumn School on Computational Logic
2016-07-11 14:43 UTC
tenure track position in Theoretical Computer Science
2016-07-07 20:53 UTC
Armin Frei
2016-07-07 17:47 UTC
CT2016 Halifax hotel rooms
2016-07-05 23:35 UTC
YaMCATS 8, University of Sheffield, 11 July 2016
2016-07-05 17:15 UTC
ESSLLI 2017 Second Call for Course Proposals
2016-06-22 19:19 UTC
Attn Cambridge People At CT16
2016-06-21 18:46 UTC
Attn Cambridge People At CT16
2016-06-21 18:46 UTC
Sibe Mardesic
2016-06-20 7:39 UTC (2+ messages)
looking for a paper
2016-06-17 14:57 UTC (5+ messages)
mini residence housing during CT2016 - three spaces left
2016-06-16 13:12 UTC
Injectives in toposes
2016-06-10 21:57 UTC
Ronald Brown's web site
2016-06-06 20:45 UTC
Ronald Brown's web site
2016-06-06 20:45 UTC
Website updated with new papers
2016-06-04 4:20 UTC
Researcher position in Genoa
2016-06-01 12:46 UTC
Final CfP: Workshop on Semantic Spaces at the Intersection of NLP, Physics and Cognitive Science
2016-05-31 8:50 UTC
cheap dorm rooms at Dalhousie during CT2016, but reply right away
2016-05-30 22:37 UTC
CT 2016 Deadlines
2016-05-30 16:53 UTC
PhD Scholarship: Logic for Multiscale Network Modelling
2016-05-30 16:30 UTC
The European Master's Program in Computational Logic: Application until 5 June 2016
2016-05-29 20:03 UTC
conference announcement
2016-05-24 9:49 UTC
PLRR 2016 (Parametricity, Logical Relations & Realizability), call for contribution
2016-05-24 6:52 UTC
PSSL history
2016-05-21 6:36 UTC
Reminder: postdoc position in semantics and effects SUNDAY DEADLINE
2016-05-18 11:01 UTC
PSSL history
2016-05-17 9:03 UTC
Free cocompletion
2016-05-15 15:21 UTC
FMCS2016 Fourth Announcement
2016-05-15 6:07 UTC
LICS 2016 Call for Participation
2016-05-14 20:20 UTC
QPL 2016 Programme, Final call for participation
2016-05-13 19:48 UTC
free cocompletion
2016-05-12 8:27 UTC (2+ messages)
Free cocompletion
2016-05-12 7:55 UTC
Online publication of the Cahiers and of Charles Ehresmann's Works
2016-05-10 6:22 UTC
PSSL100: Last Reminder
2016-05-08 21:22 UTC
QPL 2016 Call for Participation
2016-05-04 15:18 UTC
QPL 2016 Call for Participation
2016-05-04 15:18 UTC
Major New York Times article about Eugenia Cheng!
2016-05-03 12:57 UTC
Workshop: "Universal Structures in Mathematics and Computing"
2016-05-02 4:23 UTC
YaMCATS 7 University of Leicester 10 May 2016
2016-04-29 15:44 UTC
1-year teaching / research position
2016-04-29 14:21 UTC
Summer School on Bidirectional Transformations, Oxford, 25-29th July 2016
2016-04-26 15:36 UTC
PhD positions at the ILLC in Amsterdam
2016-04-25 10:27 UTC
Ph.D. Position in Security Modeling at IRISA in Rennes, France
2016-04-22 9:43 UTC
Survey of math publishing priorities
2016-04-21 4:39 UTC
3 PhD studentships available
2016-04-20 13:33 UTC
Papers in CGASA on the occasion of Banaschewski's 90th Birthday
2016-04-19 17:36 UTC
Postdoc positions at CMUC, Coimbra
2016-04-19 15:39 UTC
Final announcement for program on higher structures at MATRIX
2016-04-19 8:47 UTC
Reminder: PSSL100 in Cambridge; info on dinner
2016-04-15 15:55 UTC
FMCS2016 Third Announcement
2016-04-14 22:39 UTC
postdoc position in semantics and effects
2016-04-14 16:02 UTC
EPSRC Postdoc
2016-04-14 8:32 UTC
position in chambery
2016-04-13 8:35 UTC
Workshop on Categorical Methods in Non-Abelian Algebra: REMINDER
2016-04-11 17:58 UTC
(unknown)
2016-04-11 8:35 UTC
Two positions at the University of Leeds
2016-04-08 11:42 UTC
Fields Workshop "New Directions in Inverse Semigroups"
2016-04-06 23:19 UTC
International Category Theory Conference CT 2016
2016-04-06 17:21 UTC
A construction for polynomials
2016-04-06 7:04 UTC (2+ messages)
A construction for polynomials
2016-04-05 16:58 UTC
A construction for polynomials
2016-04-05 3:59 UTC
Update on scanned notes of Mac Lane at Bowdoin 1969
2016-03-31 16:10 UTC
Offering scanned notes of Mac Lane at Bowdoin 1969
2016-03-31 6:23 UTC
Oregon Programming Languages Summer School 2016
2016-03-30 21:21 UTC
PhD positions, application deadline May 1, 2016=
2016-03-29 20:44 UTC
PhD positions, application deadline May 1, 2016
2016-03-29 11:00 UTC
Categories Logic And Physics Scotland
2016-03-29 10:27 UTC
ICMS 2016
2016-03-24 12:37 UTC
ICMS 2016
2016-03-24 12:37 UTC
Topological *-autonomous categories,revisited
2016-03-18 19:07 UTC
Ronnie Brown's web site url change
2016-03-13 11:27 UTC
Ronnie Brown's web site url change
2016-03-13 11:27 UTC
Ackermann Award 2016
2016-03-12 20:56 UTC
CSL 2016 - 2nd call for papers
2016-03-11 15:59 UTC
Workshop on Categorical Methods in Non-Abelian Algebra
2016-03-10 21:06 UTC
Call for contributions PCC'16 - Proof, Computation and Complexity, May 5-6, 2016, in Munich
2016-03-10 16:43 UTC
CMCS 2016: Last Call for Participation (with Programme)
2016-03-10 14:59 UTC
StefFest Turin May 2016
2016-03-10 10:59 UTC
PSSL 100 in Cambridge: Registration open
2016-03-08 12:06 UTC
FMCS2016 Second Announcement
2016-03-08 7:22 UTC
QPL 2016: Final call for papers
2016-03-07 9:43 UTC
International Workshop "Mathematics for Computation" (M4C)
2016-03-04 14:37 UTC
postdoctoral positions in Brussels
2016-03-04 14:04 UTC
AARMS Summer School Reminder - Urgent message regarding housing for the preparatory week
2016-03-02 18:38 UTC
Visiting PhD Student
2016-03-01 17:45 UTC
SIC à Lille le 23 mars 2016 (deuxième annonce)
2016-02-29 19:36 UTC
Call for Participation: MSFP 2016
2016-02-26 9:42 UTC
Midlands Graduate School in Foundations of Computing Science
2016-02-25 4:28 UTC (2+ messages)
` Call for participation: Games for Logic and Programming Languages XI
Call for participation: Games for Logic and Programming Languages XI
2016-02-25 4:28 UTC
local presentability in formal category theory
2016-02-22 23:27 UTC
Last Call for Workshop Proposals at FM2016 (21st Intl. Symposium on Formal Methods); 07.-11. Nov. 2016, Limassol, Cyprus)
2016-02-22 15:49 UTC
on_MV-algebras
2016-02-19 22:20 UTC
CMCS 2016: Call for Short Contributions and Participation
2016-02-14 18:44 UTC
Postdocs at Tulane
2016-02-12 15:54 UTC
Inaugural Program at MATRIX - Higher structures in geometry and physics
2016-02-12 5:28 UTC
ETAPS 2016 call for participation
2016-02-11 16:30 UTC
Call for abstracts for the NASSLLI workshop on Statistical and Logical Mode= ls of Meaning (SaLMoM)
2016-02-10 20:16 UTC
PhD positions from October 2016 at the University of Bath
2016-02-08 7:58 UTC
Workshop on Homotopy Type Theory and Univalent Foundations, Fields Institute, May 16-20, 2016
2016-02-07 14:34 UTC
YaMCATS 6 University of Leeds 22 February 2016
2016-02-05 17:34 UTC
Post-doc and PhD position in Coalgebra for Data and Games @ the MSP group, Univ. Strathclyde (Glasgow)
2016-02-05 15:27 UTC
2nd CfP: Workshop on Semantic Spaces at the Intersection of NLP, Physics and Cognitive Science
2016-02-05 12:00 UTC
Categories in real world applications
2016-02-03 9:49 UTC (5+ messages)
FMCS2016 Vancouver, Canada. First Announcement
2016-02-01 7:57 UTC
Funded Doctoral Positions in Computer Science in Austria (LogiCS)
2016-01-29 10:34 UTC
Extended deadline: GaLoP 2016
2016-01-26 23:53 UTC
AARMS Summer School Announcement
2016-01-23 15:55 UTC
Call for Nominations: The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation
2016-01-22 22:45 UTC
Call for papers: CSL 2016
2016-01-22 17:54 UTC
Prof Lawvere recent paper
2016-01-22 14:28 UTC
FSCD'16 Final Call for Papers
2016-01-22 5:21 UTC
PSSL99, aka Jirkafest, 2.1st announcement and correction
2016-01-19 21:30 UTC
Formalizing topos-theoretic arguments in Lean
2016-01-19 3:36 UTC (2+ messages)
two categories of interest
2016-01-19 2:51 UTC (2+ messages)
CT2016 First Announcement
2016-01-18 19:03 UTC
Fields workshop announcement
2016-01-18 14:09 UTC
PSSL 99, a.k.a. Jirkafest, 2nd announcement
2016-01-18 13:37 UTC
Preprint: Adjoints for multiple categories
2016-01-18 13:30 UTC
CSL 2016 - 1st CFP
2016-01-16 20:30 UTC
Logic Colloquium 2016
2016-01-15 14:28 UTC
PSSL 100, 21-22 May 2016
2016-01-14 12:36 UTC
MSFP 2016: Final Call for Papers
2016-01-12 11:28 UTC
The PROP for commutative monoids
2016-01-09 13:34 UTC
GaM 2016: Second/Final Call for Papers
2016-01-09 9:59 UTC
GaM 2016: Second/Final Call for Papers
2016-01-09 9:59 UTC
Postdocs at Tulane on Semantics of Quantum Programming Languages
2016-01-06 23:02 UTC
The PROP for commutative monoids
2016-01-04 23:13 UTC
V2CPS: Workshop on Verification and Validation of Cyber-Physical Systems
2016-01-04 16:33 UTC
postdoctoral positions at U. Western Ontario
2016-01-03 3:24 UTC
Call for Nominations: The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation
2016-01-01 15:51 UTC
a paper announcement
2015-12-31 11:05 UTC
Review of the book: Mathematics Without Apologies, NY Review
2015-12-30 12:49 UTC
CMCS 2016 : Last Call for Papers
2015-12-20 18:40 UTC
PSSL 100
2015-12-20 15:33 UTC
Indiscrete objects in a functor category
2015-12-20 15:25 UTC (3+ messages)
CFP for Workshop on Semantic Spaces at the Intersection of NLP, Physics and Cognitive Science
2015-12-18 12:15 UTC
CFP for Workshop on Semantic Spaces at the Intersection of NLP, Physics and Cognitive Science
2015-12-18 12:15 UTC
Rolland's MSc thesis
2015-12-17 20:19 UTC
Reminder: 98th PSSL, January 8--10, Doorn, the Netherlands
2015-12-13 20:57 UTC
QPL 2016: Call for papers
2015-12-12 13:06 UTC
2016 Heidelberg Laureates Forum
2015-12-09 15:16 UTC
FESCA 2016 - Deadlines extension
2015-12-09 9:08 UTC
MSFP 2016: Call for Papers
2015-12-08 13:24 UTC
WRLA 2016: 2nd Call for Papers (including invited speakers)
2015-12-08 8:48 UTC
Postdoctoral positions in Sydney
2015-12-08 1:58 UTC
DICE 2016: Call for contributions
2015-12-07 21:50 UTC
3rd CFP iFM 2016 (integrated Formal Methods), 1 - 3 June 2016, Reykjavik
2015-12-07 17:01 UTC
Postdoc position at the University of Ljubljana
2015-12-07 16:39 UTC
Variable sets
2015-12-07 13:37 UTC
research positions
2015-12-06 8:34 UTC
Globular
2015-12-05 23:47 UTC
Reminder - Thematic trimester CIPPMI “Current Issues in the Philosophy of Practice of Mathematics & Informatics”, Toulouse, 4th April - 1st July 2016
2015-12-03 17:17 UTC
Midlands Graduate School Christmas Seminar
2015-11-30 17:53 UTC
YaMCATS 5 University of Sheffield 11 Dec 2015
2015-11-28 3:14 UTC
PSSL 99, Jirkafest, first announcement
2015-11-27 12:58 UTC
[Coq-Club] 2016-2017 at the IAS
2015-11-25 13:41 UTC
page: next (older) | prev (newer) | latest
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).