Logic List Mailing Archive

CfR: Fibonacci’s Garden 2 – Epistemology & Ethics of Formal Methods in Life Sciences & Medicine, 8–9 December 2025, Lübeck (Germany)

Call for Registration 

Fibonacci�s Garden 2: Navigating the Fog Epistemology and Ethics of Formal Methods in the Life Sciences & Medicine

When: 8�9 December 2025
Where: Institut f�r Medizingeschichte und Wissenschaftsforschung of the University of L�beck (Germany)

Participation is free of charge, but registration is required.
Details and registration form can be found on the workshop website:
https://sites.google.com/view/11235813-garden/
We will stream the talks (if the speaker agrees), but in person participation is encouraged where possible.
There is NO recording of the talks. 


We are pleased to invite researchers, practitioners, and students from philosophy, life sciences, medicine, computer science, and related disciplines to register for the second Fibonacci�s Garden workshop: 
�Navigating the Fog: The Epistemology and Ethics of Formal Methods in the Life Sciences & Medicine.�

Formal, mathematical, and computational methods are increasingly shaping how biological and medical knowledge is produced. 
This workshop brings together international scholars to examine the conceptual, epistemological, and ethical implications of these developments. 
We will explore questions such as:
- How do formal and computational models shape scientific understanding?
- What ethical challenges arise when formal methods guide decisions in biology and medicine?
- To what extent do these tools clarify (or obscure) the phenomena they describe?
- How should we evaluate transparency, trustworthiness, and interpretability in formal systems?

The workshop features invited talks by:
- Ozan Altan Alt�nok (University of Freiburg / Johannesburg)
- Jordi Fairhurst (Universitat de les Illes Balears)
- Marit Kastaun (Universit�t Kassel)
- Inke R. K�nig (Universit�t zu L�beck)
- Jos� Antonio Perez-Escobar (UNED, Madrid)
- Britta L�bke (Universit�t Hamburg)
- Deniz Sarikaya (Universit�t zu L�beck & Vrije Universiteit Brussel)
- Seunghyun Song (University of Tilburg)
- More TBA

Who should attend?
Scholars (and students!) from philosophy of science, ethics, medicine, computational biology, AI/ML, and anyone interested in the role of formal methods in biomedical sciences.

Organization by
Christan Herzog (Universit�t zu L�beck)
Britta L�bke (Universit�t Hamburg)
And Deniz Sarikaya (Vrije Universiteit Brussel & Universit�t zu L�beck)

Funding:
We are very happy about the support by the Akademie der Wissenschaften in Hamburg 

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php