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
a book on Manifolds and Local Structures
2021-02-19 15:50 UTC
(unknown)
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
CSL 2021 - Call for Participation
2020-11-16 21:45 UTC
GReTA - Graph Transformation Theory and Applications” seminar series
2020-11-16 16:50 UTC
postdoctoral positions at the University of Western Ontario
2020-11-13 21:55 UTC
postdoctoral positions at the University of Western Ontario
2020-11-13 21:55 UTC
Erik Palmgren memorial conference online Nov 19-21
2020-11-04 15:28 UTC
Mikkelsen's thesis
2020-11-03 19:14 UTC
Assistant professor position in Theoretical Computer Science at the ILLC
2020-10-28 15:45 UTC
LMS lecture series on category theory and its applications
2020-10-23 16:53 UTC
toposes lectures by Olivia Caramello
2020-10-23 13:39 UTC
Closed Grothendieck Construction
2020-10-21 19:43 UTC
ICALP 2021 Call for Papers
2020-10-20 12:59 UTC
ICALP 2021 Call for Papers
2020-10-20 12:59 UTC
Seminar Talk on Category Theory and Secure Communication
2020-10-20 0:51 UTC
Seminar Talk on Category Theory and Secure Communication
2020-10-20 0:51 UTC
[LICS] LICS 2021 Call for Papers
2020-10-19 20:14 UTC
[LICS] LICS 2021 Call for Workshops
2020-10-19 8:34 UTC
Volume LXI-4 of the "Cahiers"
2020-10-17 9:57 UTC
CfP for TYPES 2020 postproceedings:
2020-10-09 21:15 UTC
CfP for TYPES 2020 postproceedings:
2020-10-09 21:15 UTC
Next ItaCaFest in October
2020-10-06 16:25 UTC
Asking for references on Christian Lair's works
2020-10-06 16:02 UTC
ETAPS 2021 final joint call for papers
2020-10-04 11:46 UTC
Does essential entail locally connected for hyperconnected geometric morphisms?
2020-09-29 8:53 UTC (5+ messages)
Christian Lair died
2020-09-29 5:49 UTC
Seminar talk on Linear Logic
2020-09-28 13:18 UTC (2+ messages)
Seminar talk on Linear Logic
2020-09-28 13:18 UTC
ETAPS 2021 2nd joint call for papers
2020-09-22 15:20 UTC
addendum to my question from today
2020-09-18 9:26 UTC
[Call for Participation] ICLP 2020 - The 36th International Conference on Logic Programming
2020-09-18 6:12 UTC
CMCS 2020: Final Call for Participation
2020-09-16 20:36 UTC
Scholarship:_Helmut_Veith_Stipend
2020-09-15 12:15 UTC
The New York City Category Theory Seminar: The Fall Line-Up of Talks
2020-09-14 11:55 UTC
Topos objects
2020-09-04 11:52 UTC (4+ messages)
announcing the (virtual) JHU category theory seminar
2020-09-03 19:08 UTC
HoTT Electronic Seminar Talks in Fall 2020
2020-09-02 13:58 UTC
HoTT Electronic Seminar Talks in Fall 2020
2020-09-02 13:58 UTC
TYPES 2020 Post-proccedings CfP
2020-08-31 9:29 UTC
TYPES 2020 Post-proccedings CfP
2020-08-31 9:29 UTC
Postdoctoral position in string diagrams
2020-08-28 19:43 UTC
Certified Programs and Proofs (CPP) 2021: Final Call for Papers
2020-08-27 13:15 UTC
A book
2020-08-26 17:06 UTC
websites for CT2014 and PSSL100 back up
2020-08-25 21:22 UTC
operad pop-up conference, august 11. second announcement
2020-08-04 1:58 UTC
CMCS 2020: Call for Participation
2020-08-02 20:47 UTC
Volume LXI-3 of the "Cahiers"
2020-07-31 18:28 UTC
Junior Researcher Positions
2020-07-31 9:14 UTC
2nd CfP : International Workshop on Quantum Compilation : 23-24 Sept 2020
2020-07-28 12:53 UTC
Object of connected components for internal categories
2020-07-27 11:13 UTC (2+ messages)
Call for online participation: Workshop on Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Sciences
2020-07-24 14:20 UTC
ETAPS 2021 1st joint call for papers
2020-07-23 20:02 UTC
locales such that the associated topos is subdiscrete?
2020-07-22 16:33 UTC (4+ messages)
PhD position(s) in Structural and Algorithmic Aspects of Preference-based Problems in Social Choice - Vienna, Austria - Deadline: July 31, 2020
2020-07-22 9:37 UTC
Categorifications in Representation Theory
2020-07-20 7:51 UTC
operad pop-up conference, august 11, online
2020-07-16 22:38 UTC
Awardees of the VCLA International Student Awards for Outstanding Master and Undergraduate Theses in Logic and Computer Science - 2020
2020-07-15 12:34 UTC
Looking for a reference
2020-07-15 10:03 UTC (3+ messages)
GeoCat workshop -- Sunday 5 and Monday 6 July
2020-07-04 11:54 UTC
CT2020->21
2020-07-01 7:29 UTC
Call for Participation: HoTT/UF 2020 - July 5-7
2020-06-25 13:17 UTC
CfP: ICTAC 2020
2020-06-25 6:02 UTC
Fully funded PhD positions at Tallinn University of Technology
2020-06-23 12:13 UTC
[CfP] ICLP DC 2020 - 16th Doctoral Consortium on Logic Programming
2020-06-23 9:15 UTC
ICGT 2020: Call for Online Participation
2020-06-21 16:27 UTC
Call for Tutorial Proposals: ICFP 2020
2020-06-17 0:18 UTC
[LICS] LICS 2020 Call for Participation
2020-06-16 18:40 UTC
ETAPS 2020 afternoon, online, 2 July 2020, call for participation
2020-06-16 7:42 UTC
Locally internal stacks as categories of families?
2020-06-15 5:43 UTC
The HoTTEST Conference of 2020, June 15-19 (homotopy type theory)
2020-06-12 16:04 UTC
PhD Position in Artificial Intelligence at TU Wien, Vienna, Austria. Application deadline: July 15, 2020
2020-06-09 14:23 UTC
PhD position(s) in Structural and Algorithmic Aspects of Preference-based Problems in Social Choice - Vienna, Austria - Deadline: July 31, 2020
2020-06-09 13:50 UTC
locales such that the associated topos is subdiscrete?
2020-06-09 9:09 UTC
Categories everywhere
2020-06-05 13:35 UTC
EPIT 2020: Spring School on Homotopy Type Theory (new dates)
2020-06-05 9:18 UTC
EPIT 2020: Spring School on Homotopy Type Theory (new dates)
2020-06-05 9:11 UTC
PhD position in automata theory, University of Warsaw
2020-06-04 17:03 UTC
Adjoining companions
2020-06-04 9:21 UTC
CfP : International Workshop on Quantum Compilation : 23-24 Sept 2020
2020-06-03 10:15 UTC
Call for Submissions: ICFP Student Research Competition
2020-06-02 14:01 UTC
12 PhD Positions in the Doctoral Program Logical Methods in Computer Science (LogiCS) - fully funded - Vienna, Austria - Deadline: 12 June 2020
2020-06-02 12:16 UTC
Categorical Probability and Statistics: final call for participation
2020-06-01 19:51 UTC
Online Worldwide Seminar on Logic and Semantics -- Summer Programme
2020-06-01 17:25 UTC
ICALP 2020 - call for participation
2020-06-01 10:03 UTC
Old question of McLarty on triposes
2020-05-27 12:31 UTC
Several four-year PhD grants at the Faculty of Computer Science of the Free University of Bozen-Bolzano in Italy
2020-05-26 14:11 UTC
Postdoc in Proof Theory - University of Birmingham, UK
2020-05-26 11:43 UTC
Categories everywhere
2020-05-23 13:31 UTC
CfP: ICTAC 2020
2020-05-22 10:43 UTC
Workshop on Logic Programming: Trends, Extensions, Applications, 28-29 May 2020
2020-05-22 3:44 UTC
Update: Workshop on ∞-categories and their applications
2020-05-20 15:53 UTC
MFPS 2020 -- Call for Participation
2020-05-20 14:57 UTC
PhD studentships
2020-05-14 12:32 UTC
Call for Contributions: Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'20) on July 5-6, 2020
2020-05-11 3:21 UTC
CSL 2021: 2nd CFP
2020-05-04 17:33 UTC
Final call for contributions for the virtual WiL 2020 (4th Women in Logic Worskhop collocated with Petri Nets, IJCAR etc)
2020-05-04 14:02 UTC
Final call for contributions for the virtual WiL 2020 (4th Women in Logic Worskhop collocated with Petri Nets, IJCAR etc)
2020-05-04 14:02 UTC
Applied Category Theory Conference (ACT2020)
2020-05-03 15:58 UTC
Brno Algebra Seminar
2020-05-03 11:02 UTC
ICFEM'20 deadline extended to 17th May 2020
2020-04-29 7:26 UTC
ICFEM'20 deadline extended to 17th May 2020
2020-04-29 7:26 UTC
PhD position at University of Birmingham, UK
2020-04-27 21:22 UTC
Deadline Extension: Workshop on Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Science (SemSpace2020)
2020-04-27 13:36 UTC
FINAL Call for Papers: VIRTUAL Linearity & TLLA 2020
2020-04-25 13:34 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).