LOGIC PUZZLE One Saturday five friends visited the zoo. Each wore a different colour t-shirt and each rushed to see their favourite animal upon arriving at the zoo. Using the clues provided, can you name each child’s f

Source URL: www.squiglysplayhouse.com

A Calculus for and Termination of Rippling David A. Basin  Max-Planck-Institut fur Informatik, Saarbrucken, Germany email: [removed]

Source URL: www.cse.unsw.edu.au

• Heuristics
• Rippling
• Formal languages
• Logic in computer science
• Applied mathematics
• Partial differential equations
• Rewriting
• Wave
• N-skeleton
• Theoretical computer science
• Mathematics
• Automated theorem proving

Conceptual Graphs John F. Sowa Abstract. A conceptual graph (CG) is a graph representation for logic based on the semantic networks of artificial intelligence and the existential graphs of Charles Sanders Peirce. Several

Source URL: www.jfsowa.com

• Philosophical logic
• Knowledge representation
• Diagrams
• Charles Sanders Peirce
• Conceptual graph
• Existential graph
• Quantification
• First-order logic
• Charles Sanders Peirce bibliography
• Logic
• Mathematics
• Science

Qualified Types for MLF Daan Leijen Andres L¨oh Institute of Information and Computing Sciences, Utrecht University

Source URL: kosmikus.org

• Mathematical logic
• Parametric polymorphism
• Type class
• System F
• Normal function
• Type inference
• Ordinal number
• Type system
• Kind
• Type theory
• Software engineering
• Programming language theory

Calculating Criticalities A. Bundy1 F. Giunchiglia2 3 R. Sebastiani4 T. Walsh2 4 ; ;

Source URL: www.cse.unsw.edu.au

• Lambda calculus
• Logic in computer science
• Order theory
• FO
• Finite model theory
• Abstraction
• Fixed-point combinator
• Combinatory logic
• Monotonic function
• Theoretical computer science
• Mathematics
• Mathematical analysis

Integrating Formal Program Verification with Testing Cyrille Comar, Johannes Kanig and Yannick Moy AdaCore, 46 rue d’Amsterdam, F[removed]Paris (France) {comar,kanig,moy}@adacore.com Abstract Verification activities mand

Source URL: www.open-do.org

• Logic in computer science
• SPARK
• Subroutine
• Postcondition
• Formal methods
• Formal verification
• KeY
• Precondition
• Global variable
• Software engineering
• Computer programming
• Computing

The 30 Year Horizon M anuel Bronstein James Davenport Albrecht F ortenbacher Jocelyn Guidry M ichael M onagan

Source URL: axiom-developer.org

• Axiom
• Z notation
• Euclidean algorithm
• Function
• Algorithm
• S
• Mathematics
• Mathematical logic
• Software

Local theory extensions, hierarchical reasoning and applications to verification – Preliminary Report – Viorica Sofronie-Stokkermans, Carsten Ihlemann, Swen Jacobs Max-Planck-Institut f¨ ur Informatik, Campus E 1.4,

Source URL: drops.dagstuhl.de

• Model theory
• Functions and mappings
• Metalogic
• Function
• Boolean satisfiability problem
• Structure
• Sheaf
• Field
• Linear temporal logic
• Mathematics
• Abstract algebra
• Mathematical logic

Conflicting presuppositions and alternatives Clemens Mayr (Zentrum f¨ur Allgemeine Sprachwissenschaft) In this talk, I propose an analysis to intervention effects in (German) wh-questions, arguing that intervention effe

Source URL: homepage.univie.ac.at

• Pragmatics
• Semantics
• Grammar
• Inference
• Ontology
• Quantification
• Question
• Presupposition
• Scalar implicature
• Logic
• Linguistics
• Philosophy of language

On the so-called antinomy of the variable Joshua Schwartz 1 The creation and use of quantifier-variable notations (e.g., “(∀x)(F x)”), which launched the rapid development of mathematical logic in the 19th century,

Source URL: cas.uchicago.edu

• Predicate logic
• Semantics
• Elementary mathematics
• Model theory
• Quantification
• Function
• First-order logic
• Proposition
• Expression
• Logic
• Mathematics
• Mathematical logic