dr Katarzyna Grygiel

Jednostki:

  • Wydział Matematyki i Informatyki UJ
  • Instytut Informatyki Analitycznej
  • Katedra Podstaw Informatyki

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

Publikacje:

12.
Combinatorics of λ-terms: a natural approach, J LOGIC COMPUT vol. Volume 27, Issue 8 (2017), 2611–2630
6.
Katarzyna Grygiel, Pierre Lescanne
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
5.
Anetta Górnicka, Joanna Grygiel, Katarzyna Grygiel
4.
Katarzyna Grygiel, Pierre Lescanne
3.
Gábor Czédli, Joanna Grygiel, Katarzyna Grygiel
2.
Rene David, Katarzyna Grygiel, Jakub Kozik, Christophe Raffalli, Guillaume Theyssier,

Konferencje:

8.
10th Workshop Computational Logic and Applications, Chalmers University of Technology, Göteborg, Szwecja, 2017-05-18 - 2017-05-19
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

Konferencje organizowane:

Granty (realizowane po maju 2009 roku)

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