computer science

• Publications

  A. Kurz, D. Petrișan: On Universal Algebra over Nominal Sets. To appear in Mathematical Structures in Computer Science. (.pdf).

  A. Kurz, D. Petrișan: Presenting Functors on Many-Sorted Varieties and Applications To appear in Information and Computation. (.pdf).

  A.M. Moshier, D. Petrișan: A Duality Theorem for Real C* Algebras. CALCO 2009.

  A. Kurz, D. Petrişan: Functorial Coalgebraic Logic: The case of many-sorted varieties. CMCS 2008. (.pdf).

• Talks

  CMCS 2008 [Slides]

  Domains IX [Slides]

• Some Events

  Coalgebraic Logics. Schloss Dagstuhl, Germany, December 6-9, 2009.

  CALCO 2009. Udine, 7-10 September 2009.

  TACL 2009. Amsterdam, 7-11 July 2009.

  Domains IX. Brighton, UK, 22 - 24 September 2008

  International Workshop on Topological Methods in Logic . Tbilisi, Georgia, 3 - 5 June 2008

  Midlands Graduate School (MGS 2008). University of Birmingham, UK, 14 - 18 April, 2008.

  Coalgebraic Methods in Computer Science (CMCS 2008). Budapest, Hungary, 4 - 6 April, 2008.

  Advanced Course on Simplicial Methods in Higher Categories). Barcelona, Spain, 4 - 14 February, 2008.

  Algebraic and Topological Methods in Non-Classical Logics III. University of Oxford, August 5-9 2007.

• Teaching

  During the spring term 2008/2009 I will assist with the following modules:

  • CO1001: Logic and problem solving (campus access only)

  • CO2014: Logic Programming (campus access only)

Author: Daniela Petrişan (petrisan at mcs.le.ac.uk), T: +44 (0)116 252 1371.
© University of Leicester DATE. Last modified: 4th December 2009, 15:23:37.
CS Web Maintainer. Any opinions expressed on this page are those of the author.