Latest news

  • 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