Latest news

  • 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