EasyChair Smart SlideDocs/Log in
Conference: FOMEO'22 (Formal Methods Education Online: Tips, Tricks & Tools 2022)

This page shows all presentations from this conference published in EasyChair Smart Slide.

LogInd, a Tool for Supporting Students in Mastering Structural Induction

LogInd, a Tool for Supporting Students in Mastering Structural Induction

Josje Lodder, Bastiaan Heeren, Ben de Vries and Johan Jeuring

Towards Graphical Feedback in the DiMo Learning Tool

Towards Graphical Feedback in the DiMo Learning Tool

Maurice Herwig, Norbert Hundeshagen and Martin Lange

SIVA: Simulation and Visualization of the DL Tableau Algorithm

SIVA: Simulation and Visualization of the DL Tableau Algorithm

Peter Paulovics, Júlia Pukancová and Martin Homola

First-Order Logic Workbook

First-Order Logic Workbook

Ján Kľuka, Jozef Šiška, Miroslav Baluch, Milan Cifra, Samantha Gombárová, Norbert Jurík, Matej Komlóssy, Nikola Kulíková, Matej Mok, Alexandra Nyitraiová, Zoltán Onódy and Richard Tóth

Presentations in this collection: 4
Copyright © 2002 – 2024 EasyChair