categories - Category Theory list
 help / color / mirror / Atom feed
Postdoc positions at CMUC, Coimbra
 2019-03-03 10:27 UTC 

Funding available for Second School and Workshop on Univalent Mathematics, Birmingham (UK), April 1-5
 2019-02-28 18:56 UTC 

ARRAY workshop at PLDI 2019, submissions due 8th April
 2019-02-25 17:38 UTC 

John Gray
 2019-02-25 15:29 UTC 

First CfP: Structures and Deduction 2019
 2019-02-25 10:57 UTC 

large integrals via manageable ends?
 2019-02-23 19:54 UTC 

NLCS 2019, Gothenburg, as part of IWCS2019
 2019-02-22 23:38 UTC 

NLCS 2019, Gothenburg, as part of IWCS2019
 2019-02-22 23:38 UTC 

Terminology regarding injectivity of objects
 2019-02-22 23:02 UTC  (3+ messages)

LCC 2019: Call for Contributions
 2019-02-22  5:17 UTC 

Quantum Physics and Logic 2019: CALL FOR PAPERS
 2019-02-22  0:05 UTC 

Proof-Theoretic Semantics, Tuebingen, 27-30 March 2019
 2019-02-21 16:36 UTC 

ETAPS 2019 call for participation
 2019-02-18 23:38 UTC 

TYPES 2019, 11-14 June 2019, Oslo: Announcement and final call for contributions, DEADLINE 4 MARCH
 2019-02-18 12:12 UTC 

TYPES 2019, 11-14 June 2019, Oslo: Announcement and final call for contributions, DEADLINE 4 MARCH
 2019-02-18 12:12 UTC 

FMCS Workshop Announcement!
 2019-02-13  0:52 UTC 

SYCO3 - Second Call for Papers
 2019-02-11 15:01 UTC 

Reannouncing FMCS!
 2019-02-10  0:27 UTC 

Foundational Methods in Computer Science (May 28th - June 2nd)
 2019-02-08  1:44 UTC 

Call for contributions: Applied Category Theory 2019, July 15-19, Oxford
 2019-02-06 13:58 UTC 

CALL FOR SUBMISSIONS: International Conference on Homotopy Type Theory 2019
 2019-02-04 19:21 UTC 

Reminder: Workshop on Geometry in Modal HoTT
 2019-02-04 18:49 UTC 

Bx 2019 Second Call for Papers (Workshop on Bidirectional Transformations)
 2019-02-04 13:13 UTC 

DICE-FOPARA 2019 -- Deadline Extension -- Final Call for Papers
 2019-02-04  5:55 UTC 

GaLoP 2019 -- Deadline Extension
 2019-02-02  8:10 UTC 

GaLoP 2019 -- Deadline Extension
 2019-02-02  8:10 UTC 

Midlands Graduate School 2019 in the Foundations of Computing Science
 2019-02-01 11:32 UTC  (2+ messages)

FSCD 2019 - Deadline reminder (Abstracts: 8 February, Full Papers: 11 February)
 2019-02-01 10:56 UTC 

*** PSSL105 - Palermo 2019 - second announcement ***
 2019-01-31 11:18 UTC 

SYCO 3 - Call for Papers
 2019-01-29 20:40 UTC 

Summer School in Algebra and Topology (2nd edition) (fwd)
 2019-01-28 16:45 UTC 

TACL 2019 - deadlines soon!
 2019-01-28 15:09 UTC 

TYPES 2019, 11-14 June 2019, Oslo: Announcement and second call for contributions
 2019-01-28 11:03 UTC 

Summer School in Algebra and Topology (2nd edition)
 2019-01-28  8:59 UTC 

Operads and higher structures in Algebraic Topology and Category Theory
 2019-01-27 17:14 UTC 

Final CfP: GaLoP 2019
 2019-01-25 15:32 UTC 

Final CfP: GaLoP 2019
 2019-01-25 15:32 UTC 

call for submissions: CLA'19 meeting and DMTCS special issue
 2019-01-23 23:24 UTC 

call for submissions: CLA'19 meeting and DMTCS special issue
 2019-01-23 23:24 UTC 

HoTT Electronic Seminar Talks in Spring 2019
 2019-01-21  2:35 UTC 

HoTT Electronic Seminar Talks in Spring 2019
 2019-01-21  2:35 UTC 

LaCaixa PhD scholarships: project on infinity-groupoids
 2019-01-19 21:44 UTC 

Research associate in computational effects modelling and axiomatics
 2019-01-17  8:28 UTC 

