[TYPES/announce] PhD Position Available

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear All, Do any of you know a student who wants to do a PhD? We have a place available for anyone interested in type theory, category theory or functional programming. The student must a

[TYPES/announce] Lecture Series by John Power

and academic staff from research groups around Scotland and even beyond. The exact content of the lectures will be tailored to the needs of those attending. Those interested in attending these lectures should contact Prof Neil Ghani (n...@cis.strath.ac.uk) for more details. All the best Neil

[TYPES/announce] Third Scottish Category Theory Seminar

://personal.cis.strath.ac.uk/~ng/SCT/sct021210.html If you would like more information about the meeting and wish to attend, please email scotc...@cis.strath.ac.uk Scottish Category Theory Seminar organisers: Neil Ghani Tom Leinster Alex Simpson

[TYPES/announce] PhD position in the MSP group, Univ. Strathclyde

under the supervision of Prof Neil Ghani on any topic relating to higher dimensional category theory and/or higher dimensional type theory. The position is fully funded for EU students (apologies to non EU-citizens for this ridiculous piece of non-meritocracy) and will last for 3 years.The

[TYPES/announce] CfP : 6th Category Theory Seminar

(from 18.30). You are politely requested to contact us (email scotc...@cis.strath.ac.uk) by Friday 11 May if you are intending to attend the meeting and/or if you are intending to come to dinner so we can cater appropriately. The meeting has been sponsored by SICSA. ScotCats Organisers Neil

[TYPES/announce] RA Position Available

relations for future ones. It will be based on the mathematical concept of comprehension for a fibration. You will work with Dr Patricia Johann and Prof Neil Ghani who are the investigators on this project and also 2 of their PhD students working on similar topics. You will also work with project

[TYPES/announce] Professorship Available

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear All We are looking for a new professor and Head of Department at Strathclyde. People on the Types list might be interested as there is a significant amount of type theory done here

[TYPES/announce] 5Yr Fellowships at Strathclyde

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] In the heart of Free Glasgow, there is a chance to join the University of Strathclyde with a 5 year research fellowship leading to a permanent full time position. All you need is a 5-page

[TYPES/announce] PhD Advert

*** *** Mathematically Structured Programming Group *** University of Strathclyde *** ** Applications are invited for PhD study under the supervision of Prof Neil Ghani and Dr Conor McBride on any of the following topics

[TYPES/announce] A HoTT-Date with Thorsten Altenkirch

: Presentations of mutually defined types (including HITs) James McKinna: Using relations to streamline the encode-decode method? Neil Ghani: Higher Dimensional Parametricity via Cubical Categories Bob Atkey: A Cubical Set Model for Relationally Parametric Type Theory