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
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
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).