Leicester
2021-06-11 13:04 UTC (2+ messages)
PhD positions at Leicester, UK
2021-06-11 9:30 UTC (6+ messages)
Next webinar of ItaCa Fest 2021
2021-06-10 14:24 UTC
Workshop on “Higher structures and operadic calculus” (hybrid format, CRM (Barcelona), June 21 -25, 2021)
2021-06-10 6:26 UTC
[LICS] LICS 2021 Call for Participation
2021-06-10 5:20 UTC
PhD positions at Leicester, UK
2021-06-07 8:42 UTC
CGASA
2021-06-07 7:31 UTC
category theory and actuarial science
2021-06-05 9:33 UTC
TYPES 2021: Call for Participation
2021-06-04 19:27 UTC
MFPS 2021: Deadline Extension and Invited Speakers
2021-06-03 17:23 UTC
Two PhD positions and Two Postdoc positions in Logic (Groningen, Netherlands), deadline: 15 June 2021
2021-06-03 15:03 UTC
Call for Tutorial, Panel, and Discussion Proposals: ICFP 2021
2021-06-02 19:11 UTC
FW: Invitation: GReTA online seminar, June 4 at 15:00 CET
2021-06-02 9:06 UTC
CSL 2022 - call for papers
2021-06-02 6:49 UTC
Logic and Interactions 2022 (Marseille, France) -- Early announcement
2021-06-01 7:49 UTC
Categories and Companions Symposium 2021 — Final announcement
2021-05-31 4:19 UTC
CALCO 2021: Deadline extension and invited speakers
2021-05-29 14:31 UTC
PhD position at the University of Amsterdam
2021-05-28 9:41 UTC
PhD position in HoTT/UF at TU Delft
2021-05-26 18:46 UTC
PhD position on the formalization of logical calculi in Saarbrücken
2021-05-26 13:13 UTC
PhD position on the formalization of logical calculi in Saarbrücken
2021-05-26 13:13 UTC
[Deadlines in 1 month] CFP: 15th European Conference on Software Architecture (ECSA 2021)
2021-05-25 19:35 UTC
One-day conference "Advances in Hopf Algebroids"
2021-05-24 6:17 UTC
ICALP 2021 Call for Student Volunteers
2021-05-21 12:29 UTC
Next ItaCa seminar
2021-05-17 7:06 UTC
ICALP 2021 Call for Participation
2021-05-14 11:02 UTC
Seminar talk on Mathematical Structures in Dependent Type Theory
2021-05-12 16:53 UTC
Seminar talk on Mathematical Structures in Dependent Type Theory
2021-05-12 16:53 UTC
RAMiCS 2021 - Deadline Extension
2021-05-12 14:57 UTC
FMCS 2021 and BIRS workshop
2021-05-11 18:32 UTC
"Toposes online" - first announcement
2021-05-09 20:27 UTC
CALCO 2021: Second call for papers
2021-05-08 20:07 UTC
** DEADLINE EXTENSION ** FINAL CALL FOR PAPERS -- APPLIED CATEGORY THEORY 2021, CAMBRIDGE UK, JULY 12-16 -- HYBRID CONFERENCE
2021-05-08 19:34 UTC
** DEADLINE EXTENSION ** FINAL CALL FOR PAPERS -- APPLIED CATEGORY THEORY 2021, CAMBRIDGE UK, JULY 12-16 -- HYBRID CONFERENCE
2021-05-08 19:34 UTC
2nd Call for Contributions: (Virtual) Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'21) on July 17-18, 2021
2021-05-03 12:12 UTC
2nd Call for Contributions: (Virtual) Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'21) on July 17-18, 2021
2021-05-03 12:12 UTC
Time correction for Bohemian L&P Café: Michael Shulman, May 4
2021-04-30 14:28 UTC
Bohemian L&P Café: Michael Shulman, May 4
2021-04-29 2:23 UTC
PPDP 2021 Second Call for Papers
2021-04-28 20:47 UTC
PhD Student Opportunity in the Granule Project
2021-04-28 15:03 UTC
A seminar talk on Logical Relations As Types
2021-04-27 20:43 UTC
A seminar talk on Logical Relations As Types
2021-04-27 20:43 UTC
FW: Invitation: GReTA Special Event, featuring Stephen Wolfram, April 28 at 18:00 CET
2021-04-26 11:15 UTC
Second Announcement: Em-Cats Virtual Seminar
2021-04-23 3:42 UTC
Interdisciplinary Conference on Foundations of Mathematics, Mathematical Cognition and Fundamental Science
2021-04-22 22:24 UTC
Seminar Talk on Higher-Order Crypto
2021-04-22 16:57 UTC
Seminar Talk on Higher-Order Crypto
2021-04-22 16:57 UTC
YaMCATS 24 - April 29th, 2021
2021-04-21 16:28 UTC
Categories and Companions Symposium 2021 — Second announcement and call for talks from research students
2021-04-21 4:28 UTC
RAMiCS 2021 - Third CFP
2021-04-20 18:51 UTC
CT20->21 SECOND ANNOUNCEMENT
2021-04-20 16:25 UTC
Call for Contributions: Structure meets Power Workshop 2021
2021-04-20 12:46 UTC
Call for papers: Compositional Robotics Workshop
2021-04-20 12:39 UTC
ITRS 21 - Final CfP
2021-04-20 8:00 UTC
ITRS 21 - Final CfP
2021-04-20 8:00 UTC
Grothendieck's strange fact
2021-04-20 5:40 UTC
FW: Invitation: GReTA online seminar, April 23 at 15:00 CET
2021-04-19 7:43 UTC
Website collecting Grothendieck's works, and translation/transcription projects
2021-04-17 3:35 UTC
TYPES 2021: Call for Contributions (speakers and deadline extension)
2021-04-16 15:49 UTC
SECOND CALL FOR PAPERS -- APPLIED CATEGORY THEORY 2021, CAMBRIDGE UK, JULY 12-16 -- HYBRID CONFERENCE
2021-04-16 11:41 UTC
SECOND CALL FOR PAPERS -- APPLIED CATEGORY THEORY 2021, CAMBRIDGE UK, JULY 12-16 -- HYBRID CONFERENCE
2021-04-16 11:41 UTC
Michael Boardman
2021-04-15 19:30 UTC
Seminar Talk on the Quantitative Tauberian theorems
2021-04-14 18:34 UTC
ItaCa Fest - first
2021-04-14 10:04 UTC
Volume LXII-2 of the "Cahiers de Top. et Géo. Dif. Categ."
2021-04-09 10:20 UTC
ITRS 21 CfP (Extended Deadline)
2021-04-09 9:31 UTC
ITRS 21 CfP (Extended Deadline)
2021-04-09 9:31 UTC
Reminder: 2-year position in HoTT at Stockholm, deadline this Friday
2021-04-05 10:31 UTC
Reminder: 2-year position in HoTT at Stockholm, deadline this Friday
2021-04-05 10:31 UTC
Category Theory and Applications: A textbook for beginners, Second Edition
2021-04-04 19:37 UTC
Categories and Companions Symposium 2021 — First announcement and call for talks from research students
2021-03-31 10:35 UTC
FW: Invitation: GReTA online seminar, April 9 at 15:00 CEST
2021-03-29 19:46 UTC
Call for Nominations: EiC of ACM TOCL journal
2021-03-29 14:48 UTC
Call for Nominations: EiC of ACM TOCL journal
2021-03-29 14:48 UTC
CALCO 2021: First Call for Papers
2021-03-29 9:15 UTC
Seminar talk on Coinductive Equivalences for Higher-order Coeffectful Languages
2021-03-27 17:55 UTC
Seminar talk on Coinductive Equivalences for Higher-order Coeffectful Languages
2021-03-27 17:55 UTC
SemSpace 2021 Final CfP and Deadline extension
2021-03-26 14:26 UTC
SemSpace 2021 Final CfP and Deadline extension
2021-03-26 14:26 UTC
Seminar talk on Extending Homotopy Type Theory with Linear Type Formers
2021-03-25 15:45 UTC
Seminar talk on Extending Homotopy Type Theory with Linear Type Formers
2021-03-25 15:45 UTC
ITRS 21 CfP
2021-03-25 9:15 UTC
ITRS 21 CfP
2021-03-25 9:15 UTC
Faculty positions at Birmingham, UK
2021-03-24 15:03 UTC
Barry Mitchell
2021-03-24 12:54 UTC
Research position at UCL, London
2021-03-23 14:27 UTC
Research position at UCL, London
2021-03-23 14:27 UTC
Barry Mitchell
2021-03-22 22:30 UTC
TYPES 2021: Call for Contributions
2021-03-22 13:48 UTC
2-year researcher position in HoTT, Stockholm University; deadline 9 April
2021-03-22 12:31 UTC
2-year researcher position in HoTT, Stockholm University; deadline 9 April
2021-03-22 12:31 UTC
21st Midlands Graduate School in the Foundations of Computing Science: Final Call for Participation
2021-03-17 11:27 UTC
FW: Invitation: GReTA online seminar, March 26 at 15:00 CET
2021-03-15 10:49 UTC
Em-Cats: Emerging Researchers in Category Theory Virtual Seminar
2021-03-12 21:27 UTC
ItaCa Fest 2021
2021-03-10 10:05 UTC
Poly workshop, March 15–19
2021-03-08 17:01 UTC
FW: Invitation: GReTA online seminar, March 12 at 15:00 CET
2021-03-08 8:25 UTC
New volume of CGASA
2021-03-05 21:39 UTC
Postdoctoral position in Higher Category Theory at Johns Hopkins
2021-03-02 19:53 UTC
CT20->21 First Announcement
2021-03-02 16:50 UTC
CT20->21 First Announcement
2021-03-02 16:50 UTC
Bohemian L&P Café: Jiri Rosicky, March 9
2021-03-02 15:31 UTC
ETAPS 2021 call for participation
2021-03-01 0:16 UTC
Special Volume in honor of Bob Rosebrugh
2021-02-28 16:23 UTC
ITRS 21 CfP
2021-02-25 15:25 UTC
ITRS 21 CfP
2021-02-25 15:25 UTC
Call for Papers: 23rd Workshop on Formal Techniques for J(ust-about-any) Program 2021
2021-02-25 13:18 UTC
RAMiCS 2021 - 2nd CFP
2021-02-24 17:15 UTC
Seminar talk on skew X categories and structural proof theory
2021-02-23 18:45 UTC
Seminar talk on skew X categories and structural proof theory
2021-02-23 18:45 UTC
Call for Contributions: (Virtual) Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'21) on July 17-18, 2021
2021-02-23 16:31 UTC
Call for Contributions: (Virtual) Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'21) on July 17-18, 2021
2021-02-23 16:31 UTC
(unknown)
2021-02-19 15:50 UTC
a book on Manifolds and Local Structures
2021-02-19 15:50 UTC
The Online Category Theory Seminar at Brandon University (BU CatS)
2021-02-17 20:56 UTC
CALL FOR PAPERS -- APPLIED CATEGORY THEORY 2021, CAMBRIDGE UK, JULY 12-16 -- HYBRID CONFERENCE
2021-02-16 13:09 UTC
CALL FOR PAPERS -- APPLIED CATEGORY THEORY 2021, CAMBRIDGE UK, JULY 12-16 -- HYBRID CONFERENCE
2021-02-16 13:09 UTC
QPL 2021: Deadline extension
2021-02-11 19:49 UTC
FSCD 2021: Extended deadline (Abstract: February 16/ Submission: February 22)
2021-02-11 9:06 UTC
21st Midlands Graduate School in the Foundations of Computing Science: Call for Participation
2021-02-09 17:09 UTC
21st Midlands Graduate School in the Foundations of Computing Science: Call for Participation
2021-02-09 17:09 UTC
Volume LXII-1 of the "Cahiers de Top. et Géo. Dif. Categ.""
2021-02-08 18:06 UTC
New York City Category Theory Seminar.... Spring 2021 Lineup
2021-02-07 1:14 UTC
[LICS] LICS 2021 Online and Call for Workshops
2021-02-04 17:19 UTC
CfP for Workshop on Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Science (SemSpace2021)
2021-02-04 14:00 UTC
announcing: March workshop on polynomial functors
2021-02-03 16:01 UTC
Leicester Foundations of Computer Science crisis- petition
2021-02-03 13:54 UTC
List of Women in Category Theory
2021-02-02 21:58 UTC
Postdoc opening in categorical semantics
2021-01-31 22:26 UTC
ETAPS Test of Time Award 2021, call for nominations
2021-01-31 14:54 UTC
YaMCATS category theory seminars on Zoom next Friday, 5 Feb
2021-01-30 12:18 UTC
Leicester Pure Maths crisis- petition
2021-01-29 19:58 UTC
Topos Institute Colloquium series
2021-01-28 16:13 UTC
Seminar talk on the semantics of bisimilarity
2021-01-28 16:13 UTC
FW: Invitation: GReTA online seminar, January 29 at 15:00 CET
2021-01-28 9:02 UTC
Bohemian L&P Café: Michael Makkai, Feb. 2
2021-01-27 17:15 UTC
Postdoctoral position in homotopy type theory at USD
2021-01-27 16:42 UTC
ICALP 2021 Second Call for Workshops
2021-01-26 7:24 UTC
Bohemian L&P Café: Michael Makkai, January 26
2021-01-25 15:33 UTC
Adjoint School 2021 (applications due Jan 29)
2021-01-24 7:29 UTC
CfP - Intersection Types and Related Systems - ITRS2021
2021-01-22 9:28 UTC
"MENS: a categorical model for Emergence and Consciousness" by Andrée Ehresmann
2021-01-22 8:23 UTC (2+ messages)
` categories: "
CFP: 6th Workshop On Monitoring And Testing Of Cyber-physical Systems (MT-CPS 2021)
2021-01-21 1:46 UTC
PhD position in Coalgebraic Logics & Verification, Univ. Strathclyde, Glasgow
2021-01-19 13:29 UTC
Spring School on Homotopy Type Theory (April 12-16 2021, Online)
2021-01-18 9:56 UTC
Second Announcement Bohemian Logical & Philosophical Café
2021-01-17 16:45 UTC
CFP Quantum Physics and Logic (QPL 2021), June 7-11, Gdansk & online
2021-01-14 19:58 UTC
14 Jan 2021 at 5pm CET - Public Vienna World Logic Day Lecture with Georg Gottlob - Knowledge Processing, Logic, and the Future of AI
2021-01-12 21:25 UTC
Associate Professor Position in St.Petersburg
2021-01-12 8:02 UTC
RAMiCS 2021 - CFP
2021-01-09 19:35 UTC
ICALP 2021 Second Call For Papers
2021-01-08 16:09 UTC
Postdoctoral positions at CMUC
2021-01-08 12:06 UTC
UNESCO World Logic Day@UCL: Logical Journeys
2021-01-08 10:07 UTC
UNESCO World Logic Day@UCL: Logical Journeys
2021-01-08 10:07 UTC
FSCD 2021: Second Call for Papers
2021-01-04 17:08 UTC
Reminder: postdoctoral positions at the University of Leeds
2021-01-03 21:25 UTC
Postdoctoral position in HoTT at Johns Hopkins University
2021-01-03 15:37 UTC
Bohemian Logical & Philosophical Café
2020-12-28 22:52 UTC
Categorical Quantum NLP job based at Oxford's new CQC offices
2020-12-19 11:56 UTC
fully funded graduate positions in Math at UWO
2020-12-18 17:40 UTC
fully funded graduate positions in Math at UWO
2020-12-18 17:40 UTC
New journal series: TAC Expositions
2020-12-18 12:58 UTC
18th Quantum Physics and Logic (QPL 2021) -- workshop announcement
2020-12-18 9:54 UTC
postdoctoral position at ULB
2020-12-16 10:33 UTC
Alternative approach to Stone duality
2020-12-12 8:49 UTC (2+ messages)
The language of diagrams
2020-12-12 5:38 UTC (2+ messages)
Associate Professorship (~ tenure track faculty) in Programming Languages at Oxford
2020-12-10 18:11 UTC
Special Volume in honor of Bob Rosebrugh (new deadline)
2020-12-10 16:07 UTC
Invitation to celebrate the World Logic Day digitally - 14 January 2021 - Ambassadors of Logic and public Vienna Logic Day Lecture
2020-12-10 14:10 UTC
How does the logic of Set^P vary with the properties of P?
2020-12-09 23:06 UTC (3+ messages)
FSCD 2021: Third Call for Workshop Proposals - Extended Deadline: 20 Dec 2020
2020-12-09 13:48 UTC
FW: Invitation: GReTA online seminar, December 18 at 15:00 CET
2020-12-08 10:08 UTC
Discrete fibrations vs. functors into Set
2020-12-04 15:42 UTC
Next ItaCa Fest in December - XMAS EDITION
2020-12-04 11:07 UTC
Discrete fibrations vs. functors into Set
2020-12-04 8:46 UTC (4+ messages)
Roos theorem
2020-12-02 11:54 UTC
Postdoctoral Research fellowship at the University of Leeds
2020-12-02 9:30 UTC
FW: Invitation: GReTA online seminar, December 4 at 15:00 CET
2020-11-30 12:53 UTC
Shameless self-publicity
2020-11-28 17:11 UTC
quiver: a new commutative diagram editor
2020-11-26 14:59 UTC (2+ messages)
weakening(?) of locally connected
2020-11-26 10:53 UTC
Kelly et al: “2-dimensional universal algebra” - references?
2020-11-25 11:48 UTC
Around Toposes
2020-11-23 1:14 UTC
Reminder: Erik Palmgren memorial conference, Thu–Sat this week
2020-11-17 11:28 UTC
Next ItaCa Fest in November
2020-11-17 8:44 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).