public inbox for categories@mta.ca
 help / color / mirror / Atom feed
Publication of Volume LXIII-2 of the "Cahiers"
 2022-04-13 15:59 UTC 

M. Shulman, Towards Third-Generation HOTT, April 14, 21, and 28 - HoTTEST Distinguished Lecture Series
 2022-04-11 13:32 UTC 

ItaCa Fest 2022
 2022-04-06  7:04 UTC 

Lecturer Positions in Computer Science at Sussex
 2022-04-01 15:06 UTC 

Lecturer Positions in Computer Science at Sussex
 2022-04-01 15:06 UTC 

CFP: 13th International Workshop on Graph Computation Models (GCM 2022)
 2022-03-31  7:34 UTC 

2 Lecturer posts in Computing at Leicester
 2022-03-31  7:29 UTC 

Structure meets Power workshop 2022
 2022-03-30 14:58 UTC 

School on Univalent Mathematics, Cortona (Italy), July 17-23: Application deadline 15 April
 2022-03-30 12:42 UTC 

PLP 2022 - Call for Papers
 2022-03-29  7:26 UTC 

TACL 2022: Abstract submission deadline/ Registration is open
 2022-03-28 17:10 UTC 

PSSL106 - Second announcement
 2022-03-28  7:51 UTC 

post-doc & programmer positions in Tokyo, Japan
 2022-03-25 11:15 UTC 

CMCS 2022: Call for Participation
 2022-03-24 10:23 UTC 

Foundational Methods in ComputerScience (FMCS) 21st -> 26th June 2022
 2022-03-23 22:51 UTC 

PhD student position on proof theory and verification of legal software, Barcelona
 2022-03-21 21:24 UTC 

Bicategories, categorification and quantum theory: pre-registration open
 2022-03-21 14:44 UTC 

PhD position in Homotopy Type Theory
 2022-03-21 11:00 UTC 

Permanent positions at University of Birmingham
 2022-03-21 10:50 UTC 

MFCS 2022 - Second Call for Papers
 2022-03-18 14:21 UTC 

FSCD 2024: Call for Location
 2022-03-15 13:48 UTC 

Midlands Graduate School: Accommodation and second (final) call for participation
 2022-03-14 14:40 UTC 

Midlands Graduate School: Accommodation and second (final) call for participation
 2022-03-14 14:40 UTC 

ICLP DC 2022 - 18th Doctoral Consortium (DC) on Logic Programming
 2022-03-14  8:42 UTC 

10 PhD positions within the Research Training Group 2475 "Cybercrime and Forensic Computing"
 2022-03-14  8:15 UTC 

Chaire de la Vallée Poussin 2022
 2022-03-12  8:44 UTC 

VAP position at CWRU
 2022-03-11 14:04 UTC 

PhD position at the University of Amsterdam
 2022-03-08 12:27 UTC 

22nd Midlands Graduate School, 10-14 April 2022: Call for Participation
 2022-03-06 21:23 UTC 

22nd Midlands Graduate School, 10-14 April 2022: Call for Participation
 2022-03-06 21:23 UTC 

Topos is hiring
 2022-03-06  7:31 UTC 

PhD Position in Number Theory and Formalization
 2022-03-03 19:07 UTC 

Postdoc and PhD position in homotopy type theory
 2022-03-03 14:32 UTC 

TACL 2022: Abstract submission deadline extension
 2022-03-03  9:30 UTC 

Postdoc positions at IMAG (Mathematics Institute of the University of Granada,Spain)
 2022-03-01 17:34 UTC 

CT20->21 Video of the talks
 2022-03-01  8:14 UTC 

PolyFun 2022
 2022-02-28  4:14 UTC 

Professor André Joyal to Receive 2022 CMS Jeffery-Williams PrizeThread-Topic: categories: Professor André Joyal to Receive 2022 CMS Jeffery-Williams Prize
 2022-02-27 11:09 UTC 

