dr Maciej Bendkowski

Jednostki:

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

DoktoratOtwarcie: 2015-12-17, Zamknięcie: 2017-11-30

Publikacje:

12.
Maciej Bendkowski, Olivier Bodini, Sergey Dovgal
11.
Towards the average-case analysis of substitution resolution in λ-calculus vol. Leibniz International Proceedings in Informatics (LIPIcs) (2019), "4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019)", Schloss Dagstuhl – Leibniz-Zentrum für Informatik
10.
Maciej Bendkowski, Pierre Lescanne
Combinatorics of explicit substitutions vol. PPDP '18 (2018), "Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming", Association for Computing Machinery (ACM)
9.
Maciej Bendkowski, Pierre Lescanne
Counting Environments and Closures vol. Leibniz International Proceedings in Informatics (LIPIcs) (2018), "3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018)", Schloss Dagstuhl – Leibniz-Zentrum für Informatik
8.
Maciej Bendkowski, Olivier Bodini, Sergey Dovgal
Polynomial tuning of multiparametric combinatorial samplers, (2018), "2018 Proceedings of the Fifteenth Workshop on Analytic Algorithmics and Combinatorics (ANALCO)", Society for Industrial and Applied Mathematics (SIAM)

Konferencje:

17.
14th Workshop on Computational Logic and Applications, University of Versailles Saint-Quentin, Paryż, Republika Francuska, 2019-07-01 - 2019-07-02
16.
International Conference on Formal Structures for Computation and Deduction, TU Dortmund, Dortmund, Republika Federalna Niemiec, 2019-06-24 - 2019-06-30
15.
EUTypes WG Meeting, Aleksy Schubert, Warsaw University & Keiko Nakata, SAP SE, Kraków, Polska, 2019-02-23 - 2019-02-24
14.
Third International Conference on Formal Structures for Computation and Deduction, ACM SIGLOG oraz ACM SIGPLAN, Oxford, Wielka Brytania, 2018-07-09 - 2018-07-12
13.
9th Workshop on Higher-Order Rewriting, Université Paris 13, Sorbonne Paris Cité, Oxford, Wielka Brytania, 2018-07-07 - 2018-07-07
12.
Analysis of Algorithms 2018, Uppsala Universitet, Uppsala, Szwecja, 2018-06-25 - 2018-06-29
11.
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
10.
Forum Informatyki Teoretycznej 2018, Zespół Katedr i Zakładów Informatyki Matematycznej, Wydział Matematyki i Informatyki, UJ, Kraków, Polska, 2018-05-11 - 2018-05-12
9.
10th Workshop Computational Logic and Applications, Chalmers University of Technology, Göteborg, Szwecja, 2017-05-18 - 2017-05-19
8.
Practical Aspects of Declarative Languages (PADL 2017), Universite Pierre et Marie Curie, Paryż, Francja, 2017-01-16 - 2017-01-17
7.
9th Workshop Computational Logic and Applications, University of Novi Sad, Nowy Sad, Serbia, 2016-05-26 - 2016-05-27
6.
Applications of Algebra XX, Institute of Mathematics and Computer Science of Jan Długosz University, Instytut Matematyki i Informatyki Akademii im. Jana Długosza w Częstochowie, Zakopane, Polska, 2016-03-07 - 2016-03-13
5.
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
4.
12th Annual Conference on Theory and Applications of Models of Computation, School of Computing - National University of Singapore, Singapur, Singapur, 2015-05-18 - 2015-05-20
3.
Computational Logic and Applications, Marek Zaionc (Jagiellonian University) and Pierre Lescanne (ENS de Lyon), Lyon, Francja, 2015-03-23 - 2015-03-24
2.
Applications of Algebra in Logic and Computer Science, Instytut Matematyki i Informatyki Akademii im. Jana Długosza w Częstochowie, Zakopane, Polska, 2015-03-09 - 2015-03-15
1.
Forum Informatyki Teoretycznej 2015, Department of Mathematics, Informatics and Mechanics of the University of Warsaw, Warszawa, Polska, 2015-01-30 - 2015-01-31

Konferencje organizowane:

Granty (realizowane po maju 2009 roku)