TbiLLC 2019/1st CfP
 2019-01-17  8:18 UTC 

Volume 10 of CGASA published
 2019-01-15  7:07 UTC 

3 Year Postdoctoral Position in Logic, Automated Reasoning and Coalgebra, London (United Kingdom)
 2019-01-14 16:00 UTC 

CfP: Workshop on Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Sciences, 5th-9th August 2019
 2019-01-14 10:18 UTC 

[CfP] QAPL 2019: 16th Workshop on Quantitative Aspects of Programming Languages and Systems
 2019-01-11 16:05 UTC 

Eight open positions, St.Petersburg State University
 2019-01-11 11:10 UTC 

FSCD 2019 Last Call for Papers
 2019-01-10 17:16 UTC 

PhD position at the ILLC, University of Amsterdam
 2019-01-10 11:43 UTC 

CONCUR 2019 Call for Workshop Proposals
 2019-01-10  9:19 UTC  (3+ messages)
` CONCUR 2019: "
    ` [folli] "

Volume LX-1 of the "Cahiers"
 2019-01-09  8:55 UTC 

TikZiT 2.1
 2019-01-08 14:10 UTC 

UCoimbra | UPorto joint PhD Program
 2019-01-08 12:04 UTC 

Ackermann Award 2019: Call for Nominations
 2019-01-06 16:57 UTC 

Ackermann Award 2019: Call for Nominations
 2019-01-06 16:57 UTC 

Call for Participation -- Applied Category School 2019
 2019-01-05 23:48 UTC 

(Second Announcement) Second School and Workshop on Univalent Mathematics, Birmingham (UK), April 1-5, 2019 : Second Announcement
 2019-01-03 23:56 UTC 

Videos of "Toposes in Como"
 2018-12-25 17:21 UTC 

SECOND ANNOUNCEMENT: HoTT 2019
 2018-12-24 15:53 UTC 

Lawvere theories and Monads
 2018-12-24 10:22 UTC  (2+ messages)

Category Theory 2019: call for contributions
 2018-12-24  9:51 UTC 

Videos of the New York City Category Theory Seminar
 2018-12-23  2:51 UTC 

MFPS XXXV - Call for Papers
 2018-12-18 15:50 UTC 

Associate Professor of Computer Science (Quantum Computing), Oxford
 2018-12-18 14:25 UTC 

Call for papers: GaLoP 2019
 2018-12-14 16:46 UTC 

Call for papers: GaLoP 2019
 2018-12-14 16:46 UTC 

Caleidoscope Complexity School: Call for Participation
 2018-12-13 14:33 UTC 

Caleidoscope Complexity School: Call for Participation
 2018-12-13 14:33 UTC 

Fwd: Several vacancies in mathematics at Utrecht
 2018-12-11 10:55 UTC 

TYPES 2019, 11-14 June 2019, Oslo: Announcement and first call for contributions
 2018-12-10 10:45 UTC 

TYPES 2019, 11-14 June 2019, Oslo: Announcement and first call for contributions
 2018-12-10 10:45 UTC 

LICS 2019 Final call for papers and workshops announcement
 2018-12-10  8:27 UTC 

Call for Papers: JLAMP Special Issue on Relational and Algebraic Methods in Computer Science
 2018-12-10  4:14 UTC 

CALCO 2019: Call for Papers
 2018-12-08  0:25 UTC 

SYCO 2 Call for Participation
 2018-12-06 14:51 UTC 

Postdoc Position Reminder
 2018-11-28 18:35 UTC 

Postdoc Position Reminder
 2018-11-28 18:35 UTC 

Workshop on Geometry in Modal Homotopy Type Theory
 2018-11-26 17:11 UTC 

6WFTop: Formal Topology Workshop announcement
 2018-11-22 15:40 UTC 

CfP: Natural Language Processing in Artificial Intelligence - NLPinAI 2019
 2018-11-20 15:50 UTC 

1st Logic Prizes Contest : Papers of all the Winners now on-line
 2018-11-19 11:39 UTC 

2019 Doctoral Fellowships in Computer Science at the University of Birmingham, Applications Now Open
 2018-11-17 13:05 UTC 

fully funded graduate positions in mathematics at Western
 2018-11-16 10:20 UTC 

Homotopy Type Theory and Univalent Foundations conference in Oslo
 2018-11-14  9:02 UTC 

*** 105th Peripatetic Seminar on Sheaves and Logic *** University of Palermo, Italy *** May 18th-19th, 2019 + satellite event May 17th, 2019
 2018-11-13 20:53 UTC 