Zero Project online Petition
 2022-02-27  8:10 UTC 

TACL 2022 second announcement
 2022-02-24  7:32 UTC 

Professor André Joyal to Receive 2022 CMS Jeffery-Williams PrizeThread-Topic: categories: Professor André Joyal to Receive 2022 CMS Jeffery-Williams Prize
 2022-02-23 23:05 UTC 

categories: Professor André Joyal to Receive 2022 CMS Jeffery-Williams Prize
 2022-02-23 22:36 UTC 

Fwd: [all-members] Professor André Joyal to Receive 2022 CMS Jeffery-Williams Prize | Professeur André Joyal recevra le prix Jeffery-Williams 2022 de la SMC
 2022-02-23 19:22 UTC 

Two postdoc positions at LIS (Aix-Marseille University) and LIX (Ecole Polytechnique)
 2022-02-23 17:00 UTC 

DaLí 2022 - Call for Papers
 2022-02-21 22:46 UTC 

Research position in category theory at Masaryk University
 2022-02-21 15:46 UTC 

ICGT 2022: Second Call for Papers
 2022-02-21 15:14 UTC 

Call for Papers: PACMPL issue ICFP 2022
 2022-02-21  6:09 UTC 

MFCS 2022 - First Call for Papers
 2022-02-16  9:53 UTC 

Applied Category Theory 2022: First Call for Papers
 2022-02-16  8:38 UTC 

ETAPS 2022 call for participation
 2022-02-15 11:40 UTC 

Jean Benabou
 2022-02-14 16:42 UTC 

PSSL106 - First Announcement
 2022-02-14 13:27 UTC 

Jean Benabou
 2022-02-14 10:22 UTC 

benabou
 2022-02-14  4:21 UTC 

big loss - Jean Benabou died last Friday
 2022-02-13 22:25 UTC 

Jean Benabou
 2022-02-13 20:23 UTC 

Final Call--Applications to AMS Workshop in ACT
 2022-02-11 13:27 UTC 

2022 colloquium — Topos Institute
 2022-02-10 21:35 UTC 

[CfP] ICLP 2022 - Call for Recently Published Research Papers
 2022-02-09 16:51 UTC 

Announcement. 5th Workshop on Categorical Algebra: recent developments and future perspectives
 2022-02-06 11:22 UTC 

First CFP: MFPS 2022: Conference on Mathematical Foundations of Programming Semantics
 2022-02-04 20:40 UTC 

PhD Opportunities at University of Birmingham
 2022-02-02 15:40 UTC 

March workshop on polynomial functors
 2022-01-26 19:57 UTC 

CMCS 2022: Deadline extension
 2022-01-25 21:39 UTC 

A new book: Theoretical Computer Science for the Working Category Theorist
 2022-01-25 19:41 UTC 

Higher Category Lecture Series: A friendly introduction to ∞-categories by Yuki Maehara (Kyushu U)
 2022-01-24  8:31 UTC 

New Journal in Philosophy of Mathematics
 2022-01-23 19:24 UTC 

CMCS 2022: Final Call for Papers
 2022-01-21 16:40 UTC 

AMS Mathematical Research Communities (MRC) in Cat Theory
 2022-01-21 14:20 UTC 

ETAPS Test of Time Award 2022, 2nd call for nominations
 2022-01-18 20:38 UTC 

FSCD 2022: Second Call for Papers
 2022-01-18 20:24 UTC 

Publication of Volume LXIII-1 of the "Cahiers"
 2022-01-18  9:15 UTC 

A new book
 2022-01-17 16:21 UTC 

Scott Johnson case
 2022-01-17  0:56 UTC 

2 post-doc openings in Kyoto & Tokyo, Japan
 2022-01-14 15:37 UTC 

fully funded graduate positions in Math at Western University
 2022-01-13  2:18 UTC 

fully funded graduate positions in Math at Western University
 2022-01-13  2:18 UTC 

