I boycott ResearchGate, LinkedIn, etc. In particular ResearchGate keeps sending me fake invitations from people I know that they never invited me. (In case you ever got an invitiation from me to join one of these, be assured that I never issued such an invitation.)
Publications. (not always uptodate ... see also dblp and arxiv.)
Some topics I am currently working on:
For some years, we have been running informal seminars around categories/logic/semantics. Thanks to Tadeusz Litak, there is a webpage. Now he left to Erlangen it is maintained only irregularly.
Coalgebraic Logic (Coalgebras and Modal Logic). (Not up to date anymore).
Electronically available books (mainly category theory). (Not up to date anymore, and probably not needed anymore as it is now easy to find online what one needs).
CALCO 2013. 5th Conference on Algebra and Coalgebra in Computer Science. Warsaw, Poland, 3-6 September 2013.
TACL 2013. Vanderbilt University, July 28 - August 1, 2013
ALCOP 2013. Utrecht University, April 18-20, 2013.
MGS 2013. Leicester, 8 April - 12 April 2013.
RP 2012. 6th International Workshop on Reachability Problems, 17 - 19 September 2012, Bordeaux, France.
AiML 2012. August 2012, Copenhagen, Denmark.
ALCOP 2012. Algebra and Coalgebra Meet Proof Theory, Prague, Czech Republic, 16-18 April 2012.
CMCS 2012. March 2012, Tallinn, Estonia.
Fourth Leicester-London Coalgebra Meeting. Leicester, 24 June 2011.
11th Wessex Theory Seminar. Leicester, 24 June 2011.
RP2011. 28-30 September 2011, Genova, Italy.
CALCO 2011. Winchester, UK. 29 Aug - 2 Sept 2011.
FCT 2011. Oslo, August 22-25.
TACL 2011. Marseille, 25-30 July 2011.
ALCOP 2011.Bern, 27-29 April 2011.
MGS 2011. Nottingham, 11-15 April 2011.
MGS Christmas seminar 2010. Leicester, 15 December 2010.
Workshop on Modal Logic and Stone Duality, University of Amsterdam, 13 December 2010.
91st Peripatetic Seminar on Sheaves and Logic, Nov 27-28, 2010 - ILLC, Amsterdam.
AiML 2010. Moscow, 24-27 August 2010.
British Logic Colloquium 2010, 2-4 September 2010, Birmingham, UK.
4th International Workshop on Reachability Problems (RP 2010) 27-29 August 2010, Brno, Czech Republic, co-located with MFCS and CSL 2010.
Third London-Leicester Coalgebra Meeting. Imperial College London, 12 July 2010.
International Category Theory Conference CT2010, DIMA-DISI, University of Genova, Italy 20 - 26 June 2010.
International Workshop on Topological Methods in Logic II. Tbilisi, Georgia, June 8—10, 2010
Seminar on Logic and its Applications celebrating the 50th birthday of Marek Zawadowski. University of Warsaw, May 8th-9th, 2010.
CMCS 2010. Cyprus, 26-29 March 2010.
Midlands Graduate School (MGS 2010). University of Sheffield, March 28 - April 1 2010.
Author: Alexander Kurz (kurz at mcs le ac uk), T: +44 (0) 116 252 5356.