@martin Nice! is there a non academic only event co-located...

@martin Nice! is there a non academic only event co-located with the portuguese event? (can't attend but I know some people that might)

Like 23 Jun 2023 at 10:50 | Wall-to-wall | Open on types.pl

3 comments

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

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

@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