Onderzoeksoutput per jaar
Onderzoeksoutput per jaar
Persoonlijk profiel
Externe posities
Programmabeheerder, Federaal Wetenschapsbeleid (FOD) - BELSPO
10 feb. 2019 → …
Keywords
- free keyword
Vingerafdruk
Verdiep u in de onderzoeksgebieden waarop Koen Lefever actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.
- 1 Soortgelijke profielen
-
On variable non-dependence of first-order formulas
Lefever, K. & Székely, G., 28 jan. 2025, blz. 1-24, 24 blz.Onderzoeksoutput: Voordruk
Bestand37 Downloads (Pure) -
Entretien avec Ann Vanreusel à propos de l’écologie des fonds marins
Lefever, K., okt. 2022, Science Connection, 68, blz. 22-26 4 blz.Onderzoeksoutput: Article › Vulgarizing
Open AccessBestand15 Downloads (Pure) -
Interview met Ann Vanreusel over Ecologie van de Zeebodem
Lefever, K., okt. 2022, Science Connection (Nederlandse ed.), 68, blz. 22-26 4 blz.Onderzoeksoutput: Article › Vulgarizing
Open AccessBestand31 Downloads (Pure) -
Distances between formal theories
Khaled, M., Székely, G., Lefever, K. & Friend, M., sep. 2020, In: Review of Symbolic Logic. 13, 3, blz. 633-654 21 blz.Onderzoeksoutput: Article › peer review
Open AccessBestand7 Citaten (Scopus)112 Downloads (Pure) -
On Generalization of Definitional Equivalence to Non-Disjoint Languages
Lefever, K. & Székely, G., 15 aug. 2019, In: Journal of Philosophical Logic. 48, 4, blz. 709-729 21 blz.Onderzoeksoutput: Article › peer review
9 Citaten (Scopus)
Prijzen
Activiteiten
-
Belgian priorities for European marine research
Koen Lefever (Speaker)
11 jun. 2024Activiteit: Talk or presentation at a workshop/seminar
-
Belgian Federal Marine Science Policy
Koen Lefever (Speaker)
4 jun. 2024 → 5 jun. 2024Activiteit: Talk or presentation at a conference
-
Belgian Marine Science Policy: an Interdisciplinary Approach in an International Context
Koen Lefever (Speaker)
26 apr. 2024Activiteit: Talk or presentation at a conference
-
JPI Oceans Strategic Navigation Forum
Koen Lefever (Member of programme committee)
11 jun. 2024Activiteit: Participation in workshop, seminar
-
JPI Climate Equinox Summit: The first European climate science summit
Koen Lefever (Speaker)
21 mrt. 2023Activiteit: Talk or presentation at a workshop/seminar
Scriptie
-
Logische en ontologische aspekten van ruimte en tijd in axiomatieken voor de speciale relativiteitstheorie
Auteur: Lefever, K., 2004Begeleider: Van Bendegem, J. P. (Promotor)
Scriptie/Masterproef: Master's Thesis
-
Using Logical Interpretation and Definitional Equivalence to Compare Classical Kinematics and Special Relativity Theory
Auteur: Lefever, K., 26 mei 2017Begeleider: Van Bendegem, J. P. (Promotor) & Szekely, G. (Externe persoon) (Promotor)
Scriptie/Masterproef: Doctoral Thesis
Bestand