Person

Back to overview

Jäger Gerhard

Gender Male
Institute Institut für Informatik Universität Bern
Show all

Projects as responsible applicant

Responsible applicant Institution of higher education Start End date Funding scheme

Algebraische und logische Aspekte der Wissensverarbeitung
Jäger Gerhard University of Berne - BE 01.11.1998 31.12.2000 Project funding

A frame for networked components
Jäger Gerhard University of Berne - BE 01.03.1996 31.12.1998 Swiss Priority Programmes (SPPs)

Distributed Propositional Proof Systems
Jäger Gerhard University of Berne - BE 01.01.1996 30.06.1998 Project funding

Operational Set Theory
Jäger Gerhard University of Berne - BE 01.02.2014 31.07.2014 Research semester

Structural Proof Theory and the Logic of Proofs
Jäger Gerhard University of Berne - BE 01.05.2011 30.04.2014 Project funding

Logic and information: from logic to constructive reasoning
Jäger Gerhard University of Berne - BE 01.01.2007 31.01.2007 International Exploratory Workshops

P2C - International Conference on Proof Theory, Provability Logic and Computation
Jäger Gerhard University of Berne - BE 01.02.1994 31.07.1994 Scientific Conferences

Algebraische und logische Aspekte der Wissensverarbeitung
Jäger Gerhard University of Berne - BE 01.05.1990 30.04.1992 Project funding

Logic Colloquium 2008
Jäger Gerhard University of Berne - BE 01.05.2008 31.10.2008 Scientific Conferences

A logics workbench
Jäger Gerhard University of Berne - BE 01.01.1993 31.03.1996 Swiss Priority Programmes (SPPs)

General inductive definitions in explicit mathematics and modal logic.
Jäger Gerhard University of Berne - BE 01.03.2002 31.05.2002 International short research visits

Algebraische und logische Aspekte der Wissensverarbeitung
Jäger Gerhard University of Berne - BE 01.05.1996 31.10.1998 Project funding

Structural proof theory and the logic of proofs
Jäger Gerhard University of Berne - BE 01.05.2008 30.04.2011 Project funding

Algebraische und logische Aspekte der Wissensverarbeitung
Jäger Gerhard University of Berne - BE 01.04.2005 31.03.2008 Project funding

Algebraic and Logical Aspects of Knowledge Processing
Jäger Gerhard University of Berne - BE 01.10.2011 30.09.2014 Project funding

Theory and Applications of Models of Computation 2017 (TAMC 17)
Jäger Gerhard University of Berne - BE 01.04.2017 30.06.2017 Scientific Conferences

Algebraische und logische Aspekte der Wissensverarbeitung
Jäger Gerhard University of Berne - BE 01.05.1992 30.04.1994 Project funding (special)

Algebraische und logische Aspekte der Wissensverarbeitung
Jäger Gerhard University of Berne - BE 01.05.1994 30.04.1996 Project funding

Algebraic and Logical Aspects of Knowledge Processing
Jäger Gerhard University of Berne - BE 01.10.2014 30.11.2017 Project funding

Non-Deterministic Aspects of Information Refinery in Distributed Environments
Jäger Gerhard University of Berne - BE 01.04.1996 31.03.1998 Project funding (special)

Algebraische und logische Aspekte der Wissensverarbeitung
Jäger Gerhard University of Berne - BE 01.01.2001 31.03.2003 Project funding

Algebraische und logische Aspekte der Wissensverarbeitung
Jäger Gerhard University of Berne - BE 01.04.2003 31.03.2005 Project funding

Structural Proof Theory and the Logic of Proofs
Jäger Gerhard University of Berne - BE 01.05.2014 30.04.2017 Project funding

Algebraische und logische Aspekte der Wissensverarbeitung
Jäger Gerhard University of Berne - BE 01.04.2008 30.09.2011 Project funding

Projects as co-applicant

Responsible applicant Institution of higher education Start End date Funding scheme

Executable models for analysis and implementation of complex systems
IvyTeam Companies/ Private Industry - FP 01.11.1992 31.03.1996 Swiss Priority Programmes (SPPs)

Inferenz und Deduktion: Eine Integration von Logik und Wahrscheinlichkeit
Kohlas Jürg University of Fribourg - FR 01.01.2001 31.12.2002 Project funding

Inference and Deduction: Concepts of Information and Knowledge
Kohlas Jürg University of Fribourg - FR 01.01.2003 31.12.2005 Project funding

Dynamic Ontologies
Stoffel Kilian University of Neuchatel - NE 01.04.2004 31.03.2006 Project funding

Inferenz und Deduktion: Eine Integration von Logik und Wahrscheinlichkeit
Kohlas Jürg University of Fribourg - FR 01.10.1998 31.12.2000 Project funding

Repräsentation und automatische Auswertung von empirischem, speziell quantitativem Wissen
Schmid Beat F. University of St.Gallen - SG 01.11.1992 31.03.1996 Swiss Priority Programmes (SPPs)

Inference and Deduction: Concepts of Information and Knowledge
Kohlas Jürg University of Fribourg - FR 01.01.2006 31.12.2007 Project funding

Projects as contact person

Responsible applicant Institution of higher education Start End date Funding scheme

Sulla Teoria della Dimostrazione delle Definizioni Quasi-Induttive
Bruni Riccardo University of Berne - BE 01.02.2008 30.04.2008 International short research visits
-