@inproceedings{Quevedo:2022zm,
  author = "Quevedo, Fernando",
  title = "{Formal theory: status and outlook}",
  doi = "10.22323/1.414.0027",
  booktitle = "Proceedings of 41st International Conference on High Energy physics {\textemdash} PoS(ICHEP2022)",
  year = 2022,
  volume = "414",
  pages = "027"
}