categories - Category Theory list
 help / color / mirror / Atom feed
Looking for a reference
 2020-07-14 16:08 UTC 

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 

locales such that the associated topos is subdiscrete?
 2020-06-10 10:40 UTC  (2+ messages)

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 

[CfP] Special Session: Women in Logic Programming - ICLP2020
 2020-04-21 11:36 UTC 

[CfP] ICLP2020 Main Track: The 36th International Conference on Logic Programming
 2020-04-20 14:09 UTC 

The HoTTEST Conference of 2020, June 15-19, only on the internet
 2020-04-19 16:50 UTC 

The HoTTEST Conference of 2020, June 15-19, only on the internet
 2020-04-19 16:50 UTC 

Certified Programs and Proofs (CPP) 2021: First Call for Papers
 2020-04-18 16:23 UTC 

Volume LXI-2 of the "Cahiers"
 2020-04-15  7:40 UTC 

Postdoctoral position at Western Sydney University
 2020-04-14  1:24 UTC 

Online Seminar: A gentle introduction to template games
 2020-04-10 17:35 UTC 

Joint Postdoctoral Fellowship at University of Oxford and University of Hong Kong in Quantum Information/Quantum Gravity
 2020-04-10 11:47 UTC 

Special Volume in honor of Bob Rosebrugh
 2020-04-09 16:04 UTC 

Second CFP GraMSec 2020
 2020-04-08 17:48 UTC 

Extended Call for Contributions - VIRTUAL 4th Women in Logic Workshop - WiL 2020 - June 30, 2020, virtual
 2020-04-08 13:23 UTC 

Deadline Extension for E. W. Beth Outstanding Dissertation Prize 2020
 2020-04-08  8:34 UTC 

Call for Papers: A Festschrift in Honour of John Power on his 60th Birthday in MSCS
 2020-04-08  5:38 UTC 

Online Workshop "Categorical Probability and Statistics", 5-8 June 2020
 2020-04-07 14:33 UTC 

Second Call for Papers: VIRTUAL Linearity & TLLA 2020
 2020-04-07 13:52 UTC 

Update on Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'20) on July 5-6, 2020
 2020-04-06 23:06 UTC 

[CfP] ICLP2020 -The 36th International Conference on Logic Programming
 2020-04-06 13:12 UTC 

Applied Category Theory Conference (ACT2020)
 2020-04-03 15:24 UTC 

Second CfP: Workshop on Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Science (SemSpace2020)
 2020-04-03 13:30 UTC 

Teaching PhD Position in Quantitative Systems and Reasoning Methods
 2020-03-31 12:09 UTC 

Announcing the Online Worldwide Seminar on Logic and Semantics (OWLS)
 2020-03-27 22:58 UTC 

CfP: ICTAC 2020
 2020-03-26  6:06 UTC 

PhD in formal methods and security, cotutelle France-Scotland
 2020-03-25 13:27 UTC 

"Enriched Categories and Topology"
 2020-03-25  0:59 UTC 

Category Theory Community Server
 2020-03-24 20:00 UTC 

Multiple Research Positions (3 Doctoral, 5 Post-doctoral) on AI Verification
 2020-03-24 11:05 UTC 

ACT@UCR seminar
 2020-03-24  5:03 UTC 

ACT2020 will take place online
 2020-03-23 21:07 UTC 

Final call for (Self-)Nominations for the VCLA International Student Awards for Outstanding Master and Bachelor Theses in Logic and Computer Science - Deadline: 9.4.2020 AoE
 2020-03-23 11:06 UTC 

update on MFPS 2020
 2020-03-21 11:27 UTC 

The MIT Categories Seminar is moving online
 2020-03-17 23:56 UTC 

Workshop on ∞-categories and their applications
 2020-03-17 13:17 UTC 

Second Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2020
 2020-03-17 10:50 UTC 

Alonzo Church Award - Call for Nominations
 2020-03-16 18:14 UTC 

FMCS postponed
 2020-03-15 19:36 UTC 

CANCELLED - PSSL 106
 2020-03-13 18:15 UTC 

postponing CT2020
 2020-03-13 11:30 UTC 

POSTPONED: SYCO 7
 2020-03-12 17:27 UTC 

Job at the University of Leeds
 2020-03-12 14:41 UTC 

Graphical Models in Security 2020 CFP
 2020-03-11 16:04 UTC 

CANCELLED: 4th Midwest HoTT Seminar
 2020-03-11  0:50 UTC 

(Extended Deadline) VCLA International Student Awards 2020 for Outstanding Master and Bachelor Theses awarded between 15.11.2018 and 31.12.2019 (inclusive)
 2020-03-09  9:07 UTC 

Announcement: 4th Midwest HoTT Seminar
 2020-03-05 18:45 UTC 

