@inproceedings{TeuberEWAF23,
  author       = {Samuel Teuber and
                  Bernhard Beckert},
  editor       = {Jose M. Alvarez and
                  Alessandro Fabris and
                  Christoph Heitz and
                  Corinna Hertweck and
                  Michele Loi and
                  Meike Zehlike},
  title        = {Formally Verified Algorithmic Fairness Using Information-Flow Tools},
  booktitle    = {Proceedings of the 2nd European Workshop on Algorithmic Fairness,
                  Winterthur, Switzerland, June 7th to 9th, 2023},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3442},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3442/paper-21.pdf}
}