Conflict-Driven Answer Set Solving: From Theory to Practice∗ Martin Gebser Benjamin Kaufmann Torsten Schaub† Universit¨at Potsdam, Institut f¨ur Informatik,

Source URL: www.cs.uni-potsdam.de

• Logic programming
• Model theory
• Stable model semantics
• Natural deduction
• Pi system

Lower Bounds for the Capture Time: Linear, Quadratic, and Beyond Klaus-Tycho F¨ orster, Rijad Nuridini, Jara Uitto, and Roger Wattenhofer Computer Engineering and Networks Laboratory, ETH Zurich, 8092 Zurich, Switzerlan

Source URL: www.tik.ee.ethz.ch

• Graph theory
• Pursuit-evasion
• Planar graph
• Matching
• Graph
• Neighbourhood
• Graph coloring
• Entanglement
• Graph operations
• Tree-depth

A UNIVERSAL APPROACH TO VERTEX ALGEBRAS ˇ PULTR RUTHI HORTSCH, IGOR KRIZ AND ALES 1. Introduction The notion of vertex algebra due to Borcherds [3] and Frenkel-Lepowsky-Meurman

Source URL: www.math.lsa.umich.edu

• Category theory
• Abstract algebra
• Conformal field theory
• Non-associative algebra
• Vertex operator algebra
• Operad theory
• Algebra over a field
• F-algebra
• C*-algebra
• Universal algebra

A type system for Continuation Calculus Herman Geuvers joint work with Bram Geron (Birmingham), Wouter Geraedts (Nijmegen), Judith van Stegeren (Nijmegen) Radboud University Nijmegen and

Source URL: www.cs.ru.nl

• Lambda calculus
• Type theory
• Mathematical logic
• Theoretical computer science
• Software engineering
• Computability theory
• System F
• Calculus
• Continuation
• Church encoding
• Deductive lambda calculus

INTERPERSONAL RELATIONS AND GROUP PROCESSES A Meta-Analytic Test of Intergroup Contact Theory Thomas F. Pettigrew Linda R. Tropp

Source URL: www.iaccp.org

Building a shared world: Mapping distributional to model-theoretic semantic spaces Aur´elie Herbelot Universit¨at Stuttgart Institut f¨ur Maschinelle Sprachverarbeitung Stuttgart, Germany

Source URL: www.cl.cam.ac.uk

• Semantics
• Logic
• Philosophy
• Linguistics
• Distributional semantics
• Semantics of logic
• Model theory
• Quantifier
• Web Ontology Language
• Duality

Constraint Answer Set Solving Martin Gebser, Max Ostrowski, and Torsten Schaub? Universit¨at Potsdam, Institut f¨ur Informatik, August-Bebel-Str. 89, DPotsdam Abstract. We present a new approach to integrating C

Source URL: www.cs.uni-potsdam.de

• Theoretical computer science
• Constraint programming
• Declarative programming
• Logic programming
• Mathematics
• Model theory
• Logic in computer science
• NP-complete problems
• Constraint satisfaction problem
• Answer set programming
• Constraint satisfaction
• Satisfiability modulo theories

M ast er of A rts in Bioethics W A K E F O R E S T G R A D U AT E S C H O O L O F A R T S & S C I E N C E S Where Theory Meets P ractice Engaging the Ethics of Clinical Care, Biomedical Research,

Source URL: bioethics.wfu.edu

In Medias Res V O L U M E Executive Committee: President: Lance Strate VP: Thomas F. Gencarelli

Source URL: www.media-ecology.org

• Academia
• Marshall McLuhan
• Communication studies
• Critical theorists
• Futurologists
• Postmodernism
• Media ecology
• Eric McLuhan
• Santa Clara University
• Douglas Rushkoff
• Toronto School of communication theory
• Monterrey Institute of Technology and Higher Education

Representing Streams in Second Order Logic (Coinduction and Coalgebra in Second Order Logic) Herman Geuvers Radboud University Nijmegen and

Source URL: www.cs.ru.nl

• Category theory
• Mathematics
• Theoretical computer science
• Software engineering
• Functional programming
• Computer programming
• Recursion
• F-coalgebra
• Coinduction
• Coalgebra
• Corecursion
• First-order logic