dr Katarzyna Grygiel

Jednostki:

  • Wydział Matematyki i Informatyki UJ
  • Zespół Katedr i Zakładów Informatyki Matematycznej
  • Katedra Podstaw Informatyki

DoktoratOtwarcie: 2010-12-16, Zamknięcie: 2013-05-23

Publikacje:

6.
Counting Terms in the Binary Lambda Calculus, DMTCS PROCEEDINGS - 25TH INTERNATIONAL CONFERENCE ON PROBABILISTIC, COMBINATORIAL AND ASYMPTOTIC METHODS FOR THE ANALYSIS OF ALGORITHMS vol. DMTCS-HAL Proceedings Series (2014), 13

Konferencje:

7.
Applications of Algebra in Logic and Computer Science XXI, Akademia im. Jana Długosza w Częstochowie, Zakopane, Polska, 2017-03-20 - 2017-03-25
6.
9th Workshop Computational Logic and Applications, University of Novi Sad, Nowy Sad, Serbia, 2016-05-26 - 2016-05-27
5.
Applications of Algebra XX, Institute of Mathematics and Computer Science of Jan Długosz University, Zakopane, Polska, 2016-03-07 - 2016-03-13
4.
42nd International Conference on Current Trends in Theory and Practice of Computer Science, Institute of Computer Science Academy of Sciences of the Czech Republic, Harrachov, Republika Czeska, 2016-01-23 - 2016-01-28
3.
12th Annual Conference on Theory and Applications of Models of Computation, 18 - 20 May 2015 School of Computing National University of Singapore, Singapur, Singapur, 2015-05-18 - 2015-05-22
2.
Computational Logic and Applications, Marek Zaionc (Jagiellonian University) and Pierre Lescanne (ENS de Lyon), Lyon, Francja, 2015-03-23 - 2015-03-24

Granty (realizowane po maju 2009 roku)

TytułRolaRozpoczęcieZakończenie
Badanie ilościowe w logikach i teorii obliczeńWykonawca2009-09-172012-03-16
Asymptotyczne metody w rachunku lambda i logice kombinatorycznejWykonawca2014-07-162017-07-15