categories - Category Theory list
 help / color / mirror / Atom feed
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  (3+ messages)

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

HoTT 2019 proceedings — deadline extension
 2019-11-15 22:19 UTC 

Call for course proposals for the 34th Informatics Sciences School - ECI 2020
 2019-11-15 20:55 UTC  (4+ messages)
    ` 2nd Call for course proposals: "
        ` Final "
        ` ECI 2020: DEADLINE EXTENSION (22 Nov 19) - Call for course proposals

Barry Cooper Prize - Call for Nominations
 2019-11-15  8:46 UTC 

Final CfP: TYPES 2019 post-proceedings, deadline 24.11
 2019-11-13  9:13 UTC 

Final CfP: TYPES 2019 post-proceedings, deadline 24.11
 2019-11-13  9:13 UTC 

CT Octoberfest 2019: slides and videos available
 2019-11-11 17:23 UTC 

ICALP - call for papers - Correction
 2019-11-05 10:29 UTC 

ICALP - Call for Papers
 2019-11-04 14:57 UTC 

Quantum Physics and Logics (QPL 2020), June 1-5, Paris-Saclay
 2019-10-31 18:24 UTC 

Teaching Lectureship in Computer Science at Leicester UK
 2019-10-31 10:11 UTC  (2+ messages)
  ` Lectureships "

Lectureships in Computer Science at Leicester UK
 2019-10-31 10:11 UTC 

CT2020 preliminary announcement (corrected)
 2019-10-28 16:31 UTC 

CT2020 preliminary announcement
 2019-10-28 16:31 UTC 

Postdocs in Edinburgh
 2019-10-27 16:24 UTC 

Open Topic Full Professorship in Computer Science, FAU Erlangen-Nürnberg
 2019-10-26 16:05 UTC 

tensor of cocomplete categories
 2019-10-25  2:45 UTC 

tenure track positions in Utrecht
 2019-10-22  9:54 UTC 

SYCO6 University of Leicester, 16-17 December 2019
 2019-10-21 18:23 UTC 

Volume LX-4 of the "Cahiers"
 2019-10-20  7:29 UTC 

Open CfP: TYPES 2019 post-proceedings
 2019-10-16 19:08 UTC 

Open CfP: TYPES 2019 post-proceedings
 2019-10-16 19:08 UTC 

[LICS] ICALP-LICS 2020 Call for Workshops
 2019-10-15 12:03 UTC 

Manifesto for Inclusivity
 2019-10-13 13:54 UTC  (4+ messages)

PhD position at University of Birmingham, UK
 2019-10-13 11:55 UTC 

CMCS 2020: First Call for Papers
 2019-10-11 17:13 UTC 

ITRS 2020: call for contributions
 2019-10-11 16:20 UTC 

TYPES 2020 - call for contributions
 2019-10-11 16:18 UTC 

[LICS] LICS 2020 Call for Papers
 2019-10-11 11:02 UTC 

ETAPS 2020 final joint call for papers
 2019-10-11  9:52 UTC 

Positions in Edinburgh
 2019-10-08 16:49 UTC 

PhD position in Theoretical Computer Science at the VU Amsterdam
 2019-10-06 11:14 UTC 

Coalgebra Day 2019
 2019-10-04 17:13 UTC 

Coalgebra Day 2019
 2019-10-04 17:13 UTC 

post-doc positions in Oxford and Cambridge
 2019-10-04 15:05 UTC 

Logic job at CMU
 2019-10-04 13:49 UTC 

PhD position in Coalgebraic Model Checking at FAU Erlangen-Nürnberg
 2019-09-24 15:33 UTC 

A book on Higher Dimensional Categories
 2019-09-18 15:29 UTC 

Call for Participation: Formal Aspects on Component Software (FACS 2019), Amsterdam
 2019-09-17  8:25 UTC 

Midwest HoTT Seminar, Oct 19-20, 2019, University of Michigan
 2019-09-16 18:13 UTC 

fwd: 2020 HSCC CfP -- Submissions due October 23
 2019-09-16 17:11 UTC 

Third CFP - RAMiCS 2020
 2019-09-13 17:57 UTC 

Call for participation - History of Formal Methods workshop at FM'19 - early reg deadline 10th Sep
 2019-09-09 18:02 UTC 

Positions at Stellenbosch University
 2019-09-04 14:14 UTC 

HoTT Electronic Seminar Talks in Fall 2019
 2019-09-04 13:02 UTC 

faculty positions at Johns Hopkins University
 2019-09-03 16:43 UTC 

CfP: HoTT 2019 proceedings, MSCS special issue
 2019-09-02  8:36 UTC 

ETAPS 2020 2nd joint call for papers
 2019-08-31 18:32 UTC 

only_marketing_?
 2019-08-21  3:30 UTC  (10+ messages)

FroCoS-12 and TABLEAUX-28, London, September 2-6: second call for participation (early registration closes on August 21)
 2019-08-19 13:30 UTC 

Job ad : quantum programming language designer wanted
 2019-08-16 11:31 UTC 

Job ad : quantum programming language designer wanted
 2019-08-16 11:31 UTC 

only_marketing_?
 2019-08-16 10:44 UTC  (5+ messages)

CF Participation: JOINT SYCO-STRING WORKSHOP
 2019-08-12 14:56 UTC 

2-year postdoc position on type theory in Birmingham (UK)
 2019-08-06 15:45 UTC 

Closed symmetric monoidal category
 2019-08-05 15:47 UTC 

Applied Category Theory Special Session at UCR
 2019-08-04  3:57 UTC 

Closed symmetric monoidal category
 2019-08-03  9:04 UTC 

Postdoc at the University of Leeds
 2019-07-31 20:14 UTC 

constructive Brouwer fixed point theorem
 2019-07-29 13:16 UTC 

ETAPS 2020 1st joint call for papers
 2019-07-29  9:04 UTC 

RAMiCS2020 - 2nd CFP
 2019-07-26 19:45 UTC 

Postdoc Opportunity at Augusta University
 2019-07-25 17:57 UTC 

Reminder: International Conference on Homotopy Type Theory 2019
 2019-07-24 21:18 UTC 

I really mucked up that story
 2019-07-22  0:25 UTC 

(unknown)
 2019-07-20  7:28 UTC 

Categories and functors, Funktor
 2019-07-19 21:00 UTC  (4+ messages)

New volume of CGASA (dedicated to Prof. Grätzer)
 2019-07-19  7:03 UTC 

Persistent double limits
 2019-07-17 19:26 UTC 

Category Theory Octoberfest 2019 announcement
 2019-07-16 18:06 UTC 

"First" use of 'Category theory' to describe our field
 2019-07-15 18:16 UTC 

"First" use of 'Category theory' to describe our field
 2019-07-15 12:30 UTC  (9+ messages)

Volume LX-3 of the "Cahiers"
 2019-07-15  8:03 UTC 

"First" use of 'Category theory' to describe our field
 2019-07-14 20:18 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).