From Jan:

The Menu for POPL shows co located events. Some have two titles and some have one.

I would much prefer having a single name. Like “VMCAI 2016” rather than “Certified Programs and Proofs CPP 2016”.

How can we do that?

Also PEPM seems to have two entries, can we fold them?

There’s some room for improvement here. The titles are presented as:
Conference_Name (Track_name)

Track_name is optional, and will only be displayed when it doesn’t contain the Conference_name.

Not sure if folding is a good idea, it requires another user interaction to get to such track page.

Submitted by Elmer van Chastelet on 5 January 2016 at 07:36

On 5 January 2016 at 07:36 Elmer van Chastelet tagged 1.75.0

On 5 January 2016 at 07:36 Elmer van Chastelet tagged improvement

On 27 August 2018 at 07:41 Elmer van Chastelet tagged 0.9.83

On 27 August 2018 at 07:41 Elmer van Chastelet removed tag 1.75.0

On 27 August 2018 at 07:41 Elmer van Chastelet closed this issue.

Log in to post comments