Latest news

  • 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.
  • 31 Jun 2020
    Another paper, namely "A note on C2 interpreted over finite data-words" co-authored with Piotr Witkowski, is now accepted to TIME 2020. The conference is not so good thus I'm not really proud of it, but the research turned to be a way easier than I initially expected. And most of the theorems were invented while I was a bachelor student....
  • 9 May 2020
    I've uploaded slides for most of my talks. You can check them in the publication section. Note that my slides are for a private use only and not all the pictures inside them are properly copyrighted and acknowledged: I will try to change it soon.
  • 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.
  • 20 April 2020
    Two more papers accepted, this time at IJCAI 2020. The first one, "All-Instances Oblivious Chase Termination is Undecidable for Single-Head Binary TGDs" is my joint work with my two PhD colleagues: Piotr Ostropolski-Nalewaja and Robert Ferens. The second one, "A Framework for Reasoning about Dynamic Axioms in Description Logics", is another paper inspired by separation logic, written with Stephane Demri and Alessio Mansutti.
  • 10 April 2020
    Two new paper accepted: "Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints" with Franz Baader and Sebastian Rudolph, to be presented at ECAI 2020 and "Modal Logics with Composition on Finite Forests: Expressivity and Complexity" with Stephane Demri, Raul Fervari and Alessio Mansutti to be presented at LICS 2020.
  • 2 Nov 2019
    I will give an invited talk during Quantla seminar in Dresden. The talk will be about quantitative extensions of two-variable logic over words and will take approx 1 hour.
  • 10 May 2019
    My joint paper with Sebastian Rudolph titled "Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting" was accepted for a presentation at IJCAI 2019. See you in Macao!
  • 4 May 2019
    My two papers, the first one with Sebastian Rudolph titled "Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting" and the second one with Sebastian and Franz Baader titled "Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints" were accepted for a presentation at DL 2019. See you in Oslo!
  • 28 Mar 2019
    My joint paper with Stephane Demri titled "Why propositional quantification makes modal logics on trees robustly hard ?" was accepted for a presentation at LICS 2019. This is probably my biggest achievement so far. See you in Vancouver!
  • 18 Jan 2019
    My joint paper with Emanuel Kieroński and Piotr Witkowski about the complexity of graded modal logic was accepted for a presentation at JELIA 2019. See you in Italy!
  • 8 Oct 2018
    I moved back to Wroclaw for a year to spend more time on my research project. I am also happy to announce that I am one of the teachers in "Computational logic" course at Uni of Wrocław.
    More details about my teaching duties (in pl) can be found here.
  • 4 July 2018
    Since October 2018 I will be a principal investigator in my own research project "Logics with generalized counting quantifiers for data-aware processes and database systems". Project will be realized at the University of Wrocław with the generous support from Polish Ministry of Science and Higher Education programme "Diamentowy Grant".

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