Semantics Courses and Certifications

Topos Institute

Categorical Approaches to Inferentialist Semantics

Explore the intersection of category theory and inferentialist semantics, examining structural relationships, open systems, and the unification of syntax and semantics in language philosophy.

• YouTube
• 1 hour 1 minute
• On-Demand
• Free Video

Topos Institute

Semantics for Reactive Probabilistic Programming

Delve into probabilistic synchronous languages and their semantics, exploring density-based interpretations, co-iterative execution, and relational frameworks for program equivalence verification.

• YouTube
• 1 hour 4 minutes
• On-Demand
• Free Video

Topos Institute

Effectful Trace Semantics via Effectful Streams

Explore effectful streams and their role in dataflow programming, focusing on trace semantics, cryptographic protocols, and bisimulation in Mealy machines.

• YouTube
• 59 minutes
• On-Demand
• Free Video

Topos Institute

Generalized Algebraic Theory and Dependent Type Theory Semantics

Explore the relationship between Generalized Algebraic Theories and dependent type theory semantics, focusing on Cartmell's work and its modern applications in categories with families.

• YouTube
• 51 minutes
• On-Demand
• Free Video

TrevTutor

Thematic Roles and Word Relations in Linguistics and Semantics

Explore the fundamental concepts of semantics through thematic roles and word relations, including agents, themes, goals, and various word relationships.

• YouTube
• 13 minutes
• On-Demand
• Free Video

MLOps World: Machine Learning in Production

Why Semantics and Knowledge Graphs Are Essential for AI-Ready Data Systems

Discover why semantics and knowledge graphs are the missing foundation for AI-ready data systems, bridging traditional data engineering with modern AI workflows for scalable production.

• YouTube
• 33 minutes
• On-Demand
• Free Video

Topos Institute

Syntax and Semantics for Mechanical Processes

Explore affine Lagrangian relations and ZX-calculus graphical language for representing quantum and classical mechanical processes, including Gaussian probabilistic behavior extensions.

• YouTube
• 57 minutes
• On-Demand
• Free Video

Center for Language & Speech Processing(CLSP), JHU

Using Semantics to Help Learn Phonetic Categories

Discover how semantics can enhance phonetic category learning through computational models and linguistic analysis in this research-focused exploration of language acquisition.

• YouTube
• 51 minutes
• On-Demand
• Free Video

Center for Language & Speech Processing(CLSP), JHU

Ontological Semantics - An Overview

Discover ontological semantics fundamentals and their applications in computational linguistics through expert insights from a leading researcher in natural language processing.

• YouTube
• 1 hour 15 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Monadic Interpreters for Concurrent Memory Models: Executable Semantics of a Concurrent Subset of LLVM IR

Explore monadic interpreters using Choice Tree (CTree) library to formalize semantics for concurrency and weak memory models in LLVM IR, with executable results and proven equivalences between memory models.

• YouTube
• 30 minutes
• On-Demand
• Free Video

ACM SIGPLAN

A Big-Step Compositional Continuation-Passing Semantics for WebAssembly

Explore a big-step compositional continuation-passing semantics for WebAssembly, presented by researchers from Inria/ENS, Tufts University, MPI-SWS, and Xi'an Jiaotong University.

• YouTube
• 24 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Semantics-based Program Manipulation in the Age of LLMs

Explore semantics-based program manipulation techniques in the era of Large Language Models with experts from leading universities and organizations.

• YouTube
• 53 minutes
• On-Demand
• Free Video

ACM SIGPLAN

SM-based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic

Explore SM-based semantics for answer set programming with conditional literals and arithmetic, offering a non-grounding alternative to traditional infinitary propositional logic translations.

• YouTube
• 27 minutes
• On-Demand
• Free Video

词汇学

Dive into 汉语词汇学的系统知识，从词的定义、结构到词义发展，建立完整的词汇体系，为语言研究和教学打下扎实基础。

• XuetangX
• On-Demand
• Free Online Course

基础笔译

Master 基础笔译 through CATTI level 2 exam preparation, focusing on practical translation skills, semantic understanding, vocabulary usage, and various text styles from literary to technical content.

• XuetangX
• On-Demand
• Free Online Course