A book on Algebraic Topology
 2022-01-10 17:27 UTC 

CMCS 2022: Second Call for Papers
 2022-01-10 11:15 UTC 

6 Postdoc positions in topological quantum science at NYU AD
 2022-01-09 14:39 UTC 

Applied Category Theory 2022 Adjoint School
 2022-01-04 16:20 UTC 

LMS Research School "Bicategories, categorification and quantum theory": first announcement
 2022-01-04 11:56 UTC 

Research positions
 2022-01-04 11:27 UTC 

Intercats: Seminar on Categorical Interaction
 2022-01-03 19:05 UTC 

Intercats: Seminar on Categorical Interaction
 2022-01-03 19:05 UTC 

Francois Lamarche's new email address
 2021-12-31 19:56 UTC 

ETAPS Test of Time Award 2022, call for nominations
 2021-12-28 19:28 UTC 

IJCAR 2022 - Call for Papers
 2021-12-17 11:49 UTC 

Topos Colloquium 2021 Retrospective and 2022 Prospective
 2021-12-17  7:03 UTC 

ICGT 2022: Call for Papers
 2021-12-10 13:38 UTC 

Certified Programs and Proofs (CPP) 2022: Call for Participation
 2021-12-09  0:19 UTC 

FW: CANCELLED: GReTA-ExACT online workgroup, Friday December 10
 2021-12-08 10:58 UTC 

Teaching tutorial this Friday Dec 10, at 9 am CET: Software Verification with Whiley, David Pearce
 2021-12-08  8:39 UTC 

FW: Invitation: GReTA-ExACT online workgroup, Friday December 10, 2021, 15:00 CET
 2021-12-06 10:54 UTC 

Post-doc position in RECIPROG project (located in Lyon, Nantes or Paris)
 2021-12-03 16:27 UTC 

Post-doc position in RECIPROG project (located in Lyon, Nantes or Paris)
 2021-12-03 16:27 UTC 

SYCO 8 - Final Call for Participation
 2021-12-02 15:21 UTC 

FW: Invitation: GReTA online seminar, Friday December 3, 2021, 15:00 CET
 2021-11-29  9:26 UTC 

Subject/From correction
 2021-11-24  1:44 UTC 

BOUNCE categories@mta.ca: Approval required: Non-member submission from [Bob Rosebrugh <rrosebru@mta.ca>] (fwd)
 2021-11-24  1:38 UTC 

MSFP 2022 - First Call for Papers
 2021-11-22 20:28 UTC 

FW: Invitation: GReTA-ExACT online workgroup, Friday November 26, 2021, 15:00 CET
 2021-11-22 15:20 UTC 

2nd ItaCa Workshop - Speakers
 2021-11-21 10:34 UTC 

Master in Pure and Applied Logic - Announcement
 2021-11-20 19:38 UTC 

TYPES 2021 post-proceedings: Second call for papers (Deadline extension)
 2021-11-19 22:02 UTC 

Novemberfest website
 2021-11-19  1:34 UTC 

An article of Francois Foltz
 2021-11-18 12:57 UTC 

CMCS 2022: First Call for Papers
 2021-11-15 18:04 UTC 

Next ItaCa Seminar
 2021-11-11 16:56 UTC 

Tenure Track Position at U. Ottawa
 2021-11-10  1:07 UTC 

Novemberfest Final Announcement With Links
 2021-11-10  1:04 UTC 

Postdoc in quantum computation at Dalhousie
 2021-11-08 19:46 UTC 

First Call for Papers - MPC 2022
 2021-11-08 15:43 UTC 

SYCO 8 - Call for Participation
 2021-11-08  9:42 UTC 

Novemberfest 3rd Announcement
 2021-11-03 20:43 UTC 

2nd ItaCa Workshop - Second Call for Contributions
 2021-11-03  0:25 UTC 

Congratulations to John and Emily
 2021-11-02 18:23 UTC 

