Posts by sbrunthaler@mastodon.social
 (DIR) Post #AzWbeYcGbzMS6tchWK by sbrunthaler@mastodon.social
       2025-10-23T21:20:17Z
       
       1 likes, 0 repeats
       
       @shriramk @cfbolz @sliminality At TU Wien having mixed ct/st schedules was a massive. PITA for room administration and scheduling (which is, or at least was, a Prolog program). They fixed it by forcing ct on everyone. (I do think the origins are due German universities rarely having a campus and the 15 mins account for travel time. At least that way makes sense to me.)
       
 (DIR) Post #B0OmSilxEBixHuFytM by sbrunthaler@mastodon.social
       2025-11-19T06:12:51Z
       
       1 likes, 1 repeats
       
       Happy to share that our Tephra paper got a distinguished paper award at ASE'25. Vasil gave a great talk and we'll have an accompanying poster session until 6pm in local time (UTC-9, iirc).