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

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.


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

MGS 2016. Birmingham, 11 - 15 April, 2016. .

Algebra and Coalgebra meet Proof Theory ALCOP VII. Vienna, Austria, April 7–9, 2016. .

CMCS 2016. Eindhoven, the Netherlands, 2 - 3 April 2016. .

Logics for Social Behaviour 3. 8 - 11 February 2016, ETH Zurich.

Workshop on EFFICIENT AND NATURAL PROOF SYSTEMS. Bath, 14-16 December, 2015.

TRENDS IN LOGIC XV, 2015: Logics for Social Behaviour. Delft, 29 June 2015 to 3 July 2015.

CALCO 2015. 6th Conference on Algebra and Coalgebra in Computer Science. Nijmegen 24-26 June, 2015.

MGS 2015. Sheffield, April 7-11, 2015. .

BEYOND 2014. December 03-05, 2014 - University of Florence - Italy.

Lorentz Center Workshop Logics for Social Behaviour. 10 Nov 2014 through 14 Nov 2014. Notes, slides, etc

AiML 2014. Groningen, August 5-8, 2014.

ALCOP 2014. Algebra and Coalgebra meet Proof Theory 15 - 16 May 2014.

MGS 2014. Nottingham, 22-26 April 2014.

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 February 2016, 00:24:30.
CS Web Maintainer. Any opinions expressed on this page are those of the author.