Latest news

  • 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