Talks

Refine your search

2009

Rafal Urbaniak and Frederik Van De Putte
Induction from a single instance and dynamic frames (Contributed)
Frames, Frames and Frames Workshop
21 August 2009 - Ghent, Belgium

Joke Meheus and Diderik Batens
A formal approach to methodology, illustrated by adaptive logics of abduction and of inductive generalization (Invited)
Programa en Ciencia e Ingeniería de la Computación
17 August 2009 - Mexico

Liesbeth De Mol
"Why might a mathematician want to add pulse circuitry to pencil and paper?" Mathematical tables in the era of digital computing (Invited)
Budapest, Hungary
29 July 2009 - ICHST, History of Numerical Tables – The Second Meeting on History of Exact Sciences along the Silk Road
[Slides]
Jan De Winter
Explanations in Software Engineering: The Pragmatic Point of View (Contributed)
SPT 2009: Converging Technologies, Changing Societies
10 July 2009 - Enschede, Netherlands

Steffen Ducheyne
Whewell's Tidal Researches: Scientific Practise and Philosophical Methodology (Contributed)
British Society for the History of Science (BSHS) Conference
3 July 2009 - Leicester, UK

Jan Willem Wieland
Is There a Problem About Problem Shifting? (Contributed)
Open Minds 4
3 July 2009 - Manchester, UK

Liesbeth De Mol
Post's and Zuse's forgotten ideas in the philosophy of computer science (Contributed)
ECAP09 - European Conference on Computing and Philosophy
3 July 2009 - Barcelona, Spain
[Slides]
Guiseppe Primiero
On the meaning of decidability issues in dependent types for the problem of output correctness (Contributed)
ECAP09 - European Conference on Computing and Philosophy
2 July 2009 - Barcelona, Spain
[Slides]
Hans Lycke
Generalized conversational relevance. Relevance conditions for asserting disjunctions (Contributed)
Hejnice, Czech Republic
25 June 2009 - LOGICA 2009
[Slides]
Rafal Urbaniak
Plurals and the cumulative set hierarchy (Contributed)
Non-Classical Mathematics 2009
20 June 2009 - Hejnice, Czech Republic

Pages