General Information

Wygloszone referaty:

  • Unifikacja elementarnych twierdzeń o punkcie stałym (in Polish). Jan Kochanowski University, March 18, 2011. Kielce.

  • Słabo separowalne topologie w teorii dziedzin (in Polish). Jan Kochanowski University, March 17, 2011. Kielce.

  • Fixed Points in Quantale-enriched Categories (slides). AALCS'11, March 8-12, 2011. Zakopane.

  • Introduction to Q-categories. Ogólnopolskie Seminarium z Teorii Kategorii, January 15, 2011. Uniwersytet Warszawski.

  • Common Patterns for Metric and Ordered Fixed Point Theorems (slides). Fixed Points in Computer Science Workshop, August 21-22, 2010. Brno, Czech Republic.

  • On the interaction of topology and order in quantale-enriched categories (slides). 25th Summer Conference on Topology and its Applications. July 25-30, 2010 Department of Mathematics, Jan Kochanowski University Kielce, Poland.

  • Approximation in quantale-enriched categories. International Conterence on Category Theory (CT2010), University of Genova, Italy, 25 June 2010.

  • Pataraia's construction of fixed points for endomaps in metric spaces. Versailles-Lyon-Chambery-Krakow Workshop on Computational Logic and Applications. Jagiellonian University, 11 June 2010.

  • The formal ball model for Q-categories. Workshop on Categorical Topology, in honour of Eraldo Giuli, on the occasion of his seventieth birthday. University of Azores, Ponta Delgada, 18-20 March 2010.

  • On Domain Theory over CDG Quantales. Workshop Domains IX, Brighton, United Kingdom, 22-24 September 2008.

Linki