*** 105th Peripatetic Seminar on Sheaves and Logic *** University of Palermo, Italy *** May 18th-19th, 2019 + satellite event May 17th, 2019 (resnding)
 2018-11-13 20:53 UTC 

Final Call for Presentations: Second Symposium on Compositional Structures (SYCO 2)
 2018-11-11 11:27 UTC 

[CFP] Bx 2019: 8th International Workshop on Bidirectional Transformations (Deadline: Feb. 19)
 2018-11-09 15:30 UTC 

Modelling Consciousness
 2018-11-07  8:08 UTC 

CONCUR 2019 Call for Papers
 2018-11-05 20:05 UTC 

FSCD 2019 - Call for Workshop Proposals
 2018-11-01 19:44 UTC 

lecture course on higher categories by Simona Paoli in Vienna
 2018-11-01 11:14 UTC 

Postdoc in Quantum Computing at Tulane
 2018-11-01  1:42 UTC 

Mathematics for sentence composition?
 2018-10-30 12:34 UTC  (3+ messages)

ETAPS 2019 2nd joint call for papers
 2018-10-27 21:01 UTC 

"Ultracategories" by Lurie
 2018-10-26  2:26 UTC 

TAA volume in honour of Ales Pultr
 2018-10-25  8:44 UTC 

characterization of flp endofucntors on Set?
 2018-10-24 10:56 UTC 

Octoberfest 2018 - last announcement
 2018-10-23 23:43 UTC 

Summer School on Higher Topos Theory and Univalent Foundations
 2018-10-23 20:55 UTC 

characterization of flp endofucntors on Set?
 2018-10-23 16:24 UTC  (2+ messages)

characterization of flp endofucntors on Set?
 2018-10-23  0:01 UTC  (2+ messages)

characterization of flp endofucntors on Set?
 2018-10-22 11:14 UTC 

sheaves on localic groupoids
 2018-10-20 21:24 UTC  (5+ messages)
  `  "

Category Theory 2019 announcement
 2018-10-20 15:59 UTC 

Fwd: Harold Simmons
 2018-10-19 13:12 UTC  (5+ messages)
`  "

FSCD 2019 - First Call for Papers
 2018-10-18 22:47 UTC 

Call for papers: Second Symposium on Compositional Structures (SYCO 2)
 2018-10-18 10:59 UTC 

FORMATS 2019 Call for Papers
 2018-10-16 14:43 UTC 

Announcing TikZiT 2: an (improved) editor for graphs and string diagrams
 2018-10-15 10:59 UTC 

Galois connections and complete lattices
 2018-10-14  2:11 UTC 

Volume LIX-4 of the "Cahiers"
 2018-10-11 18:28 UTC 

[LICS] LICS 2019 Call for Workshop Proposals
 2018-10-11  7:58 UTC 

final announcement: AHRT Brussels January 2019
 2018-10-09 18:34 UTC 

TACL 2019 First announcement
 2018-10-08 10:21 UTC 

Applied Category Theory Conference+School at Oxford, July 15-26, 2019
 2018-10-04 15:55 UTC 

Category Theory 2019 announcement
 2018-10-03 15:48 UTC 

Category Theory 2019 announcement
 2018-10-03 15:48 UTC 

Pre-announcement: Applied Category Theory Conference+School at Oxford, July 15-26, 2019
 2018-10-03  9:17 UTC 

category theory in number theory
 2018-09-28 10:47 UTC 

A special issue to the memory of Vera Trnkova
 2018-09-26 20:16 UTC 

Octoberfest 2018 - second announcement
 2018-09-20 18:09 UTC 

Augusta University is Hiring
 2018-09-19 14:20 UTC 

Professor and Head of School of Mathematics position University of Leeds
 2018-09-19  9:57 UTC 

MSRI semester program "Higher Categories and Categorification" January - May 2020
 2018-09-14  0:44 UTC 

ETAPS 2019 1st joint call for papers
 2018-09-11 12:40 UTC 

PSSL 104 -- second announcement
 2018-09-07  9:19 UTC 

ICTCS 2018 @ Urbino - last call for participation
 2018-09-06 16:44 UTC 

HoTT Electronic Seminar Talks Fall 2018
 2018-09-06 16:23 UTC 

HoTT Electronic Seminar Talks Fall 2018
 2018-09-06 16:23 UTC 

Call for Participation, First Symposium on Compositional Structures (SYCO 1)
 2018-09-03 10:50 UTC 

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  (3+ messages)

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