Call for Participation, First Symposium on Compositional Structures (SYCO 1)
2018-09-03 10:50 UTC
a copy of Bunge's "Categories of set-valued functors"
2018-08-29 1:02 UTC (2+ messages)
CARI/ICTAC Spring School and ICTAC 2018 conference, call for participation
2018-08-28 17:16 UTC
ICTCS 2018 @ Urbino - second call for participation
2018-08-27 10:11 UTC (2+ messages)
` RTIS 2018
Assistant Professor Position at Millikin University
2018-08-26 13:20 UTC
London conference
2018-08-25 21:18 UTC
Special Session on Structured Homotopy Theory Oct 20-21 in Ann Arbor
2018-08-25 15:54 UTC
category of finite sets and functions / injections
2018-08-14 2:13 UTC
category of finite sets and functions / injections
2018-08-14 0:54 UTC (2+ messages)
MSC2020, Section 18
2018-08-09 17:04 UTC (2+ messages)
MSC2020, Section 18
2018-08-02 20:06 UTC
Utrecht Topology Feest 2018: second announcement
2018-08-01 13:34 UTC
Two PhD Positions in Program Verification
2018-07-25 8:31 UTC
Octoberfest 2018 preliminary annoucement
2018-07-24 17:10 UTC
ICTCS 2018 @ Urbino - first call for participation
2018-07-22 18:12 UTC
PhD Position on ICT in Trento on "Quantum Annealing for SAT Solving"
2018-07-20 13:33 UTC
Vol 9 of CGASA
2018-07-19 20:43 UTC
Volume LIX-3 of the "Cahiers"
2018-07-19 9:33 UTC
announcement - Aspects of higher representation theory: quantum groups and categorification - Brussels, January 21-25 2019
2018-07-19 6:39 UTC
Sheaf terminology question
2018-07-18 8:56 UTC (2+ messages)
Two vacancies at Stellenbosch University
2018-07-17 22:06 UTC
Sheaf terminology question
2018-07-17 8:48 UTC
Reminder: Workshop on Algebra, Logic and Topology
2018-07-16 16:50 UTC
"Sketches for arithmetic universes" (list arithmetic pretoposes)
2018-07-12 17:36 UTC
International School on Rewriting, Paris, July 2019: Call for Lecture Proposals
2018-07-12 9:26 UTC
Announcement and Call for Papers: First Symposium on Compositional Structures (SYCO 1)
2018-07-04 9:18 UTC
104th PSSL -- first announcement
2018-06-29 13:00 UTC
CFP: International Workshop on Text Analytics and Retrieval (TexAR-2018) @ WI 2018
2018-06-28 16:11 UTC
[DEADLINE EXTENSION] Workshop on Compositional Approaches in Physics, NLP, and Social Sciences
2018-06-28 15:44 UTC
CSL 2018 - Call for Participation
2018-06-27 12:16 UTC
CT2018 - programme now available
2018-06-26 14:58 UTC
FLoC 2018 - Last Joint Call for Workshop Participation
2018-06-22 9:25 UTC
5MoF 2018 (January/February)
2018-06-22 2:37 UTC
Open Positions in Tokyo: Formal Methods, Learning and Cyber-Physical Systems
2018-06-20 12:46 UTC
Open Positions in Tokyo: Formal Methods, Learning and Cyber-Physical Systems
2018-06-20 12:46 UTC
Announcement about Rudolf Fritsch
2018-06-20 12:27 UTC
change of base and co/limit preservation
2018-06-17 4:31 UTC
Point-free affine real line?
2018-06-11 19:01 UTC (3+ messages)
CYBER PHYSICAL PRODUCTION SYSTEMS: THEORY AND PRACTICES (CPPS-2018)
2018-06-11 9:56 UTC
Homotopy of singular simplicial set
2018-06-10 3:14 UTC
how should I implement production of Category ?
2018-06-07 11:04 UTC
Point-free affine real line?
2018-06-05 10:55 UTC (6+ messages)
Mathematically Structured Functional Programming 2018: Call for Participation
2018-06-04 13:14 UTC
** Call for participation ** HOR 18 - 9th Workshop on Higher Order Rewriting, Oxford, 7 July, 2018
2018-06-04 0:21 UTC
Vera Trnkova
2018-06-03 21:33 UTC
Point-free affine real line?
2018-06-01 1:45 UTC
Vera Trnkova
2018-05-31 8:42 UTC
YaMCATS 15 University of Leicester 11 June 2018
2018-05-29 15:52 UTC
20 years of deep inference, call for participation
2018-05-29 10:21 UTC
CGASA dedicates a volume to Prof Gratzer
2018-05-28 8:21 UTC
YaMCATS 15 University of Leicester 18 June 2018
2018-05-26 22:05 UTC
copowers/weighted colimits in (V-Cat)-Cat
2018-05-18 7:56 UTC
postdoc at Macquarie
2018-05-16 8:01 UTC
"Toposes in Como" - second announcement
2018-05-15 21:48 UTC
CT 2018 - deadlines
2018-05-15 16:27 UTC
QPL 2018 call for participation - registration deadline
2018-05-13 3:01 UTC
计算鸡在 [ALGTOP-L] International Workshop on Algebraic Topology, June 6-9, 2018
2018-05-10 11:37 UTC
Workshop on Accessible categories and their connections
2018-05-10 5:50 UTC
CFP: Workshop on Compositional Approaches in Physics, NLP, and Social Sciences
2018-05-08 9:48 UTC
Announcing Compositionality
2018-05-06 13:58 UTC
ICTCS 2018 @ Urbino - second call for papers
2018-05-05 15:19 UTC (2+ messages)
` ICTCS 2018 @ Urbino - last "
ICTAC 2018 final call for papers
2018-04-30 1:57 UTC
Categories used to describe molecules
2018-04-29 14:57 UTC (3+ messages)
FMCS 2018 Second Announcement
2018-04-25 12:28 UTC
V. Voevodsky's Univalence Axiom and isomorphic equivalence classes
2018-04-24 17:14 UTC
QPL 2018 and MFPS 2018 accommodations - book today!
2018-04-23 19:47 UTC
Midwest HoTT Seminar, May 26-27, 2018, University of Western Ontario
2018-04-22 13:58 UTC
Applied Category Theory at NIST
2018-04-20 15:47 UTC
HOR 18: ** deadline extension to 22 April ** call for submissions
2018-04-16 15:01 UTC
iFM 2018 Call For Papers
2018-04-16 9:07 UTC
DCM'18: Deadline extension (22 April) - EPTCS proceedings after the workshop
2018-04-16 0:20 UTC
Note on The 60th birthday of toposes, April 21
2018-04-14 12:01 UTC
*** Second Announcement *** CatAlg - 4th Workshop in Categorical Algebra
2018-04-11 15:00 UTC
FLoC 2018 - Last Joint Call for Workshop Papers
2018-04-11 6:08 UTC
Small error in the address of a Cahiers site
2018-04-09 15:24 UTC
iFM 2081 Call For Papers
2018-04-09 10:26 UTC (2+ messages)
` [] ICADIWT 2018
Volume LIX-2 of the "Cahiers"
2018-04-08 13:32 UTC
DCM'18: Deadline extension (15 April)
2018-04-08 12:05 UTC
FLoC 2018 Volunteer Programme Announcement
2018-04-07 21:28 UTC
QPL 2018 call for participation
2018-04-05 14:02 UTC
"Higher Structures in M-Theory"
2018-04-04 16:40 UTC
MFPS 2018 abstracts/papers
2018-04-02 20:22 UTC
MFPS 2018 abstracts/papers
2018-04-02 20:22 UTC
First Announcement "Utrecht Topology Feest 2018" August 27-31
2018-03-30 17:56 UTC
Workshop on Algebra, Logic and Topology
2018-03-28 14:22 UTC
DCM'18 Final Call-for-papers (deadline 8 April 2018)
2018-03-26 14:24 UTC
QPL submission deadline approaching
2018-03-25 13:35 UTC
MFPS 2018 final call for papers
2018-03-23 12:03 UTC
MFPS 2018 final call for papers
2018-03-23 12:03 UTC
10 Y ZX blast!
2018-03-23 11:40 UTC
PhD studentship on Automated Black-box Verification of Networking Systems at University College London
2018-03-22 8:57 UTC
Ackermann Award 2018
2018-03-21 17:29 UTC
cocategory object in Bicat
2018-03-21 6:59 UTC
YaMCATS 14 University of Sheffield 21 March 2018
2018-03-17 10:07 UTC
FoPPS Logic and Learning School (Oxford, July 1-6)
2018-03-17 0:01 UTC
Domains XIII Call for Papers
2018-03-13 23:19 UTC
CT 2018: reminder
2018-03-13 11:19 UTC
A book
2018-03-10 16:19 UTC
Retracts of contractible simplicial sets
2018-03-10 1:28 UTC
[isabelle] New AFP entry: Monoidal Categories
2018-03-09 12:37 UTC
OctoberFest 2018
2018-03-08 22:43 UTC
Logic Colloquium 2018 (LC18): 2nd call for contributions
2018-03-07 7:13 UTC
PSSL 103: final announcement
2018-03-05 13:38 UTC
Summer School in Algebra and Topology
2018-03-02 19:32 UTC
PhD-positions in mathematics at Stockholm University
2018-03-02 17:14 UTC
Mathematically Structured Functional Programming 2018: Call for Papers
2018-03-02 12:35 UTC
A short question about the set-based definition of categories
2018-03-01 14:07 UTC (3+ messages)
Conference: Topology in Australia and South Korea, March 15 registration deadline
2018-03-01 8:58 UTC
DCM'18 Third Call for Papers
2018-02-27 19:21 UTC
ICTCS 2018 @ Urbino - call for papers
2018-02-27 18:41 UTC
Equivalence of categories
2018-02-26 12:47 UTC
suggestions for the 2020 MSC classifications
2018-02-26 1:25 UTC (3+ messages)
Equivalence of categories
2018-02-25 18:59 UTC
Archive missing?
2018-02-25 1:08 UTC
Archive missing?
2018-02-24 19:57 UTC (2+ messages)
Announcement of publication
2018-02-23 21:57 UTC
TAC welcomes new editors / thanks retiring editors
2018-02-22 13:29 UTC
"Toposes in Como" - first announcement
2018-02-21 14:16 UTC
iFM 2018 Call for Papers
2018-02-20 20:57 UTC
Logic for Children (workshop) - updates and resources
2018-02-17 23:18 UTC
CMCS 2018: Call for Short Contributions
2018-02-17 13:05 UTC
FLoC 2018 - Joint Call for Workshop Papers
2018-02-16 16:31 UTC
MacGillavry Fellowship
2018-02-16 16:07 UTC
Fwd: JOB: Associate Professor in Computer Science - Oxford University - with tutorial fellowship at Keble College
2018-02-16 11:36 UTC
Chocolate Medal - partial draft translation of SGA4
2018-02-15 13:04 UTC
Topos theory for spaces of connected components
2018-02-14 19:06 UTC (12+ messages)
` Reflection to 0-dimensional locales
A la recherche de N
2018-02-13 13:23 UTC
Internal diagrams
2018-02-13 11:15 UTC
University of Edinburgh Chancellor's Fellowships
2018-02-13 10:29 UTC
"Derived and Higher Structures in Geometry and Physics" at Fields Institute
2018-02-12 15:41 UTC
Internal diagrams
2018-02-11 14:08 UTC
Topos theory for spaces of connected components
2018-02-08 0:34 UTC
Homotopy Type Theory Electronic Seminar Talks
2018-02-07 14:33 UTC
Martin Hofmann found dead on Japanese mountain
2018-02-07 0:45 UTC (2+ messages)
Topos theory for spaces of connected components
2018-02-06 12:37 UTC (3+ messages)
Topos theory for spaces of connected components
2018-02-05 18:07 UTC
Call for papers: QPL 2018
2018-02-03 13:58 UTC
PSSL 103: second announcement
2018-01-30 19:46 UTC
CT2018 - Second announcement
2018-01-30 15:12 UTC
computer science positions Utrecht
2018-01-29 14:43 UTC
FORMATS 2018 **First Call for Papers**
2018-01-29 13:42 UTC
New paper: Formulating categorical concepts with classes
2018-01-26 15:04 UTC
Postdoctoral Fellow in Mathematical Logic, Stockholm University
2018-01-25 19:49 UTC
CATALG2018 - First Announcement
2018-01-25 14:30 UTC
Conference: Topology in Australia and South Korea, Feb 10 deadline for contributed talks
2018-01-25 5:50 UTC
MFPS 2018 first call for papers
2018-01-24 7:30 UTC
FreeTikZ
2018-01-24 1:55 UTC
CVQT 2018: Financial support available, call for participation
2018-01-23 13:35 UTC
CVQT 2018: Financial support available, call for participation
2018-01-22 22:42 UTC
Names for these (di)natural transformations?
2018-01-22 2:27 UTC
Products of epimorphisms
2018-01-20 13:49 UTC (3+ messages)
The 2018 Alonzo Church Award: Call for Nominations
2018-01-20 11:48 UTC
does countable choice survive booleanization?
2018-01-19 14:36 UTC (2+ messages)
Functor fibrations and Cartesian closure of general presheaves
2018-01-19 0:30 UTC (2+ messages)
Real sets
2018-01-17 1:16 UTC (2+ messages)
FMCS 2018 First Announcement
2018-01-15 19:57 UTC
New open source issue LIX-1 of the "Cahiers"
2018-01-14 15:52 UTC
Special Issue of Tbilisi Mathematical Journal in honor of Peter Freyd and Bill Lawvere
2018-01-12 20:45 UTC
fully funded graduate positions in Math at UWO
2018-01-10 1:48 UTC
fully funded graduate positions in Math at UWO
2018-01-10 1:48 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).