Formal methods in language syntax and semantics encompass a range of logical and algebraic frameworks designed to characterise grammatical structure and meaning assignment with mathematical precision.

This tutorial covers the upstream stage: taking raw 10X Genomics FASTQ files and producing a count matrix using STARsolo on the Galaxy platform.