Activiteiten
2025
The Logic and Logical Inferences of Constructive Set TheoriesIemhoff, R. (Speaker)
10 Sept 2025
, Peter Aczel Memorial DayOn the existence of proof systemsIemhoff, R. (Speaker)
15 May 2025
, MCMP Colloquium2022
Positive and negative results in universal proof theoryIemhoff, R. (Invited speaker)
13 Dec 2022 → 16 Dec 2022
, Summer School of the Australian National UniversityProof Society Autumn School and Workshop 2022Iemhoff, R. (Organiser)
7 Nov 2022 → 12 Nov 2022
Formalization in Proof TheoryIemhoff, R. (Invited speaker)
28 Oct 2022
, Logic Colloquium of the University of ConnecticutWorkshop on Proofs and Formalization in Logic, Mathematics and PhilosophyIemhoff, R. (Organiser)
20 Sept 2022 → 22 Sept 2022
On the existence of sequent calculiIemhoff, R. (Invited speaker)
15 Feb 2022
, Computer Science Logic2021
Negative Results in Universal Proof TheoryIemhoff, R. (Invited speaker)
23 Nov 2021
, Geometric Logic, Constructivisation, and Automated Theorem ProvingOn terminating sequent calculi (or proof theory for uniform interpolation)Iemhoff, R. (Invited speaker)
30 Sept 2021
, Logica 2021Topology, Algebra, and Categories in LogicIemhoff, R. (Member of programme committee)
1 Sept 2021 → 30 Apr 2022
Uniform Interpolation in Universal Proof TheoryIemhoff, R. (Invited speaker)
24 Jun 2021
, Annual North American ASL MeetingProof-Theoretic FormalizationIemhoff, R. (Invited speaker)
8 Jun 2021
, EXPRESS/PhilMath Seminar, Amsterdam-Paris Logical Inference in Constructive TheoriesIemhoff, R. (Invited speaker)
13 May 2021
, Leeds-Ghent Virtual SeminarPromotion Committee Eveline LehmannIemhoff, R. (Member of committee)
13 Jan 2021
The role of uniform interpolation in structural proof theoryIemhoff, R. (Invited speaker)
12 Jan 2021
, Logic Online Seminar Moscow Vereniging voor Logica (External organisation)Iemhoff, R. (Member)
1 Jan 2021 → 31 Dec 2021
Stanford encyclopedia of philosophy (Journal)Iemhoff, R. (Editor)
1 Jan 2021 → 31 Dec 2021
Nederlandse Organisatie voor Wetenschappelijke Onderzoek (NWO)(External organisation)Iemhoff, R. (Member)
1 Jan 2021 → 31 Dec 2021
Journal of Philosophical Logic (Journal)Iemhoff, R. (Editorial board member)
1 Jan 2021 → 31 Dec 2021
Editorial Board Logic in Perspectives (ASL)(External organisation)Iemhoff, R. (Member)
2021 → 2024
2020
Promotion committee Gianluca Grilletti (Event)Iemhoff, R. (Member of committee)
23 Nov 2020
The Stability of Logical InferenceIemhoff, R. (Invited speaker)
5 Nov 2020
, Applied Proof Theory WorkshopThe Stability of Logical InferenceIemhoff, R. (Invited speaker)
11 Sept 2020
, IX Workshop on Philosophical LogicECAP 10 (European Congress of Analytic Philosophy )Iemhoff, R. (Member of programme committee)
24 Aug 2020 → 28 Aug 2020
, ECAP 10 (European Congress of Analytic Philosophy )Habilitations Committee Daniel Weller (TU WIen)(Event)Iemhoff, R. (Member)
2 Mar 2020
, Habilitations Committee Daniel Weller (TU WIen)Logical Foundations of Computer ScienceIemhoff, R. (Member of programme committee)
4 Jan 2020 → 7 Jan 2020
2019
Uniform Interpolation via Proof SystemsIemhoff, R. (Invited speaker)
10 Oct 2019
, Workshop on Algebraic and Proof Theoretic Methods in Non-Classical LogicUniversal Proof TheoryIemhoff, R. (Invited speaker)
8 Sept 2019 → 11 Sept 2019
, Summer School of the Proof SocietyWorkshop on Logic, Language, Information and ComputationIemhoff, R. (Chair)
2 Jul 2019 → 5 Jul 2019
Proof Theory in Logic Iemhoff, R. (Organiser)
1 Jul 2019 → 2 Jul 2019
The proof systems of a logicIemhoff, R. (Invited speaker)
20 May 2019
, ASL 2019 Annual North American MeetingThe Skolem Class of Intermediate LogicsIemhoff, R. (Invited speaker)
11 May 2019
, Workshop on Admissible Rules and UnificationMathematical Logic Quarterly (Journal)Iemhoff, R. (Peer reviewer)
1 Jan 2019 → 31 Dec 2019
Journal of Philosophical Logic (Journal)Iemhoff, R. (Peer reviewer)
1 Jan 2019 → 31 Dec 2020
NWO SGW Table (External organisation)Iemhoff, R. (Member)
2019 → 2022
2018
Negative Results in Proof TheoryIemhoff, R. (Invited speaker)
3 Sept 2018
, Workshop of the Proof SocietyRegular Properties and the Existence of Proof SystemsIemhoff, R. (Invited speaker)
28 Aug 2018
, Advances in Modal LogicThe Proof Society (External organisation)Iemhoff, R. (Member)
2018 → …
2017
Quantifiers and Terms in Intermediate LogicsIemhoff, R. (Invited speaker)
6 Dec 2017
, Non-Classical Modal and Predicate LogicsWorkshop on Proof Theory and ComputationIemhoff, R. (Member of programme committee)
Sept 2017 → Jun 2018
Workshop and Summer School of the Proof SocietyIemhoff, R. (Member of programme committee)
Sept 2017 → Aug 2018
Workshop ProofsIemhoff, R. (Keynote speaker)
1 Jun 2017
Collegium LogicumIemhoff, R. (Keynote speaker)
25 May 2017
ASLIemhoff, R. (Invited speaker)
12 Apr 2017
Journal of Philosophical Logic (Journal)Iemhoff, R. (Editor)
2017 → …
2016
Over BewijzenIemhoff, R. (Invited speaker)
25 Nov 2016
, Leerlingenconferentie Harde WaarheidIemhoff, R. (Invited speaker)
11 Oct 2016
, Filosofisch Café (Utrecht)Collegium Logicum 2016Iemhoff, R. (Keynote speaker)
10 Sept 2016
Topology, Algebra, and Categories in LogicIemhoff, R. (Chair)
1 Sept 2016 → 1 Aug 2017
7th workshop on Intuitionistic Modal Logic and ApplicationsIemhoff, R. (Member of programme committee)
1 Sept 2016 → 1 Sept 2017
Proof Complexity Workshop, St Petersburg, 2016Iemhoff, R. (Keynote speaker)
17 May 2016
Heyting Stichting (External organisation)Iemhoff, R. (Member)
2016 → …
2015
Logical Foundations of Computer Science 2016Iemhoff, R. (Member of programme committee)
1 Sept 2015 → 1 Jan 2016
Lattices, algebras and truth degrees 2016Iemhoff, R. (Member of programme committee)
1 Sept 2015 → 1 Jun 2016
Logic Colloquium 2016Iemhoff, R. (Chair)
17 Aug 2015 → 8 Aug 2016
Topology, Algebra, and Categories in Logic 2015Iemhoff, R. (Invited speaker)
23 Jul 2015
Congress of Logic, Methodology and Philosophy of Science 2015Iemhoff, R. (Invited speaker)
8 Jul 2015
Review of Symbolic Logic (Journal)Iemhoff, R. (Referee)
Jul 2015
Interpolation and Proof SystemsIemhoff, R. (Keynote speaker)
5 May 2015
, Applications of Logic in Philosophy and the Foundations of MathematicsLogisch toch?Iemhoff, R. (Invited speaker)
11 Feb 2015
, Studium Generale UU (Utrecht)Interpolation and Proof SystemsIemhoff, R. (Invited speaker)
30 Jan 2015 → 2 Feb 2015
, Workshop on Admissible Rules and Unification II,Utrecht Workshop on Proof TheoryIemhoff, R. (Organiser)
2015
Topology, Algebra, and Categories in LogicsIemhoff, R. (Member of programme committee)
2015
Journal of Philosophical Logic (Journal)Iemhoff, R. (Editor)
2015 → …
Computability in EuropeIemhoff, R. (Member of programme committee)
2015
2014
Remarks on unification in nontransitive modal logicIemhoff, R. (Invited speaker)
29 Sept 2014 → 1 Oct 2014
, Israeli Workshop on Non-Classical Logics and their ApplicationsStructures and Deduction 2014Iemhoff, R. (Keynote speaker)
9 Jul 2014 → 24 Jul 2014
, Vienna Summer of LogicAlgebra and Coalgebra meet Proof TheoryIemhoff, R. (Invited speaker)
15 May 2014 → 16 May 2014
2013
PhDs in Logic VI (Utrecht)Iemhoff, R. (Member of programme committee)
1 Nov 2013 → 1 Mar 2014
, PhDs in Logic VI (Utrecht)Rules of Inference (tutorial)Iemhoff, R. (Invited speaker)
24 Sept 2013
, TbiLLC 2013 (Gudauri)Logic, Algebra and Truth DegreesIemhoff, R. (Member of programme committee)
1 Sept 2013 → 1 Feb 2014
Advances in Modal Logic Iemhoff, R. (Member of programme committee)
1 Sept 2013 → 1 Jul 2014
9th International Computer Science Symposium in Russia Iemhoff, R. (Member of programme committee)
1 Sept 2013 → 1 May 2014
Admissible Rules (tutorial with George Metcalfe)Iemhoff, R. (Invited speaker)
5 Aug 2013
, ESSLLI 2013 (Düsseldorf)Journal of Logic and Computation (Journal)Iemhoff, R. (Referee)
Aug 2013 → Sept 2013
On RulesIemhoff, R. (Keynote speaker)
22 Jul 2013
, Logic Colloquium 2013 (Evora)Simple Proofs (invited lecture)Iemhoff, R. (Invited speaker)
4 Apr 2013
, Simplicity - Ideals of Practice in Mathematics & the Arts (New York)On Rules (invited lecture)Iemhoff, R. (Invited speaker)
31 Jan 2013
, Seminar of the Munich Center for Mathematical Philosophy2012
Skolemization and Herbrand's theorem in constructive theories (invited lecture)Iemhoff, R. (Invited speaker)
13 Nov 2012
, Bezoek aan JAIST (Kanazawa)Substitutions and rules (invited lecture)Iemhoff, R. (Invited speaker)
8 Nov 2012
, Bezoek aan JAIST (Kanazawa)The structure of constructive proofs (invited lecture)Iemhoff, R. (Invited speaker)
7 Sept 2012
, Intuitionism in 2012, Heyting Stichting (Amsterdam)Substitutions and rules (invited lecture)Iemhoff, R. (Invited speaker)
20 Aug 2012
, 8th Scandinavian Logic Symposium (Roskilde, Denemarken)Unification in modal and intermediate logics (lecture)Iemhoff, R. (Invited speaker)
13 Jun 2012
, Pisa Summer Workshop on Proof TheoryLogic Journal of the IGPL (Journal)Iemhoff, R. (Referee)
Apr 2012 → May 2012
Stanford Encyclopedia (Publisher)Iemhoff, R. (Editor)
2012 → …
Skolemization in intuitionistic logicIemhoff, R. (Invited speaker)
2012
, Seminar of the math dept. of the University of AthensSkolemization in intuitionistic logicIemhoff, R. (Invited speaker)
2012
, Oberwolfach WorkshopReview of Symbolic Logic (Journal)Iemhoff, R. (Editor)
2012 → 2016
Mathematical Logic Quarterly (External organisation)Iemhoff, R. (Member)
2012 → …
LICS (External organisation)Iemhoff, R. (Member)
2012 → …
Language (External organisation)Iemhoff, R. (Member)
2012 → …
de conferentie Unifaction 2012 (External organisation)Iemhoff, R. (Member)
2012 → …
de conferentie Logic in Computer Science (External organisation)Iemhoff, R. (Member)
2012 → …
Association of Symbolic Logic (External organisation)Iemhoff, R. (Member)
2012 → …
2011
Workshop on Admissible Rules and UnificationIemhoff, R. (Participant)
26 May 2011 → 28 May 2011
Review of Symbolic Logic (Journal)Iemhoff, R. (Editor)
1 Jan 2011 → 31 Dec 2016
Tiijdschrift (Event)Iemhoff, R. (Member)
2011 → …
, Tiijdschriftde conferentie Non-classical Modal and Predicate Logics 2011. (External organisation)Iemhoff, R. (Member)
2011 → …
Association of Symbolic Logic (External organisation)Iemhoff, R. (Member)
2011 → …
2010
Unification in nonclassical theoriesIemhoff, R. (Invited speaker)
2010
, Conferentie PCC '10 - Proof, Computation, Complexity 2010 (University Bern)Unification in nonclassical theoriesIemhoff, R. (Invited speaker)
2010
, Conferentie Collegium Logicum: proofs and structures (Paris)Unification in LogicIemhoff, R. (Invited speaker)
2010
, Conferentie Constructive Mathematics: Proofs and Computation (Fraueninsel, Chiemsee, Germany)Mathematical Logic Quarterly (Journal)Iemhoff, R. (Editor)
2010 → …
Language (External organisation)Iemhoff, R. (Member)
2010 → …
de conferentie Computability in Europe 2010 (External organisation)Iemhoff, R. (Member)
2010 → …
de conferentie Advances in Modal Logic 2010 (External organisation)Iemhoff, R. (Member)
2010 → …
2009
Skolemization in constructive theoriesIemhoff, R. (Invited speaker)
7 Dec 2009
, Bern Colloquium (Bern - Zwitserland)Topology, Algebra, and Categories in LogicsIemhoff, R. (Organiser)
7 Nov 2009
Constructivism and Proof TheoryIemhoff, R. (Invited speaker)
14 Jul 2009
, Leeds Symposium on Proof Theory and Constructivism (Leeds, UK)Logical Foundations of Computer ScienceIemhoff, R. (Organiser)
3 Jun 2009
Hypersequent calculi for admissibilityIemhoff, R. (Invited speaker)
5 Jan 2009
, Symposium on Logical Foundations of Computer Science (Deerfield Beach, Florida, USA)de conferentie Computability in Europe 2009 (External organisation)Iemhoff, R. (Member)
2009 → …
2008
Translations and Kripke models for constructive set theoriesIemhoff, R. (Invited speaker)
1 May 2008
, Logic Models of Reasoning and Computation (Moscow)Translations in Constructive Set TheoryIemhoff, R. (Invited speaker)
6 Mar 2008
, Shanks workshop on Proof Theory and AlgebraRemarks on Constructive Set TheoryIemhoff, R. (Invited speaker)
2008
, Mathematical Logic: Proof Theory, Constructive Mathematics (Oberwolfach)Proof theory for admissibilityIemhoff, R. (Invited speaker)
2008
, Conferentie Computability in Europe (Athens)de conferentie Logic in Computer Science (External organisation)Iemhoff, R. (Member)
2008 → …
2007
Skolemization in constructive theoriesIemhoff, R. (Invited speaker)
2007
, Logic in Computer Science (Wroclaw, Poland)Skolemization in constructive theoriesIemhoff, R. (Invited speaker)
2007
, Vienna-Moscow meeting2006
The Skolem functions of intuitionistic logicIemhoff, R. (Invited speaker)
2006
, Paris-Vienna meetingThe basic intuitionistic logic of proofsIemhoff, R. (Invited speaker)
2006
, International workshop on modal logicSkolemization, existence and equalityIemhoff, R. (Invited speaker)
2006
, Prague-Vienna meeting2005
The logic of constructive mathematicsIemhoff, R. (Invited speaker)
2005 → …
, Seminar of the math dept. at the University of Cape TownThe existence predicateIemhoff, R. (Invited speaker)
2005
, Collegium Logicum 2005 (Vienna)Skolemization in intuitionistic logicIemhoff, R. (Invited speaker)
2005
, Computability in Europe (Amsterdam)Constructivism and intuitionistic logicIemhoff, R. (Invited speaker)
2005 → …
, Seminar of the Dept. of Philosophy of Stanford University