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 (14+ 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
CFP: JOINT SYCO-STRING WORKSHOP (submissions open)
2019-07-10 12:26 UTC
Final Call for Participation: Scottish Programming Languages and Verification Summer School
2019-07-02 16:12 UTC
Applied Category Theory Conference at Oxford: program
2019-07-02 14:59 UTC
Applied Category Theory Conference at Oxford: program
2019-07-02 13:31 UTC
Open Positions in Tokyo: Formal Methods, Learning and Cyber-Physical Systems
2019-06-25 17:54 UTC
New book on higher category theory
2019-06-24 16:46 UTC
Open CfP: TYPES 2019 post-proceedings
2019-06-22 11:07 UTC
CfP (deadline extension) - Formal Aspects of Component Software (FACS 2019, 23-25 October, Amsterdam)
2019-06-19 15:08 UTC
Postdoc position on quantified effects at Reykjavik University
2019-06-18 19:55 UTC
About "Coequalizers and free triples, II"
2019-06-14 19:55 UTC
CFP: JOINT SYCO-STRING WORKSHOP
2019-06-11 12:05 UTC
Deadline extension |CFP CRiSIS 2019 |Hammamet Tunisia
2019-06-10 17:28 UTC
Deadline extension |CFP CRiSIS 2019 |Hammamet Tunisia
2019-06-10 17:26 UTC
Canada Research Chair Positions at Western - Special Call for Designated Groups
2019-06-07 11:42 UTC
Facets of realizability - call for participation
2019-06-05 13:41 UTC
John Power Retirement Meeting
2019-06-04 20:27 UTC
CT2019: registration closing soon!
2019-06-04 19:21 UTC
PhD Positions within the MSP Group, University of Strathclyde
2019-06-03 9:42 UTC
YaMCATS 19, University of Birmingham, 11 June 2019
2019-06-02 19:09 UTC
Postdoc at CMU
2019-06-01 12:54 UTC
EPIT 2020: Spring School on Homotopy Type Theory (first announcement)
2019-05-28 8:13 UTC
EPIT 2020: Spring School on Homotopy Type Theory (first announcement)
2019-05-28 8:13 UTC
Postdoc positions in compositionality and applied category theory
2019-05-23 10:47 UTC
Facets of realizability - last call for contributions
2019-05-20 13:47 UTC
Summer School on HHT/UF - Registration closes soon
2019-05-18 15:41 UTC
Scottish Programming Languages and Verification Summer School, Strathclyde, Glasgow, UK, 5--9 August 2019
2019-05-16 21:58 UTC
Final Call for Participation: Fourth Symposium on Compositional Structures (SYCO 4)
2019-05-16 20:51 UTC
Several Open Research Positions within Research Training Group,"Cybercrime and Forensic Computing"
2019-05-15 7:27 UTC
About that missing paper
2019-05-10 19:02 UTC
TYPES 2019 and HoTT-UF, 11-14 June 2019, Oslo: Call for Participation, early registration deadline 25 May
2019-05-10 15:55 UTC
TYPES 2019 and HoTT-UF, 11-14 June 2019, Oslo: Call for Participation, early registration deadline 25 May
2019-05-10 15:55 UTC
CALCO 2019 and MFPS XXXV: Call for Participation and Early Ideas Abstracts
2019-05-09 19:12 UTC
Missing paper
2019-05-09 12:46 UTC
Arithmetisation dans le topos
2019-05-09 7:29 UTC
Help with references
2019-05-08 20:26 UTC
Deadline extension: Applied Category Theory 2019, July 15-19, Oxford
2019-05-04 9:29 UTC
Deadline extension: Applied Category Theory 2019, July 15-19, Oxford
2019-05-04 9:29 UTC
Nomenclature question
2019-05-04 0:17 UTC
Facets of realizability - call for contributions
2019-04-29 8:17 UTC
Bx 2019 Call for Participation (Workshop on Bidirectional Transformations)
2019-04-27 9:25 UTC
Third call for submissions: HoTT 2019
2019-04-26 22:40 UTC
CfP (Deadline Extension): Workshop on Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Sciences, 5th-9th August 2019
2019-04-24 20:16 UTC
Final Call for Papers: Fourth Symposium on Compositional Structures (SYCO 4)
2019-04-23 20:06 UTC
Final call for contributions: Applied Category Theory 2019, July 15-19, Oxford
2019-04-23 13:40 UTC
Final call for contributions: Applied Category Theory 2019, July 15-19, Oxford
2019-04-23 13:40 UTC
Volume LX-2 of the "Cahiers"
2019-04-21 14:15 UTC
Fwd: Mini-course Friedrich Wehrung - May 20 - 24
2019-04-19 14:55 UTC
Postdoctoral position in quantum theory in Edinburgh
2019-04-18 10:42 UTC
Deadline Extension : Structures and Deduction 2019, Dortmund June 29-30 (affiliated with FSCD)
2019-04-15 16:05 UTC
Second Call for Papers: Fourth Symposium on Compositional Structures (SYCO 4)
2019-04-12 20:38 UTC
FroCoS 2019 (London): second call for papers
2019-04-11 22:20 UTC
TABLEAUX 2019 (London): second call for papers
2019-04-11 22:13 UTC
FSCD 2019 - Call for Participation (early registration ends May 13th)
2019-04-11 13:34 UTC
Call for Papers: 37th IEEE International Conference on Computer Design (ICCD'19)
2019-04-10 1:29 UTC
Open Positions in Tokyo: Formal Methods, Learning and Cyber-Physical Systems
2019-04-08 16:23 UTC
[] FROM 2019 - second Call for Papers
2019-04-08 11:35 UTC
CfP: AIRLangComp'19: AI aspects in Reasoning, Languages, and Computation 2019
2019-04-07 19:05 UTC
[LICS] LICS 2019 Registration and Website Mirror
2019-04-05 20:33 UTC
Call for Participation: CSR-2019
2019-04-04 16:15 UTC
Call for papers: Fourth Symposium on Compositional Structures (SYCO 4)
2019-04-04 3:06 UTC
*** PSSL105 *** University of Palermo *** May 17th-19th, 2019 *** Third announcement ***
2019-04-03 22:40 UTC
Category Theory 2019: call for contributions and participation
2019-04-03 13:26 UTC
Giovanni Sambin and Steve Vickers retirements joint celebration
2019-04-03 13:18 UTC
MFPS XXXV - Deadline Extension & Final Call for Papers
2019-04-02 19:01 UTC
2nd CfP : Structures and Deduction '19, Dortmund June 29-30 (colocated with FSCD)
2019-04-01 20:32 UTC
2nd CfP : Structures and Deduction '19, Dortmund June 29-30 (colocated with FSCD)
2019-04-01 20:32 UTC
TbiLLC2019: Final call for papers (extended deadline)
2019-03-29 14:54 UTC
PhD position EFFICIENT AND NATURAL PROOFS AND ALGORITHMS at the University of Bath
2019-03-29 10:37 UTC
PhD position EFFICIENT AND NATURAL PROOFS AND ALGORITHMS at the University of Bath
2019-03-29 10:37 UTC
Quantum Physics and Logic 2019: FINAL CALL FOR PAPERS
2019-03-26 10:09 UTC
position
2019-03-25 13:33 UTC
a copy of Bunge's "Categories of set-valued functors"
2019-03-22 15:50 UTC
Caleidoscope Complexity School: 2nd Call for Participation and Application to Financial Support
2019-03-22 11:04 UTC
Second CFS (extended deadline): International Conference on Homotopy Type Theory 2019
2019-03-20 18:50 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).