@roundcrisis Yes we are thinking of doing a more informal...

@roundcrisis Yes we are thinking of doing a more informal non-academic event alongside the academic one, but plans are not yet very concrete

Like 26 Jun 2023 at 20:34 | Open on nondeterministic.computer

2 comments

@martin in Portugal? not sure yet where?

28 Jun 2023 at 8:18 | Open on types.pl

@roundcrisis Yes, in Portugal, perhaps the day after the PLF workshop linked above. Not sure though

29 Jun 2023 at 5:47 | Open on nondeterministic.computer