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
LSFA'17: Second Call for Papers
2017-03-09 15:25 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
Off topic item
2017-02-06 0:33 UTC
CT2017 Registration is now open
2017-02-05 3:05 UTC
Reference for lifting an adjunction to a monoidal one
2017-02-05 1:31 UTC (3+ messages)
motivation
2017-02-04 1:07 UTC
NY Times article
2017-02-03 17:00 UTC (2+ messages)
CALCO 2017: Second Call for Papers
2017-02-03 15:29 UTC
Math Research Communities on Homotopy Type Theory, June 4-10, 2017, Snowbird UT
2017-02-03 14:59 UTC
Math Research Communities on Homotopy Type Theory, June 4-10, 2017, Snowbird UT
2017-02-03 2:22 UTC
TbILLC 2017: 1st Call for Papers
2017-02-01 19:31 UTC
Conference Invitation: Higher Structures Lisbon, 24-27 July 2017
2017-01-31 13:53 UTC
YaMCATS 10 University of Leicester 13 February 2017
2017-01-27 13:48 UTC
A preprint on multiple categories
2017-01-24 8:48 UTC
CfP for 11th IWC 2017
2017-01-23 12:28 UTC
ETAPS 2017 call for participation
2017-01-21 20:12 UTC
Fibred 2-category of Grothendieck toposes?
2017-01-17 11:27 UTC
Theorem or Paradox
2017-01-16 10:33 UTC (10+ messages)
MFPS 33: first call for papers
2017-01-12 11:34 UTC
Call for papers: QPL 2017
2017-01-12 11:19 UTC
Call for papers: QPL 2017
2017-01-12 11:19 UTC
ACM SIGPLAN Awards deadline extended to 30 January
2017-01-10 16:30 UTC
PhD position at the ILLC, University of Amsterdam
2017-01-10 12:55 UTC
the Kan extension seminar returns
2017-01-03 20:37 UTC (2+ messages)
"Basic Category Theory" free online
2017-01-02 7:17 UTC
FSCD'17 Call for Papers
2017-01-02 2:08 UTC
Midlands Graduate School 2017, Leicester, UK
2016-12-30 12:35 UTC
10+ Open Positions in Tokyo: Formal Methods and Cyber-Physical Systems
2016-12-20 15:35 UTC
[LICS] LICS 2017: Final Call for Papers
2016-12-16 14:08 UTC
Two postdoc positions at Dalhousie
2016-12-16 2:06 UTC
recent papers posted to arXiv
2016-12-14 17:39 UTC
Some recent advances in SDG
2016-12-13 13:47 UTC
jobs at Macquarie
2016-12-13 0:24 UTC
CALCO 2017: First Call for Papers
2016-12-06 21:25 UTC
Fibred 2-category of Grothendieck toposes?
2016-12-06 7:59 UTC (2+ messages)
` "
Fibred 2-category of Grothendieck toposes?
2016-12-05 10:26 UTC (3+ messages)
Alonzo Church Award 2017: Call for Nominations
2016-12-05 4:39 UTC
WiL 2017: Women in Logic Workshop Call for Papers
2016-12-04 20:48 UTC
research positions
2016-12-03 15:31 UTC
IMLA 2017 Call for Papers
2016-12-01 21:21 UTC
Predicativity in Categories
2016-12-01 16:05 UTC (4+ messages)
"Topology and Groupoids" pdf
2016-11-30 22:25 UTC
A paper on double categories
2016-11-23 7:28 UTC
Plural form of topos
2016-11-19 18:24 UTC
Plural form of topos
2016-11-18 16:33 UTC
Third Nordic Logic Summer School (NLS) 2017, First Announcement
2016-11-18 13:37 UTC
Categories Logic and Physics Scotland 30 November
2016-11-18 9:42 UTC
grothendieck toposes and grothendieck abelian categories
2016-11-16 19:24 UTC
partial adjoints
2016-11-15 21:44 UTC (2+ messages)
Grothendieck toposes
2016-11-10 16:34 UTC (2+ messages)
` "
Grothendieck toposes
2016-11-09 15:53 UTC (2+ messages)
Grothendieck toposes
2016-11-09 15:01 UTC
Grothendieck toposes
2016-11-09 10:48 UTC (2+ messages)
Giraud_Elementary_?
2016-11-09 9:13 UTC (2+ messages)
Giraud_Elementary_?
2016-11-08 17:13 UTC
Giraud_Elementary_?
2016-11-08 10:03 UTC (2+ messages)
tenure-track and postdoctoral positions at UWO
2016-11-07 22:15 UTC
test message
2016-11-07 19:01 UTC
fully funded graduate positions in Math at UWO
2016-11-07 16:07 UTC
Call for Papers: Fifth Workshop on Formal Topology (5WFTop) in JLA
2016-11-05 16:25 UTC
Grothendieck toposes
2016-11-05 15:04 UTC
2nd CFP, NFM 2017: 9th NASA Formal Methods Symposium
2016-11-04 8:07 UTC
Union College Conference
2016-11-03 20:12 UTC
Grothendieck toposes
2016-11-03 19:36 UTC (10+ messages)
Grothendieck toposes
2016-11-03 14:03 UTC
YaMCATS 9 University of Leeds 16 November 2016
2016-11-03 12:06 UTC
Grothendieck toposes
2016-11-02 18:34 UTC (7+ messages)
Topological *-autonomous categories, revisited
2016-11-02 13:44 UTC (2+ messages)
Grothendieck toposes
2016-10-30 19:39 UTC (3+ messages)
Internal categories in monoidal categories
2016-10-30 3:26 UTC (2+ messages)
Grothendieck toposes
2016-10-27 11:07 UTC
Categories Logic and Physics - 30 November
2016-10-26 12:22 UTC
Chaire de la Vallee Poussin 2017
2016-10-26 8:17 UTC
12-month post-doctoral grant in Padova
2016-10-25 21:02 UTC
John C. Reynolds Doctoral Dissertation Award
2016-10-25 18:27 UTC
Higher Structures journal
2016-10-25 18:13 UTC
CT2017 Second Announcement
2016-10-23 6:00 UTC
Positions at Edinburgh
2016-10-13 12:35 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).