Looking for a reference
2020-07-14 16:08 UTC
GeoCat workshop -- Sunday 5 and Monday 6 July
2020-07-04 11:54 UTC
CT2020->21
2020-07-01 7:29 UTC
Call for Participation: HoTT/UF 2020 - July 5-7
2020-06-25 13:17 UTC
CfP: ICTAC 2020
2020-06-25 6:02 UTC
Fully funded PhD positions at Tallinn University of Technology
2020-06-23 12:13 UTC
[CfP] ICLP DC 2020 - 16th Doctoral Consortium on Logic Programming
2020-06-23 9:15 UTC
ICGT 2020: Call for Online Participation
2020-06-21 16:27 UTC
Call for Tutorial Proposals: ICFP 2020
2020-06-17 0:18 UTC
[LICS] LICS 2020 Call for Participation
2020-06-16 18:40 UTC
ETAPS 2020 afternoon, online, 2 July 2020, call for participation
2020-06-16 7:42 UTC
Locally internal stacks as categories of families?
2020-06-15 5:43 UTC
The HoTTEST Conference of 2020, June 15-19 (homotopy type theory)
2020-06-12 16:04 UTC
locales such that the associated topos is subdiscrete?
2020-06-10 10:40 UTC (2+ messages)
PhD Position in Artificial Intelligence at TU Wien, Vienna, Austria. Application deadline: July 15, 2020
2020-06-09 14:23 UTC
PhD position(s) in Structural and Algorithmic Aspects of Preference-based Problems in Social Choice - Vienna, Austria - Deadline: July 31, 2020
2020-06-09 13:50 UTC
locales such that the associated topos is subdiscrete?
2020-06-09 9:09 UTC
Categories everywhere
2020-06-05 13:35 UTC
EPIT 2020: Spring School on Homotopy Type Theory (new dates)
2020-06-05 9:18 UTC
EPIT 2020: Spring School on Homotopy Type Theory (new dates)
2020-06-05 9:11 UTC
PhD position in automata theory, University of Warsaw
2020-06-04 17:03 UTC
Adjoining companions
2020-06-04 9:21 UTC
CfP : International Workshop on Quantum Compilation : 23-24 Sept 2020
2020-06-03 10:15 UTC
Call for Submissions: ICFP Student Research Competition
2020-06-02 14:01 UTC
12 PhD Positions in the Doctoral Program Logical Methods in Computer Science (LogiCS) - fully funded - Vienna, Austria - Deadline: 12 June 2020
2020-06-02 12:16 UTC
Categorical Probability and Statistics: final call for participation
2020-06-01 19:51 UTC
Online Worldwide Seminar on Logic and Semantics -- Summer Programme
2020-06-01 17:25 UTC
ICALP 2020 - call for participation
2020-06-01 10:03 UTC
Old question of McLarty on triposes
2020-05-27 12:31 UTC
Several four-year PhD grants at the Faculty of Computer Science of the Free University of Bozen-Bolzano in Italy
2020-05-26 14:11 UTC
Postdoc in Proof Theory - University of Birmingham, UK
2020-05-26 11:43 UTC
Categories everywhere
2020-05-23 13:31 UTC
CfP: ICTAC 2020
2020-05-22 10:43 UTC
Workshop on Logic Programming: Trends, Extensions, Applications, 28-29 May 2020
2020-05-22 3:44 UTC
Update: Workshop on ∞-categories and their applications
2020-05-20 15:53 UTC
MFPS 2020 -- Call for Participation
2020-05-20 14:57 UTC
PhD studentships
2020-05-14 12:32 UTC
Call for Contributions: Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'20) on July 5-6, 2020
2020-05-11 3:21 UTC
CSL 2021: 2nd CFP
2020-05-04 17:33 UTC
Final call for contributions for the virtual WiL 2020 (4th Women in Logic Worskhop collocated with Petri Nets, IJCAR etc)
2020-05-04 14:02 UTC
Final call for contributions for the virtual WiL 2020 (4th Women in Logic Worskhop collocated with Petri Nets, IJCAR etc)
2020-05-04 14:02 UTC
Applied Category Theory Conference (ACT2020)
2020-05-03 15:58 UTC
Brno Algebra Seminar
2020-05-03 11:02 UTC
ICFEM'20 deadline extended to 17th May 2020
2020-04-29 7:26 UTC
ICFEM'20 deadline extended to 17th May 2020
2020-04-29 7:26 UTC
PhD position at University of Birmingham, UK
2020-04-27 21:22 UTC
Deadline Extension: Workshop on Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Science (SemSpace2020)
2020-04-27 13:36 UTC
FINAL Call for Papers: VIRTUAL Linearity & TLLA 2020
2020-04-25 13:34 UTC
[CfP] Special Session: Women in Logic Programming - ICLP2020
2020-04-21 11:36 UTC
[CfP] ICLP2020 Main Track: The 36th International Conference on Logic Programming
2020-04-20 14:09 UTC
The HoTTEST Conference of 2020, June 15-19, only on the internet
2020-04-19 16:50 UTC
The HoTTEST Conference of 2020, June 15-19, only on the internet
2020-04-19 16:50 UTC
Certified Programs and Proofs (CPP) 2021: First Call for Papers
2020-04-18 16:23 UTC
Volume LXI-2 of the "Cahiers"
2020-04-15 7:40 UTC
Postdoctoral position at Western Sydney University
2020-04-14 1:24 UTC
Online Seminar: A gentle introduction to template games
2020-04-10 17:35 UTC
Joint Postdoctoral Fellowship at University of Oxford and University of Hong Kong in Quantum Information/Quantum Gravity
2020-04-10 11:47 UTC
Special Volume in honor of Bob Rosebrugh
2020-04-09 16:04 UTC
Second CFP GraMSec 2020
2020-04-08 17:48 UTC
Extended Call for Contributions - VIRTUAL 4th Women in Logic Workshop - WiL 2020 - June 30, 2020, virtual
2020-04-08 13:23 UTC
Deadline Extension for E. W. Beth Outstanding Dissertation Prize 2020
2020-04-08 8:34 UTC
Call for Papers: A Festschrift in Honour of John Power on his 60th Birthday in MSCS
2020-04-08 5:38 UTC
Online Workshop "Categorical Probability and Statistics", 5-8 June 2020
2020-04-07 14:33 UTC
Second Call for Papers: VIRTUAL Linearity & TLLA 2020
2020-04-07 13:52 UTC
Update on Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'20) on July 5-6, 2020
2020-04-06 23:06 UTC
[CfP] ICLP2020 -The 36th International Conference on Logic Programming
2020-04-06 13:12 UTC
Applied Category Theory Conference (ACT2020)
2020-04-03 15:24 UTC
Second CfP: Workshop on Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Science (SemSpace2020)
2020-04-03 13:30 UTC
Teaching PhD Position in Quantitative Systems and Reasoning Methods
2020-03-31 12:09 UTC
Announcing the Online Worldwide Seminar on Logic and Semantics (OWLS)
2020-03-27 22:58 UTC
CfP: ICTAC 2020
2020-03-26 6:06 UTC
PhD in formal methods and security, cotutelle France-Scotland
2020-03-25 13:27 UTC
"Enriched Categories and Topology"
2020-03-25 0:59 UTC
Category Theory Community Server
2020-03-24 20:00 UTC
Multiple Research Positions (3 Doctoral, 5 Post-doctoral) on AI Verification
2020-03-24 11:05 UTC
ACT@UCR seminar
2020-03-24 5:03 UTC
ACT2020 will take place online
2020-03-23 21:07 UTC
Final call for (Self-)Nominations for the VCLA International Student Awards for Outstanding Master and Bachelor Theses in Logic and Computer Science - Deadline: 9.4.2020 AoE
2020-03-23 11:06 UTC
update on MFPS 2020
2020-03-21 11:27 UTC
The MIT Categories Seminar is moving online
2020-03-17 23:56 UTC
Workshop on ∞-categories and their applications
2020-03-17 13:17 UTC
Second Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2020
2020-03-17 10:50 UTC
Alonzo Church Award - Call for Nominations
2020-03-16 18:14 UTC
FMCS postponed
2020-03-15 19:36 UTC
CANCELLED - PSSL 106
2020-03-13 18:15 UTC
postponing CT2020
2020-03-13 11:30 UTC
POSTPONED: SYCO 7
2020-03-12 17:27 UTC
Job at the University of Leeds
2020-03-12 14:41 UTC
Graphical Models in Security 2020 CFP
2020-03-11 16:04 UTC
CANCELLED: 4th Midwest HoTT Seminar
2020-03-11 0:50 UTC
(Extended Deadline) VCLA International Student Awards 2020 for Outstanding Master and Bachelor Theses awarded between 15.11.2018 and 31.12.2019 (inclusive)
2020-03-09 9:07 UTC
Announcement: 4th Midwest HoTT Seminar
2020-03-05 18:45 UTC
TAC Announcement: New Managing Editor
2020-03-04 17:13 UTC
TAC Announcement: New Managing Editor
2020-03-04 14:01 UTC
MFPS final call for papers
2020-03-03 13:01 UTC
Applied Category Theory Conference (ACT2020)
2020-03-02 21:34 UTC
EPIT 2020: Spring School on Homotopy Type Theory (last announcement)
2020-03-02 19:12 UTC
STRING 2020
2020-03-02 10:57 UTC
Mario Bunge
2020-02-29 14:21 UTC
CMCS 2020: Call for Short Contributions
2020-02-26 19:23 UTC
Call for Workshop Proposal - 36th International Conference on Logic Programming (ICLP2020)
2020-02-25 16:14 UTC
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 (2+ messages)
MFPS VVVXI First Call for Papers
2019-11-16 19:07 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).