Second Workshop on the Globalization of Modeling Languages (GEMOCWorkshop Report Benoit Combemale1 , Julien De Antoni2 , Robert B. France3 , and David Méndez-Acuña1 1

Source URL: gemoc.org

• Software engineering
• Modeling language
• Scientific modeling
• Domain-specific language
• Computing
• Entityrelationship model
• Conceptual model
• Abstraction
• Enterprise architecture
• Enterprise modelling
• Data modeling

Hans Vandekerckhove entered the artistic world during the painterly turbulence of the early eighties. After a period dominated by conceptual art and cool, impersonal abstraction, it was time for a revaluation of painting

Source URL: www.hansvandekerckhove.be

• Visual arts
• Modern art
• Art movements
• Painting
• Hans Vandekerckhove
• Abstract art
• Abstract expressionism
• David Hockney
• Expressionism

Metamodel-independent modularisation of models with MetaMod∗ Ana Maria Sutîi ¸ Tom Verhoeff

Source URL: womencourage.acm.org

• Software engineering
• Programming paradigms
• Computing
• Systems engineering
• Unified Modeling Language
• Systems science
• Domain-specific language
• Abstraction
• Metamodeling
• Aspect-oriented software development
• Modularity
• Declarative programming

Voyage to the land of Erd¨os Macintyre meeting Ehud Hrushovski August 22,

Source URL: www.ma.huji.ac.il

• Mathematics
• Logic
• Abstraction
• Mathematical structures
• Model theory
• Mathematical logic
• Generalized functions
• Mathematical analysis
• Structure
• Constructible universe
• Distribution
• Metric space

Comparing Argument Diagrams Collin Lynch,a Kevin Ashley, a, b, 1 and Mohammad Hassan Falakmasir a a University of Pittsburgh Intelligent Systems Program b University of Pittsburgh School of Law, Learning Research and Dev

Source URL: people.cs.pitt.edu

• Arguments
• Logic
• Critical thinking
• Philosophy
• Abstraction
• Thought
• Argumentation theory
• Debating
• Argument
• Counterargument
• Premise
• Object Process Methodology

Informatics 1 CG – Tutorial 7 Chris Lucas Week 8 1. Wason’s selection task In lecture, we discussed the Wason card selection task, and how we can understand

Source URL: www.inf.ed.ac.uk

• Tickets
• Abstraction
• Cognition
• Wason selection task
• Lottery
• Wason
• Airline ticket
• Thought

Accidental Urban Abstraction

Source URL: www.geog.bgu.ac.il

Degrees of Deducibility David Miller Department of Philosophy University of Warwick COVENTRY CV4 7AL UK

Source URL: midlandslogic.org.uk

• Logic
• Philosophy
• Abstraction
• Epistemology
• Interpretation
• Probability interpretations
• Probability theory
• Probability
• Inference
• Bernard Bolzano

Some Notes on Proofs with Alpha Graphs Frithjof Dau Technische Universit¨ at Dresden, Dresden, Germany

Source URL: www.dr-dau.net

• Logic
• Mathematical logic
• Abstraction
• Proof theory
• Propositional calculus
• Predicate logic
• Logical truth
• First-order logic
• Tautology
• Existential graph
• Cut-elimination theorem
• Well-formed formula

02157 Functional ProgrammingFunctional Programming

Source URL: www.imm.dtu.dk

• Programming paradigms
• Computing
• Technical University of Denmark
• Interface
• MRH
• Abstraction
• Modular programming
• Functional programming