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.
  • 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