University of Leicester

computer science

STAFF — Alexander Kurz  Maitrise d'Informatique (Universite de Grenoble), Dipl.-Inform. (TU München), Dr.rer.nat. (LMU München)

F2 Computer Science Building
Department of Computer Science,
University of Leicester,
University Road,
LE1 7RH.

T: +44 (0) 116 252 5356
E: ak155 at le ac uk

Home address

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:
  • Coalgebraic logic, in particular using enriched category theory. This is being developed in collaboration with Marta Bilkova, Adriana Balan, Daniela Petrisan, and Jiri Velebil.
  • Nominal automata with Emilio Tuosto and Tomoyuki Suzuki.
  • Nominal sets and lambda calculus with Daniela Petrisan, Paula Severi, and Fer-Jan de Vries.
  • Proof theory of dynamic logics, in collaboration with the applied logic group at Delft and, in particular, Giuseppe Greco, Sabine Frittella, Alessandra Palmigiano.

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).

Some Events (I am planning to go to or support otherwise or simply want to advertise)

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.

CatLog 28-29 August 2010, Brno, Czech Republic, co-located with MFCS and CSL 2010.

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.

Former events

| [University Home]|[Faculty of Science]|[MCS Home]|[CS Home]||[University Index A-Z]|[University Search]|[University Help]|

Author: Alexander Kurz (ak155 at le ac uk), T: +44 (0) 116 252 5356.
© University of Leicester. Last modified: 12th July 2014, 23:31:13.
CS Web Maintainer. Any opinions expressed on this page are those of the author.