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
SIGPLAN John C Reynolds Doctoral Dissertation Award
2015-11-22 12:02 UTC
Unexampled richness
2015-11-22 0:56 UTC
2 is an unexampled even prime
2015-11-21 2:02 UTC (2+ messages)
a question
2015-11-19 13:09 UTC
Springer violates copyright!
2015-11-18 22:18 UTC
a question
2015-11-18 13:51 UTC
98th PSSL -- first announcement
2015-11-18 12:47 UTC
Fwd: Cheng/Colbert transcript
2015-11-15 17:30 UTC
PhD Positions, UC|UP Joint PhD Program in Mathematics, Portugal
2015-11-14 22:45 UTC
Jim Holt on categories
2015-11-13 22:12 UTC
See the Colbert interview of Cheng
2015-11-13 22:00 UTC
fully funded graduate positions in Math at UWO
2015-11-13 18:51 UTC
LICS 2016 - Call for Workshop Proposals
2015-11-11 15:21 UTC
LICS 2016 - Call for Workshop Proposals
2015-11-11 15:21 UTC
Workshop on Categorical Logic, Dec 3–4, Stockholm
2015-11-07 15:41 UTC
PhDs in Logic VIII, Darmstadt May 9-11, 2016
2015-11-04 13:51 UTC
WHOOPS: CORRECTION!
2015-11-03 20:26 UTC
Eugenia Cheng on the Late Show!
2015-11-03 14:26 UTC
Call for CAV Workshop Proposals: July 17-18, 2016 Toronto, Canada
2015-11-02 11:35 UTC
WRLA 2016: 1st Call for Papers
2015-10-28 15:49 UTC
not(CH) and cardinal inequality in the absence of LEM
2015-10-28 11:25 UTC
not(CH) and cardinal inequality in the absence of LEM
2015-10-28 7:40 UTC
CfP: COORDINATION 2016
2015-10-22 9:26 UTC
Workshop on Homotopy Type Theory and Univalent Foundations, Fields Institute, May 16-20, 2016
2015-10-18 14:39 UTC
CMCS 2016 : Second Call for Papers
2015-10-15 18:33 UTC
terminology of (co)algebras
2015-10-09 18:06 UTC (2+ messages)
IWIL-11 in Fiji, extended deadline
2015-10-06 14:21 UTC
Decision-making and Category theory
2015-10-06 10:13 UTC (2+ messages)
Announcement conference Stef Caenepeel 60
2015-10-01 14:35 UTC
Faculty position in PL/verification/theorem-proving at Cambridge
2015-10-01 14:17 UTC
Octoberfest Second Announcement
2015-10-01 14:04 UTC
type theory postdoc at Dalhousie University
2015-10-01 1:20 UTC
Intuitionistic Logic for Children, or: Planar Heyting Algebras for Children
2015-09-30 1:08 UTC
Postdoc position at the ILLC
2015-09-29 17:31 UTC
"Topos a l'IHES" - second announcement
2015-09-28 17:45 UTC
ETAPS 2016 final call for papers
2015-09-28 10:03 UTC
Latest version of diagxy
2015-09-27 16:55 UTC
Spelling of "equaliser"
2015-09-26 23:29 UTC
CFP iFM 2016 (integrated Formal Methods), 1 - 3 June 2016, Reykjavik
2015-09-23 9:39 UTC
Computability and Complexity of Categorical Structures
2015-09-22 9:32 UTC (5+ messages)
CMCS 2016 : First Call for Papers
2015-09-18 14:10 UTC
Eugenia Cheng in the (U of C) news
2015-09-04 13:07 UTC
ETAPS 2016 2nd call for papers
2015-09-03 6:33 UTC
2nd CALL FOR PARTICIPATION (RAMiCS 2015)
2015-09-02 18:40 UTC
Octoberfest Second Announcement
2015-09-02 2:33 UTC
A tribute to Rainer Vogt
2015-09-01 7:08 UTC
Chen review
2015-09-01 1:46 UTC (2+ messages)
coherence for symmetric monoidal and (co)affine categories
2015-08-24 3:11 UTC (3+ messages)
categories of models of cartesian PROPs
2015-08-23 14:09 UTC (6+ messages)
categories of models of cartesian PROPs
2015-08-19 19:31 UTC
ETAPS 2016 call for papers
2015-08-17 13:39 UTC
WS-FM/BEAT and FOCLASA join Call for Participation
2015-08-14 18:27 UTC
HSCC 2016: Call for Papers
2015-08-13 6:54 UTC
Current Issues in the Philosophy of Practice of Mathematics & Informatics
2015-08-11 12:20 UTC (4+ messages)
Current Issues in the Philosophy of Practice of Mathematics & Informatics
2015-08-09 2:10 UTC
Current Issues in the Philosophy of Practice of Mathematics & Informatics
2015-08-04 15:45 UTC (10+ messages)
Jobs at the University of Leeds
2015-08-04 13:46 UTC
Current Issues in the Philosophy and Practice of Mathematics & Informatics
2015-07-30 15:28 UTC
CT2015 slides and pictures
2015-07-28 16:07 UTC
'Dérivateurs à Barcelone' final announcement
2015-07-23 17:09 UTC
CALL FOR PARTICIPATION (RAMiCS 2015)
2015-07-23 14:03 UTC
Correction: Steve's legacy
2015-07-22 2:29 UTC
The Legacy of Steve Schanuel!
2015-07-21 15:38 UTC
PhD Position in Verified Voting at ANU
2015-07-20 7:38 UTC
Octoberfest
2015-07-19 20:44 UTC
Workshop in Category Theory and Algebraic Topology
2015-07-14 7:59 UTC
postdoc in Seville
2015-07-06 14:03 UTC
Spivak's MIT Press Categories book: brief review
2015-07-03 2:20 UTC
Categories with hyperedges?
2015-06-30 20:27 UTC (2+ messages)
Math ML in recent headlines
2015-06-29 0:46 UTC (2+ messages)
Final call for papers: SR 2015, Oxford, Sept 21-22, UK
2015-06-26 9:23 UTC
Updated URL
2015-06-26 1:28 UTC
Annivsrsary of Jim Lambek's death
2015-06-23 16:45 UTC
"Topos à l'IHES" - first announcement
2015-06-20 1:24 UTC
Another great Cheng review: NYTimes
2015-06-13 18:30 UTC
positions
2015-06-11 12:30 UTC
On the issue of Replacement
2015-06-11 2:44 UTC
On the issue of Replacement
2015-06-09 6:13 UTC
FINAL CALL FOR PhD/MSc Contributions (RAMiCS 2015)
2015-06-08 18:54 UTC
FICS'15: 2nd call for papers - Fixed Points in Computer Science (CSL'15 workshop 11+12 sept. 2015)
2015-06-08 13:53 UTC
On "Degrees of Truth" (PDF on the web)
2015-06-07 21:11 UTC
CT2015: Information before arrival
2015-06-07 11:59 UTC
2-cells in bicategories as bivectors
2015-06-07 2:01 UTC
YaMCATS 4 University of Leicester 22 June 2015
2015-06-05 13:41 UTC
worth looking at
2015-06-04 14:11 UTC
QPL 2015: Call for participation
2015-06-02 14:25 UTC
3 tensors in a 2-category ?
2015-05-31 15:18 UTC
British Logic Colloquium 2015
2015-05-29 10:55 UTC
New Doctoral Program on Logical Methods in Computer Science (LogiCS)
2015-05-29 9:48 UTC
John Nash (†)
2015-05-26 2:45 UTC
'Dérivateurs à Barcelone' 2nd announcement
2015-05-25 10:55 UTC
ICALP/LICS 2015: Call for Participation
2015-05-22 8:22 UTC
MFPS XXXI/CALCO 2015 : Call for Participation
2015-05-19 13:14 UTC
FMCS 2015 - Final Announcement
2015-05-13 20:56 UTC
CiE 2015 in Bucharest - Call for Participation
2015-05-11 18:00 UTC
'Dérivateurs à Barcelone’ conference announcement
2015-05-08 12:24 UTC
PhD position available
2015-05-08 7:16 UTC
Are Joyal--Tierney fibrations exponentiable?
2015-05-02 19:32 UTC (3+ messages)
TYPES 2015 call for participation
2015-05-01 20:57 UTC
FICS'15 Call for papers - Fixed Points in Computer Science (CSL'15 workshop 11+12 sept. 2015)
2015-04-30 14:13 UTC
CT 2015 Special Lecture
2015-04-28 16:57 UTC
Philip J Higgins
2015-04-23 2:14 UTC (3+ messages)
Associate Professorship in Data Science at Oxford (Continuing Education)
2015-04-22 12:50 UTC
ALCOP 2015 -- Call for participation
2015-04-20 6:04 UTC
Postdoctoral fellowship at Dalhousie with 50% outreach, 50% research
2015-04-19 19:46 UTC
New trends in Hopf algebras and tensor categories
2015-04-18 15:45 UTC
YaMCATS 3 University of Leeds 7 May 2015
2015-04-17 14:35 UTC
A preprint on locally presentable categories available
2015-04-17 12:24 UTC
The European Master's Program in Computational Logic: Application until 31 May 2015
2015-04-17 7:45 UTC
Conference on Homotopy in Concurrency and Rewriting
2015-04-16 15:27 UTC
CatAlg2015 - 3rd Workshop in Categorical Algebra *** Second Announcement ***
2015-04-16 10:49 UTC
2nd CALL FOR PhD/MSc Contributions (RAMiCS 2015)
2015-04-15 18:02 UTC
3 PostDoc research positions in Coimbra
2015-04-13 12:17 UTC
Lectureship in Pure Mathematics at the University of Leeds
2015-04-13 9:43 UTC
QPL 2015: Last call for papers
2015-04-09 15:03 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).