Latest news

  • 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".
  • 3 July 2018
    I will be visiting Charles Paperman in Lille for one week at the end of August and Stéphane Demri and Raul Fervari in Cachan during the first two weeks of September.
  • 1 June 2018
    I started 3 month research visit at CS Departament of University of Oxford, hosted by Ben Worrell. I will be working with Michaël Cadilhac on an algebraic approach to regular tree languages and circuit complexity.
  • 1 Feb 2018
    I started 4 month internship at LSV, under the supervision of Stéphane Demri. During the internship I will study separation logic from a modal point of view.
  • 21 Jan 2018
    I will be a one-week research visitor at the The University of Manchester, visiting Ian Pratt-Hartmann.
  • 22 Sept 2017
    My paper "Modulo Counting on Words and Trees" has been accepted for the FSTTCS 2017 programme.
  • 1 Sept 2017
    I started Master 1 voie Jacques Herbrand studies at École normale supérieure Paris-Saclay.

Contact

  •   bartosz.bednarczyk at cs.uni.wroc.pl (work)
  •   bartosz.jan.bednarczyk at gmail dot com (private)

  •  Visiting address (PL)
    Instytut Informatyki Uniwersytetu Wrocławskiego
    3rd Floor, Room 325
    Fryderyka Joliot-Curie 15, 50-383 Wrocław
    Office hours: 16.15-18.00 Tuesday