FMTEA19: FORMAL METHODS TEACHING WORKSHOP AND TUTORIAL

A
Almeida, Ariane A.	The Computational Relevance of Formal Logic through Formal Proofs
Ayala-Rincon, Mauricio	The Computational Relevance of Formal Logic through Formal Proofs
B
Bella, Giampaolo	You already used Formal Methods but did not know
Blazy, Sandrine	Teaching Deductive Verification in Why3 to Undergraduate Students
Blazy, Sandrine	Panel Discussion on Teaching Program Verification
Burel, Guillaume	Teaching Formal Methods to Future Engineers
C
Catano, Nestor	Teaching Formal Methods: Lessons Learnt from Using Event-B
Creuse, Léo	Teaching deductive verification through Frama-C and SPARK
D
De Moura, Flavio L. C.	The Computational Relevance of Formal Logic through Formal Proofs
Divasón, Jose	Using Krakatoa for teaching formal verification of Java programs
Dongol, Brijesh	Opening remarks at FMTea19
Dross, Claire	Teaching deductive verification through Frama-C and SPARK
Dubois, Catherine	Panel Discussion on Teaching Program Verification Teaching Formal Methods to Future Engineers Panel Discussion on Teaching Program Development
F
Ferreira, Joao F.	Logic, Algebra, and Geometry at the Foundation of Computer Science Panel Discussion on Effective Teaching Techniques
Fleischmann, Pamela	Managing Heterogeneity and Bridging the Gap in Teaching Formal Methods
Freiberger, Felix	pseuCo.com
G
Gallardo, María-Del-Mar	Teaching Formal Methods: From Software in the Small to Software in the Large Panel Discussion on Teaching Program Development
Garion, Christophe	Teaching deductive verification through Frama-C and SPARK
Garion, Christophe	Panel Discussion on Teaching Program Verification
H
Hermanns, Holger	pseuCo.com
Hoare, Tony	Logic, Algebra, and Geometry at the Foundation of Computer Science
Hugues, Jérôme	Teaching deductive verification through Frama-C and SPARK
Huguet, Joffrey	Teaching deductive verification through Frama-C and SPARK
J
Johnstone, Adrian	Principled and pragmatic specification of programming languages Panel Discussion on Effective Teaching Techniques
K
Kulczynski, Mitja	Managing Heterogeneity and Bridging the Gap in Teaching Formal Methods Panel Discussion on Effective Teaching Techniques
L
Luttik, Bas	Efficient online homologation to prepare students for formal methods courses
M
Mendes, Alexandra	Logic, Algebra, and Geometry at the Foundation of Computer Science Panel Discussion on Teaching Program Development
Mendonça Ferreira Ramos, Thiago	The Computational Relevance of Formal Logic through Formal Proofs Panel Discussion on Teaching Program Development
Moller, Faron	Teaching Discrete Mathematics to Computer Science Students
Morgan, Carroll	Is Formal Methods really essential?
N
Nowotka, Dirk	Managing Heterogeneity and Bridging the Gap in Teaching Formal Methods
O
O'Reilly, Liam	Teaching Discrete Mathematics to Computer Science Students Panel Discussion on Effective Teaching Techniques
P
Panizo, Laura	Teaching Formal Methods: From Software in the Small to Software in the Large
Petre, Luigia	Opening remarks at FMTea19
Prevosto, Virgile	Teaching Formal Methods to Future Engineers
R
Rocha-Oliveira, Ana Cristina	The Computational Relevance of Formal Logic through Formal Proofs
Romero, Ana	Using Krakatoa for teaching formal verification of Java programs
Romero, Ana	Panel Discussion on Teaching Program Verification
Rozier, Kristin Yvonne	On Teaching Applied Formal Methods in Aerospace Engineering Panel Discussion on Teaching Program Development
S
Scott, Elizabeth	Principled and pragmatic specification of programming languages
Sekerinski, Emil	Teaching Concurrency with the Disappearing Formal Method Panel Discussion on Effective Teaching Techniques
Simpson, Andrew	Teaching Introductory Formal Methods and Discrete Mathematics to Software Engineers: Reflections on a modelling-focussed approach (cancelled due to illness)
Smith, Graeme	Opening remarks at FMTea19
W
Westphal, Bernd	On Complementing an Undergraduate Software Engineering Course with Formal Methods
Wilke, Thomas	Managing Heterogeneity and Bridging the Gap in Teaching Formal Methods

Disclaimer | Powered by EasyChair Smart Program