Events: STCS Annual Symposium

Verifying Programs in Weak Memory Models with persistency

Speaker:

Prakash Saivasan (The Institute of Mathematical Sciences)

Organiser:

Raghuvansh Saxena

Date:

Tuesday, 13 Aug 2024, 09:30 to 10:30

Venue:

AG-69

Category:

STCS Annual Symposium

Recent progress on the online k-server problem

Speaker:

Amit Kumar (IIT Delhi)

Organiser:

Raghuvansh Saxena

Date:

Monday, 12 Aug 2024, 09:00 to 10:30

Venue:

AG-69

Category:

STCS Annual Symposium

STCS Annual Symposium

Organiser:

Raghuvansh Saxena

Date:

Monday, 12 Aug 2024 to Tuesday, 13 Aug 2024 (all day)

Venue:

AG-69

Category:

STCS Annual Symposium