Nikolaus Huber (Jul 20 2026 at 17:05): Nikolaus Huber (Jul 20 2026 at 17:05):I have not been able to reach concrete-semantics for a couple of days now, and today it suddenly started just redirecting to the chair of logic and verification at TUM. Was the site taken down?
Kevin Kappelmann (Jul 20 2026 at 17:35):You could send a brief note to nipkow@in.tum.de he is owning the website
Last updated: Aug 05 2026 at 21:11 UTC