Archive for the ‘Course and Workshop Descriptions’ Category

Course and Workshop Descriptions Online

Posted under: Course and Workshop Descriptions.

Evolutionary Linguistics

Posted under: Course and Workshop Descriptions; Language and Computation.

Focus

Posted under: Course and Workshop Descriptions; Logic and Language.

Dependency grammar for computational linguists

Posted under: Course and Workshop Descriptions; Language and Computation.

Theories of information dynamics and interaction and their application to dialogue

Posted under: Course and Workshop Descriptions; Logic and Language.

Ehrenfeucht-Fraïssé Games: Applications and Complexity

Posted under: Course and Workshop Descriptions; Logic and Computation.

Implicit Computational Complexity

Posted under: Course and Workshop Descriptions; Logic and Computation.

Learnable Representations of Languages

Posted under: Course and Workshop Descriptions; Language and Computation.

Computational Modeling of Human Language Acquisition

Posted under: Course and Workshop Descriptions; Language and Computation.

Specification and Verification of Multi-Agent Systems

Posted under: Course and Workshop Descriptions; Logic and Computation.

Painless NLP Programming with UIMA

Posted under: Course and Workshop Descriptions; Language and Computation.

Proof Complexity of Non-Classical Logics

Posted under: Course and Workshop Descriptions; Logic and Computation.

Computational Models of Text Quality

Posted under: Course and Workshop Descriptions; Language and Computation.

Word Sense Disambiguation and Induction

Posted under: Course and Workshop Descriptions; Language and Computation.

Probabilistic Model Checking

Posted under: Course and Workshop Descriptions; Logic and Computation.

Answering Queries in Description Logics: Theory and Applications to Data Management

Posted under: Course and Workshop Descriptions; Logic and Computation.

Decidable problems for counter machines

Posted under: Course and Workshop Descriptions; Logic and Computation.

Dependence and Independence in Logic

Posted under: Course and Workshop Descriptions; Logic and Computation.

Compositionality

Posted under: Course and Workshop Descriptions; Logic and Language.

Logics in Security

Posted under: Course and Workshop Descriptions; Other.

Computational Stylistics: Beyond concordances and grammar checkers

Posted under: Course and Workshop Descriptions; Language and Computation.

Introduction to Category Theory, Algebras and Coalgebras

Posted under: Course and Workshop Descriptions; Logic and Computation.

Statistical Machine Translation

Posted under: Course and Workshop Descriptions; Language and Computation.

Words and their secrets

Posted under: Course and Workshop Descriptions; Language and Computation.

Automatic structures

Posted under: Course and Workshop Descriptions; Logic and Computation.

Log-Linear Regression in Corpus Linguistics

Posted under: Course and Workshop Descriptions; Language and Computation.

Resource-light Morpho-syntactic Analysis of Highly Inflected Languages

Posted under: Course and Workshop Descriptions; Language and Computation.

Computational Cognitive Science: Probability, Programs, and the Mind

Posted under: Course and Workshop Descriptions; Other.

Authorship attribution and stylometry

Posted under: Course and Workshop Descriptions; Language and Computation.

Formal Approaches to Thematic/Semantic Roles

Posted under: Course and Workshop Descriptions; Logic and Language.

Logic, Interaction and Collective Agency

Posted under: Course and Workshop Descriptions; Other.

Interactive Machine Translation and Human Translation Processes

Posted under: Course and Workshop Descriptions; Language and Computation.

Anaphora, Binding and Ellipsis

Posted under: Course and Workshop Descriptions; Logic and Language.

Logic, Rationality, and Intelligent Interaction

Posted under: Course and Workshop Descriptions; Other.

Kripke’s World: an introduction to modal logics via tableau systems

Posted under: Course and Workshop Descriptions; Logic and Computation.

Structured Operational Semantics

Posted under: Course and Workshop Descriptions; Logic and Computation.

Scalar Implicatures and Grammar

Posted under: Course and Workshop Descriptions; Logic and Language.

Dynamic Semantics

Posted under: Course and Workshop Descriptions; Logic and Language.

Game Theoretic Pragmatics

Posted under: Course and Workshop Descriptions; Logic and Language.

Using Logic in Syntax and Semantics

Posted under: Course and Workshop Descriptions; Logic and Language.

Empirically-based Multi-Modal Studies

Posted under: Course and Workshop Descriptions; Language and Computation.

Processing of Quantifiers

Posted under: Course and Workshop Descriptions; Logic and Language.

Logics for Natural Language Inference

Posted under: Course and Workshop Descriptions; Logic and Language.

Introduction to Proof Theory

Posted under: Course and Workshop Descriptions; Logic and Computation.

Dynamic Epistemic Logic

Posted under: Course and Workshop Descriptions; Logic and Computation.

Compositionality and distributional semantic models

Posted under: Course and Workshop Descriptions; Logic and Language.

Sense and denotation as algorithm and value

Posted under: Course and Workshop Descriptions; Logic and Language.

Objects, events, qualities: an introduction to formal ontological distinctions in DOLCE

Posted under: Course and Workshop Descriptions; Logic and Language.

Ten problems of deontic logic and normative reasoning in computer science

Posted under: Course and Workshop Descriptions; Logic and Computation.

Conceptual spaces and semantics maps

Posted under: Course and Workshop Descriptions; Logic and Language.