FW: Invitation: GReTA online seminar, Friday November 5, 2021, 15:00 CET
 2021-11-02 15:46 UTC 

Open House on Category Theory 2021. Second announcement
 2021-11-01 13:37 UTC 

AMS-MRC Applied Category Theory 2022
 2021-10-29 21:16 UTC 

Pursuing Stacks
 2021-10-27  2:03 UTC 

[LICS] LICS 2022 Call for Papers
 2021-10-22 12:39 UTC 

Publication of Volume LXII-4 of the Cahiers
 2021-10-21  7:49 UTC 

TACL 2022: First announcement
 2021-10-20 17:37 UTC 

TYPES 2021 post-proceedings: Open call for papers
 2021-10-19 19:01 UTC 

composite qualities (extensive x intensive)
 2021-10-19  1:55 UTC 

postdoctoral position on polynomial functors at Topos Institute
 2021-10-18 22:31 UTC 

Conant Prize for Andrej Bauer
 2021-10-15 19:01 UTC 

Follow-up
 2021-10-13 22:28 UTC 

lambeq
 2021-10-13 13:33 UTC 

Three PhD positions in Logic, Proof Theory and Coalgebra (Groningen) *29 Nov 2021 deadline*
 2021-10-12 15:23 UTC 

Thomas Fox
 2021-10-12  7:15 UTC 

Thomas Fox
 2021-10-12  0:21 UTC 

Thomas Fox
 2021-10-10  2:51 UTC 

Thomas Fox
 2021-10-09 18:02 UTC 

Novemberfest Second Announcement
 2021-10-06 20:41 UTC 

FW: Invitation: GReTA online seminar, Friday October 8, 2021, 15:00 CEST
 2021-10-04 18:47 UTC 

2nd ItaCa Workshop - Call for Contributions
 2021-10-04 12:51 UTC 

FSCD 2022: First Call for Papers
 2021-10-01 17:54 UTC 

One-year postdoc position on category theory for lambda-calculus and proof theory, in the Paris area
 2021-09-29 19:39 UTC 

ECI 2022: Call for course proposals - Buenos Aires, July 2022
 2021-09-28 18:56 UTC 

Proof Theory Seminar, Autumn 2021
 2021-09-28 10:06 UTC 

SYCO 8 - Call for Papers
 2021-09-27 12:00 UTC 

Casa abierta sobre Teoría de Categorías, 18-19/11/2021
 2021-09-27  8:12 UTC 

Parts and telling apart
 2021-09-26  8:59 UTC 

