dr Maciej Bendkowski
Jednostki:
- Wydział Matematyki i Informatyki UJ
- Instytut Informatyki Analitycznej
- Katedra Podstaw Informatyki
Doktorat Otwarcie: 2015-12-17, Zamknięcie: 2017-11-30
Publikacje:
14.
A note on the asymptotic expressiveness of ZF and ZFC, Journal of Logic and Computation vol. 31 (2021), 1598–1607
13.
Maciej Bendkowski, Pierre Lescanne
On the enumeration of closures and environments with an application to random generation, Logical Methods in Computer Science vol. 15, Issue 4 (2019), 3:1–3:21
12.
Maciej Bendkowski, Olivier Bodini, Sergey Dovgal
Statistical Properties of Lambda Terms, Electronic Journal of Combinatorics vol. 26, Issue 4 (2019), 70
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)
7.
6.
Combinatorics of λ-terms: a natural approach, Journal of Logic and Computation vol. Volume 27, Issue 8 (2017), 2611–2630
5.
Normal-order reduction grammars, Journal of Functional Programming vol. 27 (2017), 1-31
4.
Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau
Boltzmann Samplers for Closed Simply-Typed Lambda Terms, Lecture Notes in Computer Science vol. 10137 (2017), 120-135
3.
On the likelihood of normalisation in combinatory logic, Journal of Logic and Computation vol. Volume 27, Issue 7 (2017), 2251–2269
2.
A natural counting of lambda terms, Lecture Notes in Computer Science vol. 9587 (2016), 183-194
1.
Asymptotic properties of combinatory logic, Lecture Notes in Computer Science vol. 9076 (2013), 62-72
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:
5.
Research in Adaptive and Convergent Systems (RACS 2017), Kraków, 2017-09-20, 2017-09-23
4.
Forum Informatyki Teoretycznej, Kraków, 2018-05-11, 2018-05-12
3.
11th Workshop on Computational Logic and Applications, Paryż, 2018-05-24, 2018-05-25
2.
14th Workshop on Computational Logic and Applications, Versailles, 2019-07-01, 2019-07-02
1.
Forum Informatyki Teoretycznej, Kraków, 2019-09-06, 2019-09-07
Granty (realizowane po maju 2009 roku)
Tytuł | Rola | Rozpoczęcie | Zakończenie |
---|---|---|---|
Ilościowe badania teorii mnogości. Czy ZF i ZFC są asymptotycznie równoważne? | Wykonawca | 2019-07-04 | 2023-04-03 |
Ilościowe aspekty złożoności obliczeniowej w rachunku lambda | Kierownik | 2017-03-14 | 2020-03-13 |
Asymptotyczne metody w rachunku lambda i logice kombinatorycznej | Wykonawca | 2014-07-16 | 2017-07-15 |
Kolonoskopia -Innowacyjna diagnostyka umożliwiająca personalizacje procesu leczenia poprzez opracowanie rozwiązania wspomagające badania kolonoskopowe, podnoszącego wykrywalność stanów przedrakowych nowotworów jelita grubego o niskim stadium zaawansowania | Wykonawca | 2014-07-01 | 2017-12-31 |