Postdoc in Proof Theory - University of Birmingham, UK
2022-05-12 16:31 UTC
Advertising UT Austin Summer Minicourses
2022-05-12 1:54 UTC
Pieter Hofstra
2022-05-11 15:57 UTC
CMU HoTT Seminar Online: Shulman (part III)
2022-05-11 11:34 UTC
SPLV 2022 - Call for Participation
2022-05-10 7:52 UTC
PLanQC 2022: First call for submissions
2022-05-09 20:18 UTC
Women in Logic 2022 - Call for Contributions
2022-05-09 12:04 UTC
Pieter Hofstra
2022-05-05 16:10 UTC
CMU HoTT Seminar Online: M. Shulman, Towards Third-Generation HOTT, May 5 & 12
2022-05-05 2:04 UTC
Pieter Hofstra
2022-05-04 21:11 UTC (3+ messages)
Pieter Hofstra
2022-05-04 19:59 UTC
Pieter Hofstra
2022-05-04 17:49 UTC
Pieter Hofstra
2022-05-04 16:57 UTC (2+ messages)
Yet more self-publicity
2022-05-02 22:23 UTC
announcing the HoTTEST Summer School (save the dates)
2022-05-02 1:45 UTC
BCS-FACS evening seminar, 24 June 2022: Alan Turing at 110 - and at Oxford!
2022-05-01 22:29 UTC
Applied Category Theory 2022: Second Call for Papers
2022-04-27 9:48 UTC
CMU HoTT Seminar Online: M. Shulman, Towards Third-Generation HOTT, April 28, May 5 & 12
2022-04-23 18:15 UTC
TCS assistant professorship at VU Amsterdam
2022-04-21 19:45 UTC
Reminder: PhD positions in Stockholm, deadline this Friday, 22 April
2022-04-19 9:55 UTC
Reminder: PhD positions in Stockholm, deadline this Friday, 22 April
2022-04-19 9:55 UTC
Postdoc position in Tokyo: model checking and optimization metaheuristics
2022-04-18 15:27 UTC
Postdoc position in Tokyo: model checking and optimization metaheuristics
2022-04-18 15:27 UTC
Reminder ItaCa Fest 2022
2022-04-18 7:29 UTC
FTfJP 2022 - Call for Papers - Deadline Extended!
2022-04-13 16:00 UTC
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
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).