Manchester Peter Aczel Memorial Conference and British Logic Colloquium

Turing Building

Phyllis Nicolson, physicist and mathematician, pioneer in computer science, numerical analyst and an expert user of Hartree’s differential analyser

@womeninlogic.bsky.social
#womenincomputerscience

If Ina had walked with carolers, she would have been a Turon #xmastradition #merrychristmas #happyholidays
en.m.wikipedia.org/wiki/Turo%C5...

Ina and a wooden dog sculpture in Gothenburg #travelbuddy #goodgirl

Spike says hi!

Teleportation is possible

Yuri Gurevich's lecture on the concept of algorithm #formalisingthenotionofalgorithm #dagstuhl #philosophyofcomputing

I have a Moomin mug collection (who doesn't in Sweden?), and I just realised that I really need to offer myself the latest spring special!
“We get along wonderfully! Only these natural scientists don’t seem to hit it off”
#moominphilosophy #collectableitems #thesenaturalscientists

#happyhalloween

The letter I received today from a dear friend, Nir Fresco of Ben-Gurion University of the Negev. Nir asked me to circulate it. Please share if you feel like it.

This is so true! Reforming language so that we have to see individuals (via infinitary conjunctions) seems to be a must today. #foundonFB Thanks to Alexandru Baltag!

My younger kid role model Jesse Grupper just qualified for the Olympics in Paris. He is an amazing climber and works as a research fellow at Harvard.

Three days of intensive discussions on the historical and philosophical aspects of computing, computation and computability are almost over. The program was amazing. We recorded the presentations, so some of them will be available for those of you who are interested. #hapoc #hapoc2023 #hapocwarsaw

HaPoC 2023 starts tomorrow
Traditionally, there will be an art event. This year it is the Warsaw Fine Arts New Media Department presenting works made in the studios of Jakub Wroblewski jakubwroblewski.com,
Piotr Kopik, Andrei Isakov, Sebastian Sebulec, Karol Jaworowski #hapoc #hapocwarsaw #hapoc2023