Thank you, Nina, for trying to accommodate my late request. I'll look forward to reading the minutes.

Tom.

On 2/1/24 4:08 AM, Nina Dinka Ranns wrote:
Ok, let’s keep the original time to give the authors a chance to have a discussion.

This is not a decision making call, any further input can be done at a later point too.


Best,
Nina 

On Thu, 1 Feb 2024 at 07:10, Peter Sewell <Peter.Sewell@cl.cam.ac.uk> wrote:
5

On Wed, 31 Jan 2024, 23:03 Nina Dinka Ranns, <dinka.ranns@googlemail.com> wrote:
Apologies, for some reason this email skipped my inbox. 
The purpose of this meeting is really to get the authors of the two proposals in the same room.

Authors,  does moving this meeting by an hour prevent you from attending the meeting ?

Yes - I'm free for the original time (5-6pm GMT) but not later.

Please shout now if that's the case.

Thank you,
Nina


On Sun, 28 Jan 2024 at 16:22, Tom Honermann <tom@honermann.net> wrote:

Hi, Nina.

SG21 (Contracts) is now meeting weekly (up through the Tokyo meeting) and its next meeting overlaps with this one. Is there any chance this meeting could be pushed back by one hour?

Unrelated, I think it would make sense for SG22 to discuss CWG 2836 (Conversion rank of long double and extended floating-point types) (GitHub issue 1699) at a future meeting.

Tom.

On 1/4/24 6:45 AM, Nina Dinka Ranns via Liaison wrote:
Hi all, 

we will have an SG22 discussion regarding C and C++ pointer provenance models on Thursday, the 1st of February at 12:00 EDT/17:00 UTC

The purpose of this meeting is to better understand how  P2318 and P2434 relate to each other and whether there is a common solution that is suitable for both languages. 

Zoom details :

You should be able to join via the link without a passcode. If need be, the passcode is the same as last time : WG14WG21

Please do not publicly share the link as this is an ISO meeting and only open to the ISO members.

Any questions, please let me know.

Best,
Nina

_______________________________________________
Liaison mailing list
Liaison@lists.isocpp.org
Subscription: https://lists.isocpp.org/mailman/listinfo.cgi/liaison
Searchable archives: http://lists.isocpp.org/liaison/2024/01/index.php