Latest news

  • 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.
  • 14 Aug 2021
    Two presentations accepted for the DL workshop. One is a quite old work with Emanuel Kieroński on finite controllability in the Z family of description logics. The other one is the most beautiful math result I ever achieved. The topic is the 2Exp-hardness of querying ALC with self-loops. Preprint available here. Slides here and here.
  • 1 Aug 2021
    I'm visiting Antti Kuusisto, Reijo Jaakkola and Jonne Iso-Tuisku in Tampere for 2 months. We will be working on model theory of fluted/forward/ordered fragments, van Benthem's style theorems for description logics as well as satisfiability and query entailment problems for higher-arity DLs.
  • 23 June 2021
    I was awarded a ~43k € scholarship for outstanding young scientists from the Polish Minister of Science and Higher Education. News page in polish here. :)
  • 22 June 2021
    I gave an invited QuantLA seminar talk about FGF and related logics.
  • 17 May 2021
    My JELIA2021's paper just received the best student paper award :)
  • 3 Mar 2021
    My short note, titled "Statistical EL is ExpTime-complete", will appear in Information Processing Letters. Its free-access version is available on ArXiv.
  • 16 Feb 2021
    My new paper titled "Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment" has just been accepted to JELIA 2021.
  • 10 Dec 2020
    I was nominated a Senior PC member of IJCAI 2021. Consider submitting your work there!
  • 3 Jul 2020
    New paper uploaded on arXiV, coauthored with Kuba Michaliszyn about adding frequencies to LTL. The research goes back to my Cachan times so thanks a lot to Sylvain and Stephane for discussions. [Now accepted to Fossacs'21].
  • 9 May 2020

    Slides for my talks are now available in the publication section.
  • 22 Apr 2020
    I fully recommend to read an article by Antoine on what is wrong with academia.
    I also mostly agree with his opinion on the open access issues.

Contact

  •   bartosz.bednarczyk 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