Re: [Ufmrg] UFMRG training at IETF118

[Stephen Farrell <[e-mail]>]

Hiya,

We had a call yesterday to check in on things.
Current status:

- Unfortunately due to illness we won't be able
to have the planned session on coq, so we'll do
that another time
- The Tamarin folks however are planning on
how to extend their content to more than 2 hours
- We've asked the secretariat to list the ufm
training session on the IETF agenda, and a few
other logistics things

So we're going ahead with Tamarin training on
the Sunday from noon to ~4pm or so and should
have details finalised in about a week.

Cheers,
S.


On 14/10/2023 19:17, Stephen Farrell wrote:
> 
> Hiya,
> 
> On 14/10/2023 16:54, Marc Petit-Huguenin wrote:
>> Hi,
>>
>> I do not see the formal methods training sessions in the agenda or in
>> the side meetings wiki.  When will these be announced?
> 
> Monday:-) We've a call to check in on details then and
> will send mail to the RG list after that.
> 
> I think all's well with getting stuff for the Sunday as
> planned. More in a few days,
> 
> Cheers,
> S.
> 
>>
>> Thanks.
>>
>> On 9/5/23 11:16, Jonathan Hoyland wrote:
>>> We're planning for Sunday Nov 5th 12:00-16:00.
>>>
>>> Regards,
>>>
>>> Jonathan
>>>
>>> On Tue, 5 Sept 2023, 19:04 Cory Francis Myers, <[e-mail]>
>>> wrote:
>>>
>>>> On Mon, Aug 28, 2023 at 11:21:48PM +0100, Stephen Farrell wrote:
>>>>> It's looking like we may end up with two slightly less than 2-hour 
>>>>> sessions from noon-4pm on Sunday Nov 4th.
>>>>
>>>> Does this mean Saturday, November 4, or Sunday, November 5?  I
>>>> assume this was clarified in the planning meeting last week, but
>>>> I don't see a date in the notes.
>>>>
>>>>
>>
>