Thomas Seiller
The 17th CLMPST (https://clmpst2023.dc.uba.ar) has now started :-) Lots of great talks planned (13 parallel tracks 😅). And I will be talking about the formalisation of algorithms tomorrow morning! #clmpst2023
CLMPST 2023 | 17th International Congress on Logic, Methodology and Philosophy of Science and Technology

Website of the 17th International Congress on Logic, Methodology and Philosophy of Science and Technology.

Jul 24, 2023 at 5:49pmWeb
Show threadThomas SeillerJul 25, 2023
The talk is over and the slides are now online: https://www.seiller.org/documents/clmpst23.pdf. The symposium on algorithms continues with Gregory Chaitin!
Show threadJon SterlingJul 25, 2023

@thomasseiller Looks really interesting! Is there a paper or version where I can find the information about the citations? e.g. Dean 2007, etc.

Thanks!

Show threadThomas SeillerJul 25, 2023
@jonmsterling Thanks! The references can be found in slides for previous (longer) talks: https://www.seiller.org/documents/CIRM2022.pdf. There are currently no publicly available documents containing all the material but I am working on it (should be contained in the habilitation thesis I am currently writing).
Show threadJon SterlingJul 25, 2023
@thomasseiller Thanks so much! This looks like really exciting work, and I'm eager to learn more about this area. I look forward to your habilitation thesis too :)