Latest news

  • 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.bednarczyk at tu-dresden.de (work')
  •   bartosz.jan.bednarczyk at gmail dot com (private)

  •  Visiting address (DE)
    TU Dresden, Fakultät für Informatik
    2nd Floor, Room APB 2031
    Nöthnitzer Straße 46, D-01187 Dresden

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