Be part of a vibrant academic tradition! 🌍 FoLLI is seeking hosts for #ESSLLI2027, the European Summer School in Logic, Language, and Information @ESSLLI_official Bring 300+ students & researchers to your institution. Preliminary proposals by Nov 15! jakubszymanik.com/call-for-pro...

British Logic Colloquium Day 2 It is an amazing event. I am so grateful to have been given the chance to share my thoughts and ideas 🦋 with colleagues from various backgrounds who share a love of logic.

Paua Quinon @ludolphine.bsky.social gives a keynote at the British Logic Colloquium on "Is the Concept of Computation a Conceptual Fixed Point?"

British Logic Colloquium Day 1 www.signbsl.com/sign/logic Found @saraluckelman.bsky.social

Rosalie Imhoff speaking on "Logic and Inference in Constructive Set Theory" at the Peter Aczel Memorial Conference in Manchester.

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

Last year, I was overjoyed to receive an NIH NRSA fellowship to study toddler brains and caregiving effects on memory at Columbia. Last night, my grant was terminated.

ATTENTION C'est aujourd'hui ! Parti des Etats-Unis, en réponse à ce que fait Trump contre la recherche scientifique, le mouvement #StandUpForScience déferle partout en France. Le site officiel lague un peu mais des infos sont ici : tinyurl.com/29nsqj5e. A Paris, ça part de Jussieu à 13h30

#hireaphilosopher #philsky #philosophy #apacentral I am moving towards ideas I have been cherishing: how to prepare OURSELVES and OUR STUDENTS to work OUTSIDE academia. The HaPoC session at APA Central Fri 28.02 (see my previous post) is about transition from academia to business.

Those of you who are at APA Central (Virtual) please join us tomorrow, Friday 28.02, for a HaPoC (History and Philosophy of Computing) with two back-to-back sessions. More in comments.

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

I am wondering about the differences between the concept of computing, the concept of computation, the concept of computability and also about incomputable, uncomputable and non-computable. Please share your insights! In any language (English is just an example here)

I never know: if I have not published the paper yet, can I talk about its content? I do at seminars or conferences when I present the draft. I do not publish on arXiv, but so many do... I would like to write here: I have just submitted the paper on... but I am hesitant… Hm. Well, I just submitted :)

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

As a philosopher I use in my daily work ChatGPT, Claude and DeepL. What do you use?

I have started lecturing on the use of critical thinking and prompting. Does anyone have a similar assignment and would be willing to share their experiences?

Unsure what I think about that… I suppose science can progress faster while assisted with AI. But admittedly, the opening for potential intellectual abuse is worrying.

Nasim Mahoozi and I are editing the proceedings of Conceptual Spaces @Work (Warsaw, June 2023). Even if you did not attend, but you have a paper worth adding to this Synthese topical collection, please join us! link.springer.com/collections/...

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

On my way to a wonderful workshop on Formalising the Notion of Algorithm in Dagstuhl www.dagstuhl.de/en/seminars/... #IamonvacationeverysingledaycauseIlovemyoccupation

Writing a book is fun, but exhausting #computingbook #notationchapter

The notation for natural numbers: which one is intended and the mathematical practice arguments are forbidden #computingbook #philosophyofnotation #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

FB asked me for money. I will keep my account (the free version) because I still have friends there... I understand that they need to capitalise one way or another, but I find the agressive personification of ads outrageous

For me, the daily struggle with abstract concepts is very real #computingbook

Looking into details of analog computing - is analog always related to physical? #computingbook

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!

More from the latest issue of the BJPS: Analogue Computation and Representation —Corey J. Maley (@coreymaley.net) Read it here: www.journals.uchicago.edu/doi/10.1086/... #philsci #philsky

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.

In a sport like ice hockey, material is half the battle, or at least it seems that way. Would it make sense to equalize chances at kids’ and junior level by limiting the price level of sticks and skates they are allowed to use? #hockeyphilosophy #icehockeyphilosophy #icehockey #glasswall

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 #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

We are organising an amazing conference in Warsaw! HaPoC-7 2023 featuring Liesbeth de Mol (CNRS Lille), Corey J. Maley (Purdue @coreymaley.net) and Marcin Miłkowski (Polish Academy of Sciences). Cannot wait! Check the full program at hapoc2023.sciencesconf.org

I know it is early, but I managed to have 100% philosophers/intellectuals feed. People I know (or know of) and their BS-contacts. This feels so safe… Can I stay here forever? #philosophy #verweiledoch

Neo-Marxist commentary on #hockeyphilosophy Informal elites are extremely entrenched in sports in both Europe and the US. I wonder if this is the case in all sports: family support will always be crucial in the later stages of selection. I wish I had had such reflections 18 years ago....

The word "computer" has meant so many things over the years. "Human computers," mechanical computing machines, electronic computing machines, quantum computers.... today we have to add AI based computation. Is there a common core meaning to all of them? #computingbook

Comparing Swedish and American junior hockey culture, first impression: meritocracy seems stronger in the US #hockeyphilosophy

I put a lot of effort into understanding how analogue computing mechanisms work, looking for the distinctive characteristics that set them apart from digital computers. #computingbook

The 2023 Nobel Prize in Physics was awarded to a professor working in Lund! It's really cool to know that exciting things are happening right around the corner www.kva.se/en/news/the-...

Does anyone have spare codes? I would love to have more friends around!