I missed the final session as I had to head back home. But WACT was absolutely brilliant. I thoroughly enjoyed it and learned so much. Thank you for running it!
Very happy to be hosting a talk today by Jacob Urisman in our Algorithms and Complexity seminar:
talks.cam.ac.uk/talk/index/2...
Delighted to be here!
To be fair, wherever you can use an oyster card, you can also tap in and out with a bank card. And 'elsewhere in Europe' is a bit sweeping. I just got back from a trip to Copenhagen and there was no way to pay for a bus except by bespoke travel card or app.
The author now has a Lean verified proof
arxiv.org/abs/2606.03194
🤷
Really saddened to hear of the passing of Paul Hewett. He was a kind and gentle man. He'll be much missed.
www.corpus.cam.ac.uk/articles/pro...
I'll be speaking at WACT sites.google.com/view/wact202...
this afternoon. 2pm CEST. You can watch live here:
www.youtube.com/live/3WAvAu5...
5-year postdoctoral research fellowship in theoretical Computer Science (also 4 other research fields), a nice opportunity! Needs PhD to be awarded between 1/Aug/24 and 1/Oct/27. Please share with whoever may be suitable!
www.asc.ox.ac.uk/post-doctora...
Professor Anuj Dawar FRS is elected a Fellow of the Royal Society. He is a theoretical computer scientist who has developed fundamental new methods, rooted in mathematical logic, for the study of computational complexity. #RSFellows https://royalsociety.org/people/anuj-dawar-36313/
The afternoon session on day 2 started with an introduction to symmetric circuits and lower bound techniques for these by Anuj Dawar. The symmetric model is one of the rare models that distinguishes the non-identical twins Det and Perm.
