Latest news

  • 25 Jun 2024
    I successfully defended my PhD thesis (with distinction!). The thesis can be found here while the slides from my defence are available here.
  • 16 Apr 2024
    New sole-author paper "Data Complexity in Expressive Description Logics With Path Expressions" accepted to IJCAI 2024.
  • 10 Jul 2023
    New sole-author paper "Beyond ALCreg: Exploring Non-Regular Extensions of PDL with Description Logics Features" accepted to JELIA 2023. It also received the best student paper award. The extended version of this paper will appear in LMCS.
  • 21 Apr 2023
    My new paper "On the of Limits of Decision: the Adjacent Fragment of First-Order Logic", written with Ian Pratt-Hartmann and Daumantas Kojelis will be presented at ICALP 2023.
  • 26 Jun 2022
    "Presburger Büchi Tree Automata with Applications to Logics with Expressive Counting", a BSc thesis of Oskar Fiuk written under my supervision is now accepted for publication at WOLLIC 2022.
  • 21 Jun 2022
    "Towards Model Theory of Ordered Logics: Expressivity and Interpolation" written together with Reijo Jaakkola got accepted to MFCS 2022!
  • 7 Dec 2021
    My two recent papers from the DL workshop are now accepted for the AAAI 2022 conference! See the previous post for more info.

Contact

  •   bartek at cs.uni.wroc.pl (work)
  •   bartosz.jan.bednarczyk at gmail dot com (private)

  •  Visiting address (PL)
    Instytut Informatyki Uniwersytetu Wrocławskiego (II UWr)
    Room 324 (3rd floor)
    Fryderyka Joliot-Curie 15, 50-383 Wrocław