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:

7.
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
6.
Anetta Górnicka, Joanna Grygiel, Katarzyna Grygiel
3.
2.
Rene David, Katarzyna Grygiel, Jakub Kozik, Christophe Raffalli, Guillaume Theyssier,

Konferencje:

16.
15th Workshop on Computational Logic and Applications, Uniwersytet Jagielloński, École polytechnique, Université Sorbonne Paris Nord, [on-line], [on-line], 2020-10-12 - 2020-10-13
15.
Applications of Algebra in Logic and Computer Science XXIV, Uniwersytet Jana Długosza, Zakopane, Polska, 2020-03-09 - 2020-03-14
14.
AofA: Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms, Centre International de Rencontres Mathématiques, Marsylia, Francja, 2019-07-24 - 2019-07-28
13.
14th Workshop on Computational Logic and Applications, University of Versailles Saint-Quentin, Paryż, Republika Francuska, 2019-07-01 - 2019-07-02
12.
ALEA Young, Université de Caen, Domaine de la Tour, Francja, 2019-05-19 - 2019-05-24
11.
AAA97 - 97th Workshop on General Algebra, Technische Universität Wien, Wiedeń, Austria, 2019-03-01 - 2019-03-03
10.
AEC Algorithmic and Enumerative Combinatorics Summer School, Johannes Kepler University, Hagenberg, Austria, 2018-07-30 - 2018-08-03
9.
11th Workshop on Computational Logic and Applications, Laboratoire d'Informatique de Paris-Nord oraz Laboratoire d'Informatique de Paris 6, Paryż, Francja, 2018-05-24 - 2018-05-25
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
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