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 

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

When: 89 December 2025
Where: Institut fr Medizingeschichte und Wissenschaftsforschung of the University of Lbeck (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 Fibonaccis 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 Altnok (University of Freiburg / Johannesburg)
- Jordi Fairhurst (Universitat de les Illes Balears)
- Marit Kastaun (Universitt Kassel)
- Inke R. Knig (Universitt zu Lbeck)
- Jos Antonio Perez-Escobar (UNED, Madrid)
- Britta Lbke (Universitt Hamburg)
- Deniz Sarikaya (Universitt zu Lbeck & 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 (Universitt zu Lbeck)
Britta Lbke (Universitt Hamburg)
And Deniz Sarikaya (Vrije Universiteit Brussel & Universitt zu Lbeck)

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