This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Saarland Informatics Campus
saarland-informatics-campus.de
did:plc:p446zc4voekipddptwsmztdt
🏃➡️ This week, between September 1-5, Saarland Informatics Campus is hosting the internationally renowned Highlights of Logic, Games and Automata conference!
🌍 150+ researchers worldwide are attending for the latest developments in logic, verification, and more.
Full program here: sic.link/hl2025
2025-09-03T12:00:50.708Z