Latest news

  • 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