--
Call for Participation
Early registration deadline: September 22
SAS 2023
The 30th Static Analysis Symposium
Cascais (Lisbon),
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
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
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