PhD opportunities at the University of Birmingham
2014-06-30 22:32 UTC
PhD opportunities at the University of Birmingham
2014-06-30 22:32 UTC
Helmut Roehrl
2014-06-30 7:53 UTC
CSL-LICS 2014 (online registration closes on June 30)
2014-06-29 10:57 UTC
Helmut Roehrl
2014-06-29 10:07 UTC
Jim Lambeck and photos of CT 2013
2014-06-28 13:15 UTC
Intro to higher order categorical logic question
2014-06-27 9:37 UTC (2+ messages)
Jim Lambeck
2014-06-26 17:32 UTC
Jim Lambek
2014-06-26 15:23 UTC (7+ messages)
Jim Lambek
2014-06-26 7:25 UTC
Jim Lambek
2014-06-25 11:18 UTC
Jim Lambek
2014-06-24 5:39 UTC
Professorship Available
2014-06-22 9:36 UTC
local compactness in four kinds of topology
2014-06-15 13:40 UTC
Kan Extension Seminar talks at CT2014
2014-06-14 16:44 UTC
Composition of Fibrations and Quantification
2014-06-12 23:28 UTC (5+ messages)
Preprint: Completion, closure, and density relative to a monad
2014-06-11 15:11 UTC
Marco Grandis Volume of TMJ: extending the deadline
2014-06-09 22:13 UTC
Reinhard Boerger
2014-06-09 15:16 UTC
Reinhard Boerger
2014-06-09 8:41 UTC (2+ messages)
Special Volume in honour of Manuela Sobral: reminder
2014-06-04 22:37 UTC
Is this known?
2014-06-03 15:36 UTC
Summer School in Lausanne: second announcement
2014-06-02 16:05 UTC
New Paper: Cartesian differential storage categories
2014-05-29 19:09 UTC
Announcing ACM's new Special Interest Group on Logic and Computation
2014-05-29 14:17 UTC
postdoc in Seville
2014-05-29 10:58 UTC
Reminder: The European Master's Program in Computational Logic: Application until 31 May 2014
2014-05-26 14:21 UTC
CT2014: early bird registration deadline
2014-05-25 14:09 UTC
K.A. Hardie
2014-05-25 13:27 UTC
K.A. Hardie
2014-05-25 4:44 UTC (5+ messages)
Functoriality of pullbacks of sets
2014-05-24 14:17 UTC (5+ messages)
List of finite categories
2014-05-24 5:11 UTC (2+ messages)
Pataraia's fixed point theorem
2014-05-22 23:38 UTC
K.A. Hardie
2014-05-21 21:57 UTC
Domains XI in Paris , Sept. 8-19 2914
2014-05-21 4:29 UTC
Two papers on Axiomatic Cohesion
2014-05-20 14:54 UTC
Descent for fibred monads
2014-05-18 0:43 UTC (6+ messages)
Days of the Federation devoted to operad theory and to its applications
2014-05-17 10:35 UTC
2 years postdoc- 4th June deadline
2014-05-16 19:53 UTC
Category theory vs. ZF language in a physics paper
2014-05-16 17:17 UTC (2+ messages)
Descent for fibred monads
2014-05-15 21:09 UTC
Isbell envelope
2014-05-14 0:20 UTC (6+ messages)
FINAL ANNOUNCEMENT: Spring School on Quantum Structures in Physics and Computer Science, 19--22 May 2014
2014-05-13 17:29 UTC
Isbell envelope
2014-05-12 12:33 UTC
Post-doc position at Convecs team (Inria/LIG)
2014-05-12 9:27 UTC
Post doc position in Copenhagen on categories and computational complexity
2014-05-09 9:33 UTC
CT2014 in Cambridge: Abstract submission deadline and money for PhD students
2014-05-06 14:55 UTC
*** 96th Peripatetic Seminar on Sheaves and Logic - Second announcement ***
2014-05-06 7:13 UTC
40th ARTIN meeting
2014-05-05 13:39 UTC
Question on factorization systems
2014-05-05 10:34 UTC (6+ messages)
QPL 2014: Call for Participation
2014-05-04 4:27 UTC
ResearchGate
2014-05-03 10:17 UTC (4+ messages)
"Weakly closed" monoidal bicategories?
2014-05-03 0:36 UTC (2+ messages)
Higher Structures along the Lower Rhine V
2014-04-29 12:45 UTC
history_preprint
2014-04-28 20:39 UTC
Answer to Validity of equations
2014-04-28 15:32 UTC
postdoc in Seville
2014-04-28 14:15 UTC
Validity_of_equations_in_topos
2014-04-27 22:26 UTC
We're back
2014-04-26 9:44 UTC
New preprints
2014-04-25 16:15 UTC
trimester at IHP -- talks of the first week available online
2014-04-24 17:52 UTC
Workshop on Algebra and Coalgebra meet Proof Theory - Call for Participation
2014-04-24 12:28 UTC
Poset adjoints
2014-04-17 15:36 UTC (2+ messages)
Poset adjoints
2014-04-17 5:26 UTC
IHP thematic trimester -- Kick-off meeting -- Tuesday April 22
2014-04-16 8:05 UTC
Job posting at Mt. Allison university
2014-04-11 17:25 UTC
Workshop Fibrations in Computing 2014 (Fibs'14)
2014-04-11 15:14 UTC
Teaching Lectureship in Computer Science at Leicester UK
2014-04-09 8:44 UTC
Teaching Lectureship in Computer Science at Leicester UK
2014-04-09 8:44 UTC
Logical relations and parametricity (Reynolds memorial paper)
2014-04-08 16:19 UTC
Lectureship in Pure Mathematics at Leeds
2014-04-08 8:30 UTC
positions at University of Hawaii
2014-04-07 1:49 UTC
Ulmer preprint
2014-04-02 10:57 UTC (3+ messages)
QPL 2014: Final Call for Papers
2014-04-02 10:28 UTC
Kan Extension Seminar talks at CT2014
2014-03-30 18:10 UTC
Spring School on Quantum Structures in Physics and Computer Science, 19--22 May 2014, University of Oxford
2014-03-26 23:08 UTC
A Conference in Honour of Prakash Panangaden on the Occasion of his 60th Birthday, 24--25 May 2014, University of Oxford
2014-03-26 23:07 UTC
QPL 2014: 2nd Call for Papers
2014-03-20 16:30 UTC
QPL 2014: 2nd Call for Papers
2014-03-20 16:30 UTC
[PT] Midlands Graduate School in Foundations of Computing Science - last chance to register
2014-03-18 22:36 UTC
Midlands Graduate School in Foundations of Computing Science - last chance to register
2014-03-18 22:36 UTC
CT14: Registration open
2014-03-18 10:11 UTC
Non-properties of the Scott topology
2014-03-17 14:56 UTC (2+ messages)
Special Session "New Directions in Category Theory" - date correction
2014-03-12 18:31 UTC
CSR 2014: Call for Participation
2014-03-09 18:45 UTC
CMCS 2014: call for participation
2014-03-08 15:30 UTC
Marco Grandis Volume of TMJ
2014-03-07 17:12 UTC
Special Session "New Directions in Category Theory" at the Fall 2014 AMS Eastern Sectional Meeting
2014-03-06 19:05 UTC
Dover Publications and Toposes
2014-03-05 11:35 UTC (2+ messages)
Correctness by Construction, Genoa, Italy, 24-27 March 2014
2014-03-04 20:14 UTC
FMCS 2014 June 5th - 8th at the Kananaskis Field station
2014-03-03 22:24 UTC
Special Volume in honour of Manuela Sobral
2014-03-03 20:29 UTC
Funded PhD position Category theory and Quantum Computing at Strathclyde University
2014-03-03 15:15 UTC
Towards not mixing signatures in
2014-03-02 8:49 UTC
Q.: any categorical Halifax AMS Oct 18-19 plans?
2014-03-02 4:43 UTC
Seeking an Eilenberg quote
2014-03-01 19:33 UTC (2+ messages)
Limits and colimits in Rel?
2014-02-27 9:56 UTC (4+ messages)
Limits and colimits in Rel?
2014-02-27 1:25 UTC
Research positions
2014-02-26 9:44 UTC (2+ messages)
` Research positions in CMUC
Post-doc in Japan: JSPS Postdoctoral Fellowship
2014-02-25 23:10 UTC (2+ messages)
Limits and colimits in Rel?
2014-02-25 14:41 UTC
old aliases!
2014-02-24 11:49 UTC
research positions
2014-02-24 11:44 UTC
MFCS 2014: Call for Papers
2014-02-24 8:34 UTC
FHIES/SEHC 2014: Call for Papers
2014-02-23 21:43 UTC
P.J. Higgins' "Categories and Groupoids" question
2014-02-20 17:46 UTC (3+ messages)
Seminaire Itinerant de Categories in Louvain-la-Neuve on May 17
2014-02-19 11:52 UTC
CMCS 2014: call for short contributions and participation
2014-02-18 14:58 UTC
PSSL95 - Second announcement
2014-02-18 9:52 UTC
QPL 2014: Call for Papers
2014-02-15 14:06 UTC
QPL 2014: Call for Papers
2014-02-15 14:06 UTC
Position announcement in Aix-Marseille university
2014-02-14 23:13 UTC
GaLoP 2014 Call for Participation
2014-02-14 12:02 UTC
Martin-Lof type theory gentle introduction please
2014-02-11 19:08 UTC (6+ messages)
CONCUR 2014: Call for Papers
2014-02-11 10:27 UTC
96th PSSL, October 11th-12th 2014, Palermo
2014-02-10 10:54 UTC
Summer school in Lausanne
2014-02-09 14:29 UTC
minor web page update
2014-02-09 2:09 UTC
Call for participation, Mathematically Structured Functional Programming 2014
2014-02-07 18:50 UTC
ETAPS 2014 call for participation
2014-02-06 23:45 UTC
Midlands Graduate School 2014, Nottingham, UK
2014-02-06 17:00 UTC
PhD Program in Mathematics UC|UP
2014-02-06 0:04 UTC
preprint available
2014-02-05 16:05 UTC
Functoriality of groupoid quantales
2014-02-04 8:38 UTC
TAC change/categories policy
2014-02-04 1:43 UTC
Correctness by Construction, Genoa, Italy, 24-27 March 2014
2014-01-30 16:35 UTC
postdoc offer in Paris
2014-01-27 15:23 UTC
postdoc offer in Paris
2014-01-27 15:23 UTC
Postdoc and PhD Positions at Regensburg
2014-01-24 16:25 UTC
Evaluation of source code, category theoretically?
2014-01-23 23:30 UTC (2+ messages)
GaLoP IX, Final Call for Abstracts
2014-01-22 13:05 UTC
postdoc position in Toulouse on lightweight formal architecture specification
2014-01-21 16:29 UTC
postdoc position in Toulouse on lightweight formal architecture specification
2014-01-21 16:29 UTC
1 year post-doctoral fellowship in Padova
2014-01-20 3:54 UTC
Fwd: Formalizations of category theory in proof assistants?
2014-01-19 17:27 UTC
PSSL 95 - First announcement
2014-01-16 19:02 UTC
PhD studentship available now
2014-01-16 13:04 UTC
Cartesian closed 2-categories
2014-01-14 0:35 UTC
MFPS XXX First Call for Papers
2014-01-11 16:21 UTC
UTP-2014 Unifying Theories of Programming - call for papers
2014-01-10 23:55 UTC
DEADLINE: January 31, 2014
2014-01-09 13:37 UTC
Lectureships in Sheffield
2014-01-09 13:17 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).