C++ Logo

liaison

Advanced search

Re: [wg14/wg21 liaison] SG22 discussion on two proposed syntax options for WG21 Contracts

From: Timur Doumler <cpp_at_[hidden]>
Date: Fri, 27 Oct 2023 19:00:04 +0300
What's the meeting passcode? I'm trying to get into the zoom call for the telecon

Thanks,
Timur

> On 17 Oct 2023, at 17:52, Nina Dinka Ranns via Liaison <liaison_at_[hidden]> wrote:
>
> Awesome, thanks!
>
> Best,
> Nina
>
> On Mon, 16 Oct 2023 at 15:02, Aaron Ballman <aaron_at_[hidden] <mailto:aaron_at_[hidden]>> wrote:
>> FYI, I just advertised this poll at the WG14 meetings this week and
>> asked folks interested in the topic to please sign up.
>>
>> ~Aaron
>>
>> On Mon, Oct 16, 2023 at 6:30 AM Nina Dinka Ranns via Liaison
>> <liaison_at_[hidden] <mailto:liaison_at_[hidden]>> wrote:
>> >
>> > Hi all,
>> >
>> > just a reminder to fill in the doodle poll with your availability for the upcoming SG22 discussion.
>> >
>> > Thank you !
>> > Nina
>> >
>> > On Wed, 11 Oct 2023 at 17:17, Nina Dinka Ranns <dinka.ranns_at_[hidden] <mailto:dinka.ranns_at_[hidden]>> wrote:
>> >>
>> >> Hi all,
>> >>
>> >> WG21 is hoping to have a decision on the syntax for C++ Contracts at the November meeting in Kona. It would be good if they can have official SG22 feedback regarding the two options before that meeting. I've set up a doodle poll with possible times for such a meeting, please take a moment to fill in your availability.
>> >>
>> >> https://doodle.com/meeting/participate/id/dLPJwJAd
>> >>
>> >> Whether you already gave feedback on this mailing list or not, we would appreciate your participation in the meeting. It allows us to better reflect the views and opinions of SG22 members (more specifically, those involved in WG14), and to get a more accurate feeling of what the group thinks.
>> >>
>> >> The papers we will discuss are :
>> >> https://isocpp.org/files/papers/P2935R3.pdf
>> >>
>> >> https://isocpp.org/files/papers/P2961R1.pdf
>> >>
>> >> Any questions, please let me know.
>> >>
>> >> Thank you,
>> >> Nina
>> >
>> > _______________________________________________
>> > Liaison mailing list
>> > Liaison_at_[hidden] <mailto:Liaison_at_[hidden]>
>> > Subscription: https://lists.isocpp.org/mailman/listinfo.cgi/liaison
>> > Link to this post: http://lists.isocpp.org/liaison/2023/10/1310.php
> _______________________________________________
> Liaison mailing list
> Liaison_at_[hidden]
> Subscription: https://lists.isocpp.org/mailman/listinfo.cgi/liaison
> Link to this post: http://lists.isocpp.org/liaison/2023/10/1312.php


Received on 2023-10-27 16:00:13