Reminder: 2 year position on HoTT and related topics in Stockholm, deadline Friday next week
 2021-09-25  9:04 UTC  (2+ messages)
  ` [HoTT] "

Parts and telling apart
 2021-09-25  2:41 UTC 

ETAPS 2022 2nd joint call for papers
 2021-09-25  0:56 UTC 

Reminder: 2 year position on HoTT and related topics in Stockholm, deadline Friday next week
 2021-09-24 11:19 UTC 

Oct. Scientific American
 2021-09-23 15:43 UTC 

The Rosebrugh Festschrift
 2021-09-23  6:04 UTC 

"Unifying Themes in Geometry" - second announcement
 2021-09-21 23:31 UTC 

ITRS Call for Post-Proceedings
 2021-09-21  9:31 UTC 

ITRS Call for Post-Proceedings
 2021-09-21  9:31 UTC 

FW: Invitation: GReTA online seminar (hosted at IRIF), Friday September 24, 2021, 15:00 CEST
 2021-09-20  8:08 UTC 

FSCD 2022: Final Call for Workshops (deadline: September 27, 2021)
 2021-09-17 14:01 UTC 

[LICS] Call for Workshop Proposals affiliated to LICS at FLOC'22
 2021-09-17 11:09 UTC 

Research Position on IRIS project at Queen Mary University of London
 2021-09-15 19:52 UTC 

Conference Logic and Higher Structures
 2021-09-15 13:37 UTC 

Job advertisement at Aberdeen
 2021-09-14 12:32 UTC 

NExt ItaCa seminar
 2021-09-14  9:53 UTC 

Two PhD scholarships at Tallinn University of Technology
 2021-09-13 13:59 UTC 

School on Univalent Mathematics, Cortona (Italy), July 17-23, 2022
 2021-09-07 19:33 UTC 

YaMCATS 25 schedule etc
 2021-09-07 11:09 UTC 

Postdoctoral position in homotopy type theory and related topics at Stockholm University
 2021-09-06 11:43 UTC 

Postdoctoral position in homotopy type theory and related topics at Stockholm University
 2021-09-06 11:43 UTC 

"Unifying Themes in Geometry" - first announcement
 2021-09-04  2:32 UTC 

CfP: Logic and Interaction, Marseille, 24 Jan-25 Feb 2022
 2021-09-03 21:02 UTC 

ITRS Call for Post-Proceedings
 2021-09-01 19:34 UTC 

RAMiCS 2021 - Call for participation (onsite/online)
 2021-09-01 13:11 UTC 

Special online YaMCATS, 14 September 2021
 2021-08-26 12:47 UTC 

Novemberfest
 2021-08-24 14:49 UTC 

Em-Cats seminar series announcement
 2021-08-20 19:33 UTC 

Looking for contact address for Yves Diers
 2021-08-16 20:44 UTC 

Unity of Mathematics
 2021-08-09 19:44 UTC 

PhD position on coalgebra and semantics at Radboud University
 2021-07-29 11:48 UTC 

ITRS 2021 Call for Post-Proceedings
 2021-07-27 11:23 UTC 

Nico Pumplün
 2021-07-22  5:03 UTC  (2+ messages)
` categories: "

CT20->21 Fourth Announcement
 2021-07-19 15:54 UTC 

Postdoctoral position at Masaryk University
 2021-07-19  9:06 UTC 

FW: Invitation: GReTA online seminar, July 16 at 15:00 CEST
 2021-07-13 21:04 UTC 

Publication of Volume LXII-3 of the Cahiers
 2021-07-11 17:20 UTC 

ETAPS 2022 1st joint call for papers
 2021-07-09 15:04 UTC 

polynomials and dynamical systems mini-course
 2021-07-09  0:23 UTC 

CALL FOR PARTICIPATION -- APPLIED CATEGORY THEORY 2021, CAMBRIDGE UK, JULY 12-16 -- HYBRID CONFERENCE
 2021-07-08 16:34 UTC 

CALL FOR PARTICIPATION -- APPLIED CATEGORY THEORY 2021, CAMBRIDGE UK, JULY 12-16 -- HYBRID CONFERENCE
 2021-07-08 16:34 UTC 

More self-publicity
 2021-07-08 15:53 UTC 

Call for Participation: HoTT/UF 2021 - July 17-18
 2021-07-08 12:50 UTC 

Call for Participation: HoTT/UF 2021 - July 17-18
 2021-07-08 12:50 UTC 

Second Call for Papers (Deadline Extension): Formal Methods Teaching Workshop and Tutorial (FMTea 2021)
 2021-07-02 10:03 UTC 

Looking for the thesis of Michel Thiébaud
 2021-07-01 16:07 UTC 

Call for Workshops: FLoC 2022 -- The 2022 Federated Logic Conference
 2021-07-01 15:14 UTC 

"Toposes online" - second announcement
 2021-06-17 17:25 UTC 

FSCD 2021: Call for (Online) Participation
 2021-06-14 12:36 UTC 

CT20->21 Third Announcement
 2021-06-14  7:53 UTC 

Call for Papers: Fifth Workshop on Formal Mathematics for Mathematicians (FMM 2021)
 2021-06-14  7:30 UTC 

Leicester
 2021-06-11 13:04 UTC  (2+ 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