TAC Announcement: New Managing Editor
 2020-03-04 17:13 UTC 

TAC Announcement: New Managing Editor
 2020-03-04 14:01 UTC 

MFPS final call for papers
 2020-03-03 13:01 UTC 

Applied Category Theory Conference (ACT2020)
 2020-03-02 21:34 UTC 

EPIT 2020: Spring School on Homotopy Type Theory (last announcement)
 2020-03-02 19:12 UTC 

STRING 2020
 2020-03-02 10:57 UTC 

Mario Bunge
 2020-02-29 14:21 UTC 

CMCS 2020: Call for Short Contributions
 2020-02-26 19:23 UTC 

Call for Workshop Proposal - 36th International Conference on Logic Programming (ICLP2020)
 2020-02-25 16:14 UTC 

SYCO 7 - Call for Participation
 2020-02-24 17:55 UTC 

FMCS 2020
 2020-02-23 17:35 UTC 

ICGT 2020: Final Call for Papers (Extended Deadlines)
 2020-02-22 20:02 UTC 

Interpreting category-valued presheaves
 2020-02-21  1:47 UTC  (4+ messages)

YaMKittens: Introductory categories day 28 March, Birmingham. Please spread the word!
 2020-02-19 14:59 UTC 

YaMKittens: Introductory categories day 28 March, Birmingham. Please spread the word!
 2020-02-18 13:33 UTC 

EVENT DATE CHANGE Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'20) on July 5-6, 2020
 2020-02-17  1:04 UTC 

TEASE-LP (co-located with ETAPS 2020): Second call for contributions
 2020-02-16 10:22 UTC 

CT2020
 2020-02-14 21:43 UTC 

Visiting Assistant Professor job is now live
 2020-02-13 17:29 UTC 

[LICS] ICALP-LICS 2020 Fresh Call for Workshops
 2020-02-12 18:24 UTC 

PSSL 106 at University of Leeds, April 4th and 5th 2020
 2020-02-12  8:30 UTC 

School on Univalent Mathematics 2020, Cortona (Italy), July 27-31, 2020
 2020-02-11 23:57 UTC 

Call For Participation to TYPES-ITRS 2020: early registration expires on 16th February
 2020-02-10 12:58 UTC 

ICALP 2020 - Conference relocation and deadline extension
 2020-02-07 21:07 UTC 

WiL 2020 - Call for contributions
 2020-02-07 13:47 UTC 

Grothendieck's paper (English version)
 2020-02-07  6:16 UTC 

PhD scholarships at Western Sydney University
 2020-02-06 18:32 UTC 

ROBIN GANDY centenary colloquium: final announcement
 2020-02-03 21:47 UTC 

SYCO 7 - Final Call for Papers
 2020-02-03  9:22 UTC 

Research positions
 2020-02-01 15:33 UTC 

MFPS 2nd call for papers - now with speaker info
 2020-01-31 21:49 UTC 

Pre-announcement for Visiting Assistant Professorship(s)
 2020-01-31 20:44 UTC 

EPIT 2020: Spring School on Homotopy Type Theory (second announcement)
 2020-01-30 13:02 UTC 

TYPES and ITRS - Call for participation
 2020-01-28  9:07 UTC 

TYPES and ITRS - Call for participation
 2020-01-28  9:07 UTC 

PhD candidate
 2020-01-27 20:32 UTC 

First CfP: Workshop on Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Science (SemSpace2020)
 2020-01-24 15:07 UTC 

MSC2020
 2020-01-24 14:28 UTC 

Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2020
 2020-01-24  6:53 UTC 

Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2020
 2020-01-24  6:53 UTC 

13th International Conference on Graph Transformation (ICGT2020): Call for Papers
 2020-01-23 22:23 UTC 

CfP: Memorial Conference for Erik Palmgren, 7–8 May, Stockholm
 2020-01-23 13:34 UTC 

ICALP - call for papers
 2020-01-23 11:00 UTC 

Call for Contributions: Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'20)
 2020-01-22 22:10 UTC 

PhD position
 2020-01-22 15:13 UTC 

On the Foundation of Computer Science
 2020-01-22  6:50 UTC 

fully funded graduate positions in Math at UWO
 2020-01-22  4:19 UTC 

FSCD 2020 - Third Call for Papers (Abstract: February 6/ Submission: February 9)
 2020-01-20 17:26 UTC 

Re: Monoidal product functor is strong monoidal, when?
 2020-01-20 13:15 UTC 

Monoidal product functor is strong monoidal, when?
 2020-01-20  4:02 UTC  (2+ messages)

Volume LXI-1 of the Cahiers
 2020-01-19 18:05 UTC 

HoTT Electronic Seminar Talks in Winter 2020
 2020-01-17 15:46 UTC 

