– KIT MÉDIA 2018 – Une publication du groupe L’Agefi est le seul quotidien économique et financier en Suisse. Il propose une voix claire et professionnelle

Source URL: www.agefi.com

Description Logics ILCS 2007 Introduction to Logic in Computer Science: Autumn 2007

Source URL: formal.iti.kit.edu

• Logic
• Non-classical logic
• Mathematical logic
• Metaphysics
• Philosophical logic
• Artificial intelligence
• Description logic
• Information science
• Model theory
• Modal logic
• First-order logic
• Web Ontology Language

Security BSides Munich Conference Sponsoring Kit SpringMünchen, Germany www.bsidesmunich.org

Source URL: www.bsidesmunich.org

• Computing
• Software
• Universal Windows Platform apps
• Internet
• Hacker conventions
• Security BSides
• Unconferences
• Twitter
• Sponsor
• Tor
• Target Corporation
• TED

Formale Systeme II: Theorie SS 2016 Prof. Dr. Bernhard Beckert · Dr. Mattias Ulbrich Slides by courtesy of Andr´e Platzer, CMU

Source URL: formal.iti.kit.edu

Voting Theory AAAI-2010 Voting Procedures and their Properties

Source URL: formal.iti.kit.edu

• Single-winner electoral systems
• Political philosophy
• Voting
• Politics
• Elections
• Electoral systems
• Social choice theory
• Psephology
• Condorcet criterion
• Borda count
• Plurality voting
• Condorcet paradox

Computational Social Choice UPS Toulouse, 2015 Matching In a variant of the fair allocation problem, we try to match each agent

Source URL: formal.iti.kit.edu

• Mathematics
• Computational complexity theory
• Lloyd Shapley
• Matching
• Combinatorics
• Game theory
• Cooperative games
• Stable marriage problem
• CC
• Shapley
• Marriage problem

Computational Social Choice UPS Toulouse, 2015 Fair Allocation of Goods Consider a set of agents and a set of goods. Each agent has her own

Source URL: formal.iti.kit.edu

• Fair division
• Welfare economics
• Game theory
• Last diminisher
• Bronisaw Knaster
• Microeconomics
• Intelligent agent
• Mathematics
• Economics

Media Kit “Print is a digital-free oasis, offering a refuge from the hectic, wired world where readers spend most of their lives.” Jim Bilton, InPublishing magazine

Source URL: www.mediaclash.co.uk

• Marketing
• Advertising
• Communication design
• Salisbury
• Targeted advertising
• Social media marketing

JNBridge R&D Showcase Kit

Source URL: jnbridge.com

• Computing
• Software
• Web standards
• Enterprise application integration
• Web services
• Message-oriented middleware
• Java enterprise platform
• Apache ActiveMQ
• JNBridge
• Web Services Description Language
• SOAP
• Microsoft Visual Studio

Prof. Dr. Bernhard Beckert

Source URL: formal.iti.kit.edu