Uncategorized – Philosophy@HLRS

Hybrid Talk August 11th: Jonathan Weinberger – Synthetic and formalized reasoning about higher structures

Posted on July 22, 2025 by Nico

Jonathan Weinberger (Chapman University) will join us for a talk on current developments in program verification and type theory. This will be interesting for...

July 18th – Talk by Sven Nyholm – The Ethics of AI Agents

Posted on July 14, 2025 by Nico

Sven Nyholm (LMU München) will join us virtually on July 18th, 11am to give a talk titled The Ethics of AI Agents: Advanced AI...

Events and Talks mailing list

Posted on April 19, 2024 by Nico

If you want to be updated about our events and talks you can join our mailinglist compphil.

Summer School Slides and Agenda

Posted on August 1, 2023 by Nico

Day 1 26.7. Ethical and normative aspects of Trust in ML9:00 Welcome and Intro (Michael Resch)9:30 Concepts of Trust (Andreas Kaminski) 11:00 Coffee break11:30...

SAS23 CfA – Reliability or Trustworthiness?

Posted on May 8, 2023 by Nico

Conference on Computer Intensive Methods Recent debates on AI have pointed out trust as a seminal issue. However, it is often unclear what is...

Call for participation: Summer School Trust and ML – deadline extended!

Posted on May 2, 2023 by Nico

The philosophy of computational sciences group of HLRS is pleased to announce this year’s Summer School Trust and Machine Learning. The trustworthiness of ML-methods...

Workshop with Michael Puntschuh

Posted on April 24, 2023 by Sebastian Bücker

On the 2nd of May 2023, 12:30 p.m., Michael Puntschuh will give a workshop on biased AI, its causes and how to deal with...

January, 27th: When do Nonepistemic Values Play an Epistemically Illegitimate Role in Science – Discussion with Alexander Reutlinger.

Posted on October 27, 2022 by Michael Herrmann

On January 27th Alexander Reutlinger will join us for a discussion of his recent paper When do Nonepistemic Values Play an Epistemically Illegitimate Role...

December 15th: Proof, semiotics, and the Computer – Discussion with Johannes Lenhard

Posted on October 27, 2022 by Nico

On December 15th Johannes Lenhard will join us for a discussion of his recent Proof, Semiotics, and the Computer: On the Relevance and Limitation...

November 18th: Trust but verify – Talk and Discussion with Nic Fillion

Posted on September 28, 2022 by Nico

Nic Fillion will join us (virtually) on November 18th 17:00 (UTC+1) and help us disentangle issues surrounding epistemic opacity and reliability in scientific computing....

1 2 Next ›