An elementary question
2017-08-15 14:21 UTC (9+ messages)
` "
EATCS Bulletin, call for abstracts
2017-08-10 9:01 UTC
Mea culpa
2017-08-09 20:32 UTC
RV 2017 - 2nd Call for Participation
2017-08-08 15:23 UTC
Algebraic closures and arithmetic universes
2017-08-03 10:24 UTC (4+ messages)
` "
Do there exist nontrivial locally bounded geometric morphisms and/or locally (pre)sheaf toposes?
2017-08-02 16:20 UTC (2+ messages)
FSCD 2017 - Call for participation (early registration ends soon)
2017-08-02 12:10 UTC
Last call for contributions to the special volume of Tbilisi Mathematical Journal in honor of P.J. Freyd and F.W. Lawvere
2017-08-01 21:13 UTC
CT 2018 - First announcement
2017-08-01 7:57 UTC
Postdoctoral Position - Error in Embedded Link
2017-07-26 17:39 UTC
Postdoctoral Position
2017-07-26 16:56 UTC
What is a contractible simplicial object?
2017-07-21 15:14 UTC
2018 Summer Lectures "Diffeology, Categories, Toposes and NCG"
2017-07-20 11:57 UTC
n-types and n-fold structures
2017-07-20 10:53 UTC
Ph.D. and post-doctoral positions in Como
2017-07-19 22:03 UTC
Fully funded PhD studentship in Automated Verification through Coalgebras at the University of Southampton
2017-07-19 21:22 UTC
Fully funded PhD studentship in Automated Verification through Coalgebras at the University of Southampton
2017-07-19 21:22 UTC
RV 2017 - 1st Call for Participation
2017-07-19 15:15 UTC
n-types and n-fold structures
2017-07-19 14:55 UTC
Homotopy hypothesis for contractible operad definitions of weak n-categories
2017-07-16 5:53 UTC
Homotopy hypothesis for contractible operad definitions of weak n-categories
2017-07-15 20:59 UTC
some new preprints/presentation
2017-07-15 14:08 UTC
some new preprits/presentation
2017-07-15 14:08 UTC
Homotopy hypothesis for contractible operad definitions of weak n-categories
2017-07-15 6:35 UTC (2+ messages)
CT Oktoberfest in Pittsburgh 10/28-29
2017-07-13 23:39 UTC
Models of finite-limit sketches in internal logic of a (pre)topos
2017-07-13 10:33 UTC (3+ messages)
CT2017-Program now available
2017-07-13 7:34 UTC
APCS: special volume in honour of Robert Lowen
2017-07-12 18:05 UTC
Homotopy hypothesis for contractible operad definitions of weak n-categories
2017-07-12 13:12 UTC (2+ messages)
Workshop Brussels August 29-30, 2017
2017-07-12 8:44 UTC
FSCD 2017 - Call for participation
2017-07-11 17:28 UTC
Is there a standard name?
2017-06-30 23:29 UTC
HIGHLIGHTS 2017 -- Call for Participation
2017-06-30 12:44 UTC
Full-Time Postdoctoral Research Fellow and Researcher/Research Engineer
2017-06-24 12:54 UTC
Functors arising from a relational Grothendieck construction
2017-06-24 8:37 UTC (7+ messages)
` "
[CFP] UNIF 2017 -- deadline extension
2017-06-21 8:04 UTC
Charles Wells
2017-06-21 0:47 UTC
List delay
2017-06-20 19:03 UTC
2nd CfP: STRING 2017
2017-06-15 15:05 UTC
Is there a name for this?
2017-06-15 14:58 UTC
History of CT meetings
2017-06-14 10:16 UTC (5+ messages)
PSSL 101: second announcement
2017-06-13 9:40 UTC
PhD and Postdoc Position in Monad-Based Programming and Verification at FAU
2017-06-08 13:33 UTC
[CFP] Call for Papers: UNIF 2017 -- FSCD workshop
2017-06-06 9:22 UTC
MFPS XXXIII/CALCO 2017: Call for Participation - Online Registration Deadline: June 8
2017-06-05 21:47 UTC
Logic Colloquium 2017: Call for Registration and Participation ** Deadline for early registration: June 9, 2017 **
2017-06-01 21:16 UTC
YaMCATS 12 University of Leeds 14 June 2017
2017-06-01 13:43 UTC
[MCA2017] Computations in Groups and Applications in Montréal
2017-05-30 11:37 UTC
LSFA'17: Second Call for Papers
2017-05-26 14:08 UTC (2+ messages)
` LSFA'17: Third "
Workshop on Coinduction in Type Theory in Chambéry
2017-05-24 7:56 UTC
Changes in the “Cahiers de Topologie et Geometrie Differentielle Categoriques”
2017-05-23 17:30 UTC
Categories for Homotopy Theory and Rewriting
2017-05-23 14:11 UTC
LFCS 2018 Call for Papers
2017-05-23 13:48 UTC
LFCS 2018 Call for Papers
2017-05-23 13:48 UTC
Postdoc at AFRL
2017-05-16 22:01 UTC
Final Announcement for FMCS 2017
2017-05-12 20:06 UTC
Updated CfP: STRING 2017
2017-05-11 10:57 UTC
CfP: STRING 2017
2017-05-10 13:21 UTC
Final announcement: Workshop on Infinity-operads and Applications
2017-05-08 13:48 UTC
History of string diagrams
2017-05-07 19:03 UTC (6+ messages)
` "
CT2017-Deadlines for early registration and for abstracts
2017-05-06 6:26 UTC
Second call for contributions for a Special Issue of the Tbilisi Mathematical Journal in honor of P.J. Freyd and F. W.Lawvere on the occasion of their 80th birthdays
2017-05-05 12:43 UTC
Learning and Automata workshop: call for participation, early reg deadline 5 May
2017-05-04 9:44 UTC
Post-Doctoral Researcher in HoTT
2017-05-03 22:24 UTC
Essential vs Molecular
2017-05-03 12:49 UTC
Assistant Professor in Computing Science - Umeå. Sweden
2017-05-02 16:20 UTC
YaMCATS 11 University of Sheffield 8 May 2017
2017-05-02 10:31 UTC
Logic Colloquium 2017: Final Call for Submissions ** Deadline for abstract submissions: May 5 **
2017-04-28 22:52 UTC
acyclic models correction
2017-04-28 9:32 UTC
Simplicial acyclic models
2017-04-27 21:12 UTC
Simplicial acyclic models
2017-04-26 23:11 UTC
Postdoctoral Position Closing
2017-04-26 21:44 UTC
Call for papers: Structures and Deduction 2017
2017-04-26 18:47 UTC
When is Fam(E) a topos?
2017-04-24 9:57 UTC
Call for Participation: International Summer School for Proof Theory in First-order Logic
2017-04-24 8:45 UTC
when is Fam (E) a topos?
2017-04-23 8:52 UTC (4+ messages)
Fwd: Open Positions in Tokyo: Formal Methods and Cyber-Physical Systems
2017-04-19 12:09 UTC
1-Year Senior Researcher in HoTT
2017-04-18 22:14 UTC
About the cartesian closedness of the category of all small diagrams
2017-04-17 0:11 UTC (5+ messages)
RV and RV-CuBES 2017 - Call for papers and tutorials
2017-04-15 18:39 UTC
About the cartesian closedness of the category of all small diagrams
2017-04-13 20:00 UTC
Assistant Professor position at Dalhousie
2017-04-11 14:43 UTC
EATCS Bulletin, call for abstracts
2017-04-11 5:57 UTC
EATCS Bulletin, call for abstracts
2017-04-11 5:57 UTC
Logic Colloquium 2017:,Second Announcement and Call for Submissions and Participation
2017-04-10 8:29 UTC
PSSL 101: first announcement
2017-04-06 22:03 UTC
1-year postdoc/teaching possition + PhD positions in Brussels
2017-04-06 15:10 UTC
LICS Early Registration deadline Tomorrow (Friday 7 April)
2017-04-06 10:21 UTC
NLS 2017: Third Nordic Logic Summer School (NLS) 2017: Call for Participation and Registration
2017-04-06 9:50 UTC
meeting on Applied Category Theory
2017-04-05 18:54 UTC
FSCD 2017 - Last Call for Papers (ABSTRACT DEADLINE THIS WEEK)
2017-04-05 7:48 UTC
Canadian funding for graduate students "with uncertain status in their current location"
2017-04-05 0:22 UTC
FMCS 2017
2017-04-03 17:36 UTC
Categories Logic and Physics Scotland 5 April 2017
2017-03-28 8:54 UTC
Second call for papers: QPL 2017
2017-03-27 13:48 UTC
Second call for papers: QPL 2017
2017-03-27 13:48 UTC
[Mycolleagues] FGCT 2017
2017-03-27 10:03 UTC
Visiting Assistant Professor positions
2017-03-26 2:12 UTC
[LICS] LICS 2017 Call for Participation: Early Registration by April 7
2017-03-24 15:15 UTC
CALCO 2017: Last Call for Papers | CALCO Tools & CALCO Early Ideas: Call for Contributions
2017-03-24 14:05 UTC
PhD studentships at the University of Leicester
2017-03-23 14:51 UTC
Book on categorical diagrams/quantum theory
2017-03-22 16:05 UTC
Term for edges between graph homomorphisms?
2017-03-17 18:03 UTC
Term for edges between graph homomorphisms?
2017-03-16 16:58 UTC
3rd Call RV2017 (includes invited speakers): Runtime Verification, September 13 - 16 2017, Seattle USA
2017-03-15 11:46 UTC
Postdoc in Semantics and Tools for Functional Quantum Programming Languages
2017-03-14 15:26 UTC
Grothendieck Construction
2017-03-13 21:40 UTC
Call for submissions for a TMJ special volume to honor both Peter Freyd and Bill Lawvere on the (belated) occasions of their 80th birthdays
2017-03-13 16:25 UTC
Ackermann Award 2017
2017-03-13 9:53 UTC
Fibrations of groupoids
2017-03-12 21:23 UTC
Midlands Graduate School 2017, Leicester, UK
2017-03-12 19:09 UTC (3+ messages)
` Midlands Graduate School 2017, Leicester, UK - Registration now open
` ** Final Call ** for Midlands Graduate School 2017, Leicester, UK - Registration closes 20 Mar 2017
** Final Call ** for Midlands Graduate School 2017, Leicester, UK - Registration closes 20 Mar 2017
2017-03-12 19:09 UTC
positions
2017-03-12 7:24 UTC
MFPS 33: Deadline Extension
2017-03-10 19:31 UTC
FSCD 2017 - Second Call for Papers
2017-03-06 15:12 UTC
24th WoLLIC 2017 - DEADLINE APPROACHING
2017-03-05 15:45 UTC
Categories Logic and Physics Scotland 5 April 2017: call for participation
2017-03-04 20:24 UTC
Categories Logic and Physics Scotland 5 April 2017: call for participation
2017-03-04 20:24 UTC
CT2017 Registration and Accommodation Update
2017-03-04 20:07 UTC
The Bunges on categories
2017-03-04 19:31 UTC
Birmingham Fellows: prestige posts available
2017-03-03 10:48 UTC
Fwd: IMLA 2017 Deadline Extension
2017-03-01 1:20 UTC
ETAPS 2017 early registration deadline approaching
2017-02-28 20:52 UTC
Bottom line to: Does equality between sets contradict the philosophy behind structural set theory?
2017-02-28 14:24 UTC (2+ messages)
Bottom line to: Does equality between sets contradict the philosophy behind structural set theory?
2017-02-28 5:56 UTC
ETAPS 2018 call for satellite events
2017-02-27 22:37 UTC
Postdoc at Macquarie
2017-02-27 21:12 UTC
post-doc position announcement
2017-02-27 2:48 UTC
Does equality between sets contradict the philosophy behind structural set theory?
2017-02-26 7:40 UTC (2+ messages)
Does equality between sets contradict the philosophy behind structural set theory?
2017-02-26 5:23 UTC
Lectures by George Janelidze and workshop in Louvain-la-Neuve
2017-02-25 13:57 UTC
LOLA 2017: Call for Talk Proposals
2017-02-24 14:37 UTC
Weighted limits
2017-02-21 0:00 UTC
(unknown)
2017-02-16 16:43 UTC
Midlands Graduate School 2017, Leicester, UK - Registration now open
2017-02-16 14:05 UTC
PhD position in Homotopy Type Theory
2017-02-16 13:00 UTC
Weighted limits
2017-02-15 19:39 UTC
2nd call RV2017: Runtime Verification, September 13 - 16 2017, Seattle USA
2017-02-15 12:10 UTC
Weighted limits
2017-02-15 10:33 UTC
Terminology
2017-02-14 9:39 UTC (3+ messages)
Weighted limits
2017-02-13 14:41 UTC
Terminology
2017-02-11 15:07 UTC (7+ messages)
FMCS First Announcment
2017-02-10 21:09 UTC
Categories for Homotopy Theory and Rewriting
2017-02-10 11:03 UTC
Terminology
2017-02-09 22:03 UTC
Third Nordic Logic Summer School (NLS) 2017: Second announcement and call for papers
2017-02-08 22:15 UTC
WiL 2017: Women in Logic Workshop Second Call for Papers (new dates)
2017-02-06 18:48 UTC
LSFA'17: First Call for Papers
2017-02-06 15:02 UTC
FSCD'17 Call for Papers
2017-02-06 14:54 UTC
motivation
2017-02-06 8:15 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).