[Haskell] LOPSTR 2022 - Deadline extension

2022-05-10 Thread Alicia Villanueva
apan) Laura Panizo -- University of Málaga, Spain Laura Titolo -- National Institute of Aerospace (US) Wim Vanhoof -- University of Namur (Belgium) Alicia Villanueva (Chair) -- Universitat Politècnica de València (Spain) Organiza

[Haskell] TYPES 2023: Call for Contributions - Deadline extension

2023-03-06 Thread Alicia Villanueva
vani            (Università di Camerino, Italy) Pierre-Marie Pédrot      (INRIA, France) Luís Pinto           (Universidade do Minho, Portugal) Anton Setzer             (Swansea University, UK) Alicia Villanueva        (U. Politècnica de València, Spain) (co-chair) TYPES STEERING COMMI

[Haskell] TYPES 2023 - Call for contributions

2023-02-12 Thread Alicia Villanueva
into           (Universidade do Minho, Portugal) Anton Setzer             (Swansea University, UK) Alicia Villanueva        (U. Politècnica de València, Spain) (co-chair) TYPES STEERING COMMITTEE Sandra Alves (University of Porto, Portugal) (Secretary) Henning Basold (Leiden University, The Netherlands) (SC c