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
CALCO 2019: Second Call for Papers
2019-03-19 17:32 UTC
Question on simplicial homotopies
2019-03-18 19:10 UTC
SYCO 3 - Final Call For Participation
2019-03-18 17:14 UTC
Category Theory Octoberfest 2019 -- save the date
2019-03-16 17:11 UTC
Workshop on Formal Topology (6WFTop)
2019-03-14 15:40 UTC (2+ messages)
` Workshop on Formal Topology (6WFTop): registration now open
Second CfP: Workshop on Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Sciences, 5th-9th August 2019
2019-03-14 12:02 UTC
Second CfP: Workshop on Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Sciences, 5th-9th August 2019
2019-03-14 12:02 UTC
PPDP'19 2nd call for papers
2019-03-13 6:40 UTC
MFPS XXXV - Call for Papers
2019-03-10 10:54 UTC
YaMCATS 18 University of Leicester 18 March 2019
2019-03-07 12:07 UTC
SYCO 3 - Call For Participation
2019-03-07 9:37 UTC
job at Macquarie
2019-03-06 20:14 UTC
TbiLLC 2019: Call for Papers
2019-03-05 12:59 UTC
[] FROM 2019 - 1st Call for Papers
2019-03-04 20:49 UTC
Homotopy Type Theory and Univalent Foundations conference June 2019 in Oslo
2019-03-04 9:31 UTC
Summer School on HHT/UF - Registration open
2019-03-04 8:22 UTC
Ackermann Award 2019: Final Call for Nominations
2019-03-03 18:03 UTC
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
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).