Workshops

Workshop chair: Patricia Bouyer.

  • INFINITY: 19th International Workshop on Verification of Infinite-State Systems. Dmitry Chistikov and Christoph Haase.
  • LearnAut: Learning and Automata. Borja Balle, Leonor Becerra-Bonache, Remi Eyraud.
  • LCC: Logic and Computational Complexity. Norman Danner, Anuj Dawar, Isabel Oitavem, Heribert Vollmer.
  • LMW: Logic Mentoring Workshop. Anupam Das, Valeria Vignudelli, Fabio Zanasi.
  • LOLA: Syntax and Semantics of Low-Level Languages. Matija Pretnar, Noam Zeilberger.
  • Metafinite model theory and definability and complexity of numeric graph parameters. Andrew Goodall, Janos A. Makowsky, Elena V. Ravve.
  • WiL: Women in Logic. Valeria de Paiva, Amy Felty, Anna Ingolfsdottir, Ursula Martin.