[removed]EUROPEAN PARLIAMENT Committee on the Environment, Public Health and Food Safety ENVI_PV(2011)0713_1

Source URL: www.europarl.europa.eu

• Envi
• Romano Prodi
• Jo Leinen
• Karl-Heinz Florenz
• European Union
• Italy
• MEPs for Germany 1999–2004
• MEPs for Germany 2004–2009
• Chrysler

Type Checking C++ Template Instantiation by Graph Programs (long version) Karl Azab and Karl-Heinz Pennemann [removed], [removed] Carl v. Ossietzky Universit¨at Oldenbu

Source URL: formale-sprachen.informatik.uni-oldenburg.de

• Graph
• Matching
• Tree
• Path decomposition
• Line graph
• Graph theory
• Mathematics
• Theoretical computer science

Satisfiability of High-Level Conditions Annegret Habel and Karl-Heinz Pennemann Carl v. Ossietzky Universit¨ at Oldenburg, Germany⋆⋆ {habel,pennemann}@informatik.uni-oldenburg.de

Source URL: formale-sprachen.informatik.uni-oldenburg.de

• Algebra
• Mathematics
• Epimorphism
• Monomorphism
• Category
• Equivalence of categories
• Sheaf
• Abstract algebra
• Morphisms
• Category theory

Weakest Preconditions for High-Level Programs (Long Version) Annegret Habel1 , Karl-Heinz Pennemann1 , and Arend Rensink2 1 University of Oldenburg, Germany⋆⋆

Source URL: formale-sprachen.informatik.uni-oldenburg.de

• Category theory
• Morphisms
• Graph rewriting
• Graph theory
• Pushout
• Epimorphism
• Category
• Ample line bundle
• Sheaf
• Abstract algebra
• Mathematics
• Algebra

Generalized Constraints and Application Conditions for Graph Transformation Systems Karl-Heinz Pennemann Carl v. Ossietzky University of Oldenburg, Germany [removed] September 17, 2004

Source URL: formale-sprachen.informatik.uni-oldenburg.de

• Graph rewriting
• Category theory
• Duality
• Morphism
• Graph
• Constraint programming
• Universal property
• Category
• Lattice theory
• Mathematics
• Graph theory
• Theoretical computer science

Resolution-like theorem proving for high-level conditions Karl-Heinz Pennemann University of Oldenburg, Germany⋆⋆ [removed]

Source URL: formale-sprachen.informatik.uni-oldenburg.de

• Mathematical logic
• Propositional calculus
• Model theory
• Algebraic geometry
• Logical truth
• Tautology
• Pushout
• Epimorphism
• Category
• Logic
• Mathematics
• Abstract algebra

Development of correct graph transformation systems Preliminary abstract Karl-Heinz Pennemann University of Oldenburg, Germany?? [removed]

Source URL: formale-sprachen.informatik.uni-oldenburg.de

• Formal methods
• Graph rewriting
• Model checking
• Predicate transformer semantics
• Graph
• Graph theory
• Mathematics
• Theoretical computer science

R  P Research Division – NATO Defense College, Rome – No. 97 – September 2013 NATO’s 2014 Summit Agenda by Karl-Heinz Kamp1

Source URL: www.europarl.europa.eu

• NATO
• Bucharest summit
• Politics
• Missile defense
• Riga summit
• Istanbul summit
• International relations
• Cold War
• Military

Weakest Preconditions for High-Level Programs Annegret Habel1 , Karl-Heinz Pennemann1 , and Arend Rensink2 1 University of Oldenburg, Germany⋆⋆ {habel,pennemann}@informatik.uni-oldenburg.de 2

Source URL: formale-sprachen.informatik.uni-oldenburg.de

• Algebra
• Morphisms
• Algebraic geometry
• Predicate transformer semantics
• Program logic
• Pushout
• Graph rewriting
• Epimorphism
• Ample line bundle
• Abstract algebra
• Mathematics
• Category theory

Întrebarea cu solicitare de răspuns oral O[removed]adresată Comisiei Articolul 115 din Regulamentul de procedură Dan Jørgensen, Karl-Heinz Florenz, Miroslav Ouzký, Bas Eickhout, Bairbre de Brún, Corinne Lepage,

Source URL: www.europarl.europa.eu