10th Workshop on Horn Clauses for Verification and Synthesis (HCVS)
Co-located with ETAPS 2023
23rd April 2023 - Paris, France
https://www.sci.unich.it/hcvs23/
Important dates:
- Paper submission deadline: Feb 22, 2023
- Paper notification: Mar 22, 2023
- Workshop: Apr 23, 2023
Many
reported as https://gitlab.haskell.org/ghc/ghc/-/issues/22993
Thanks & Regards
George
On Wed, Feb 15, 2023 at 2:04 PM George Colpitts
wrote:
> It seems wrong to me that the configure file references Xcode.app and
> MacOSX12.1:
>
> bash-3.2$ fgrep Xcode.app configure
>
>