

Sofsem 2025 Theory and Practice of Computer Science
791,-

SOFSEM 2023
791,-

SOFSEM 2026
1 169,-

Logical Foundations of Computer Science
584,-

Language and Automata Theory and Applications
584,-

Verification, Model Checking, and Abstract Interpretation
971,-

Relational and Algebraic Methods in Computer Science
611,-

Coalgebraic Methods in Computer Science
674,-

Language and Automata Theory and Applications
584,-

Relational and Algebraic Methods in Computer Science
791,-

Sofsem 2025 Theory and Practice of Computer Science
791,-

SOFSEM 2023
791,-

SOFSEM 2026
1 169,-

Logical Foundations of Computer Science
584,-

Language and Automata Theory and Applications
584,-

Verification, Model Checking, and Abstract Interpretation
971,-

Relational and Algebraic Methods in Computer Science
611,-

Coalgebraic Methods in Computer Science
674,-

Language and Automata Theory and Applications
584,-

Relational and Algebraic Methods in Computer Science
791,-