HoTT Electronic Seminar Talks in Winter 2020
 2020-01-17 15:46 UTC 

Postdoctoral position in Cyber-Physical Systems, Newcastle University, UK
 2020-01-15 15:59 UTC 

First ETAPS Doctoral Dissertation Award, final call for nominations
 2020-01-15  1:49 UTC 

ETAPS Test of Time Award 2020, call for nominations
 2020-01-15  1:36 UTC 

Monoidal product functor is strong monoidal, when?
 2020-01-11 14:44 UTC 

SYCO 7 - Call for Papers
 2020-01-10 13:35 UTC 

TYPES 2020 - Deadline Extension to January the 20th
 2020-01-09 14:53 UTC 

Postdoctoral and PhD positions in Edinburgh
 2020-01-09 10:08 UTC 

Postdoctoral and PhD positions in Edinburgh
 2020-01-09 10:08 UTC 

TEASE-LP (co-located with ETAPS 2020): Call for contributions
 2020-01-08 22:37 UTC 

CMCS 2020: Final Call for Papers (extended deadlines)
 2020-01-08 21:38 UTC 

Postdoctoral position in FAU Erlangen-Nürnberg
 2020-01-07 17:11 UTC 

PhD Studentship in Cyber-Physical Systems and Trusted Autonomy, Newcastle University, UK
 2020-01-06 17:43 UTC 

announcement: Robin Gandy Centenary Colloquium
 2020-01-06 12:41 UTC 

ITRS 2020: FInal Call for Papers (Due on 10 Jan, 2020)
 2020-01-03 11:00 UTC 

Types 2020: Final Call for Papers (Due on 10 Jan, 2020)
 2020-01-03 11:00 UTC 

Types 2020: Final Call for Papers (Due on 10 Jan, 2020)
 2020-01-03 11:00 UTC 

PSSL 106: Leeds, April 4th-5th 2020
 2020-01-02 17:35 UTC 

"Enriched Categories and Topology"
 2020-01-02 13:29 UTC 

YaMCATS 21 University of Leicester 9 January 2020
 2020-01-02 11:36 UTC 

Compositionality
 2019-12-29  1:56 UTC 

ITRS 2020 - Call for contributions, gentle remind
 2019-12-27 11:17 UTC 

TYPES 2020 - Call for contributions, gentle remind
 2019-12-27 11:17 UTC 

TYPES 2020 - Call for contributions, gentle remind
 2019-12-27 11:17 UTC 

Applied Category Theory 2020 - Adjoint School
 2019-12-24 18:43 UTC 

Workshop "Categorical Probability and Statistics", 5-8 June 2020, Ottawa
 2019-12-23 12:12 UTC 

28th Foundational Methods in Computer Science Workshop
 2019-12-17 20:05 UTC 

Announcement: Talbot Workshop 2020
 2019-12-14  1:32 UTC 

FSCD 2020 - Second Call for Papers
 2019-12-12 14:30 UTC 

Monoidal product functor is strong monoidal, when?
 2019-12-11  6:29 UTC 

well powered categories, categorically?
 2019-12-06  6:21 UTC  (3+ messages)

Multiple postdoc and PhD positions on verification, concurrency and model learning at University College London and Royal Holloway University of London (Deadline Jan 5, 2020)
 2019-12-03 13:15 UTC 

CMCS 2020: Second Call for Papers
 2019-11-29 13:58 UTC 

"Categories for Quantum Theory" book
 2019-11-28 15:55 UTC 

Online category theory resources
 2019-11-26 11:46 UTC 

SYCO6 conference at the University of Leicester on 16-17 December 2019
 2019-11-26 11:12 UTC 

Maltsiniotis webpage on derivators
 2019-11-24 22:21 UTC 

SYCO6 programme
 2019-11-22 17:41 UTC 

Gödel Prize - call for nominations
 2019-11-22 17:20 UTC 

TYPES 2020 - Call for contributions
 2019-11-22 16:40 UTC 

TYPES 2020 - Call for contributions
 2019-11-22 16:40 UTC 

ITRS 2020 Call for contributions
 2019-11-22 16:39 UTC 

ITRS 2020 Call for contributions
 2019-11-22 16:39 UTC 

[LICS] ICALP-LICS 2020 Second Call for Workshops
 2019-11-19 20:41 UTC 

Chair in Pure Mathematics at Sheffield
 2019-11-19 14:19 UTC 

A Workshop in Honour of John Power on the occasion of his 60th Birthday
 2019-11-18 22:39 UTC 

Sad news — Erik Palmgren
 2019-11-18 13:19 UTC  (2+ messages)
` categories: "

Formally adding morphisms
 2019-11-17  4:58 UTC  (2+ messages)

MFPS VVVXI First Call for Papers
 2019-11-16 19:07 UTC 

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