As an anecdote, we have a strong Computational Biology group in my dept, looking particularly at organ modelling etc. But Comp Bio does not really run on conferences at all. The only venues CSRankings lists are two (I think relatively unimportant) conferences in molecular biology, at which AFAIK my colleagues have never published. Oxford therefore does not even appear on the Comp Bio list, let alone at some position reflecting its strength.
=> More informations about this toot | View the thread
Now there's a question to conjure with.
=> More informations about this toot | View the thread
How your email finds me.
=> More informations about this toot | View the thread
Early registration deadline has been extended until this Friday, 20th December for Trends in Functional Programming in Oxford in January. 28 contributed talks, three keynotes, plus Trends in FP in Education!
https://trendsfp.github.io/index.html
=> More informations about this toot | View the thread
The US academic "who is on the market this year" season is under way. https://www.theguardian.com/world/2024/dec/07/party-like-its-1899-the-young-wealthy-women-still-attending-debutante-balls
=> More informations about this toot | View the thread
And for when @asaj 's account gets mothballed, here's the link: https://patternsinfp.wordpress.com/2024/11/05/alan-jeffrey-1967-2024/
=> More informations about this toot | View the thread
ult Thank you to everyone who contributed anecdotes and reminiscences for this. Apologies that I didn't manage to get everything in.
=> More informations about this toot | View the thread
There's a brief obituary (in German) here: https://www.th-deg.de/de/Presseartikel?id=20690730
=> More informations about this toot | View the thread
Our dear friend and colleague Cezar Ionescu died earlier this month. I've retrieved from the archives a lecture he recorded for an open day a few years ago: https://ox.cloud.panopto.eu/Panopto/Pages/Viewer.aspx?id=2c71724c-ad4f-4df4-983e-a95901140c74
=> More informations about this toot | View the thread
I know that for some people, a linear order is expressed in terms of < rather than <=. But that doesn't matter classically.
=> More informations about this toot | View the thread
Anything better than "total preorder"?
=> More informations about this toot | View the thread
What do you call a preorder that is total (for all x and y, either x<=y or y<=x) but not antisymmetric (there are distinct x,y with x<=y<=x)? For example, sequences ordered by length. The accepted definitions I see online of "total order" and "linear order" coincide with "total partial order". Which seems perverse.
=> More informations about this toot | View the thread
Ult there go all the github.io sites
=> More informations about this toot | View the thread
St John's College Oxford is currently advertising for a Career Development Research Fellowship (CDRF) in Computer Science. Analogous to a Junior Research Fellowship at some other places. This is a great opportunity: basically to be a postdoc on your own project rather than someone else's.
It is a full-time, four-year research position with effect from 1st October 2025 or as soon as possible thereafter. It is open to early career researchers who have recently completed or are close to completing a doctorate (and will have submitted their thesis no later than three month before the start date of the post), or who have recently been awarded a doctorate. It offers an outstanding opportunity to establish a research profile as a member of a collegiate community and the wider University of Oxford. Applications for this post are particularly welcome from women and Black and minority ethnic candidates, who are under-represented in academic posts in computer science in Oxford.
The primary obligation of this Fellowship is to engage in full-time research in computer science and its dissemination. The successful candidate is expected to propose, plan, and deliver a high-quality programme of original research; publicise the outcomes of that research through conference presentations and publications; and engage in the life and activities of the College.
The annual salary is equivalent to point 7.5 on the University Scale (currently £40,521) plus a pensionable £1,500 per annum Oxford University Weighting payment which will be paid in equal monthly instalments and pro-rated for part time appointments. The appointee will automatically be enrolled in the Universities Superannuation Scheme pension.
More details can be found here:
https://www.sjc.ox.ac.uk/discover/vacancies/career-development-research-fellowships-2025/
=> More informations about this toot | View the thread
@antidote Too much time on your hands, waiting for a download?
=> More informations about this toot | View the thread
We (U of Oxford) have four faculty positions this coming year. Two are standard tutorial fellowships in CS; one in AI Ethics, jointly with Philosophy; and one Statutory Chair. Details: https://www.cs.ox.ac.uk/aboutus/vacancies/vacancy-faculty-hiring.html Feel free to ask me any questions.
=> More informations about this toot | View the thread
There's a discussion about Grothendieck happening on the Categories mailing list, inspired by a recent article in The Guardian. Alexander Prähauser quoted David Ruelle saying: "It may be hard to believe that a mathematician of Grothendieck's caliber could not find an adequate academic position in France after he left the IHES. I am convinced that if Grothendieck had been a former student of the Ecole Normale and if he had been part of the system, a position commensurate with his mathematical achievements would have been found for him."
Is this really how French maths appointments work? I cannot see something similar happening in the UK. Ruelle makes academia sound like the church or the army, with a global optimisation of the allocation of people to positions, regardless of local sympathies. UK institutions make resolutely local optimisations: nowhere would take someone unless they felt it locally beneficial. There is no national umbrella authority to say: "Grothendieck deserves a position, but no-one want him; we'll make Oxford take him."
=> More informations about this toot | View the thread
It is quoted in this article from the Chicago Tribune in 1986, which is just after Parnas famously resigned from the SDI panel. But I don't see it mentioned in his SDI resignation apologia. https://www.chicagotribune.com/1986/12/14/software-bugs-turning-deadly-in-complex-era/
=> More informations about this toot | View the thread
Can anyone point me to the source of this David Parnas quotation about certifying software engineers? "When someone builds a bridge, he uses engineers who have been certified as knowing what they are doing. Yet when someone builds you a software program, he has no similar certification, even though your safety may be just as dependent upon that software working as it is upon the bridge supporting your weight."
=> More informations about this toot | View the thread
=> This profile with reblog | Go to jer_gib@functional.cafe account This content has been proxied by September (3851b).Proxy Information
text/gemini