[Haskell] SAS 2023 - Call for Participation - Early deadline: Sept 22

2023-09-08 Thread Louis Rustenholz
-- Call for Participation Early registration deadline: September 22 SAS 2023 The 30th Static Analysis Symposium Cascais (Lisbon),

[Haskell] SAS 2023 - Final Call for Papers - Paper Deadline: April 24, 2023

2023-04-17 Thread louis . rustenholz
LaRC, United States Jingling Xue, UNSW Sydney, Australia Xin Zhang, Peking University, China Artifact Evaluation Committee Chair: Marc Chevalier, Snyk, Switzerland Publicity Chair: Louis Rustenholz, UPM and IMDEA SW, Spain ___ Haskell mailing list Haskell

[Haskell] SAS 2023 - Final CFP - Extended deadlines (updates until May 1st)

2023-04-20 Thread louis . rustenholz
of New South Wales, Sydney, Australia Laura Titolo, Laura Titolo, NIA/NASA LaRC, United States Jingling Xue, UNSW Sydney, Australia Xin Zhang, Peking University, China Artifact Evaluation Committee Chair: Marc Chevalier, Snyk, Switzerland Publicity Chair: Louis Rustenholz, UPM and IMDEA SW, Spain

[Haskell] SAS 2023 - Final CFP - Extended full paper deadline: May 1, 2023

2023-04-28 Thread louis . rustenholz
Artifact Evaluation Committee Chair: Marc Chevalier, Snyk, Switzerland Publicity Chair: Louis Rustenholz, UPM and IMDEA SW, Spain ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell