Dear all, I hope that, even though the summer holidays are upon us, you'll find the time to join us at the upcoming FME Teaching Tutorial, on the last Friday of July!
We now have the pleasure of listening to Prof. Erika Abraham's (RWTH Aachen University, Germany) lecture on Friday July 29, 2022, at 3 pm CEST. Her talk is entitled "Automatic exercise generation for satisfiability checking". The abstract of Prof Abraham's lecture is here: We offer a lecture on satisfiability checking, repeated annually each winter term since 2009. The contents cover SAT solving to check the satisfiability of propositional logic formulas as well as SAT-modulo-theories (SMT) solving for checking the satisfiability of logical formulas over different theories (equality logic with uninterpreted functions, bit-vector arithmetic, linear and nonlinear real and integer arithmetic). This lecture is challenging to teach, as the underlying math is - at least for the arithmetic theories - quite involved. The manual execution of the algorithms by the students plays a substantial role, thus it is important to offer the students a pool of exercises. Furthermore, with more that 500 registered students in the last winter term under pandemic conditions, we needed a large number of individual but comparable exercises for interactions during the lecture as well as for the online exam. However, the automated generation of comparable SMT-solving exercises turned out to be a hard nut. In this talk we discuss the obstacles and propose some solutions. The zoom link is https://aboakademi.zoom.us/j/64254430116. The event will last about an hour. Warmly welcome!! Best wishes, Luigia PS1: the tutorial series webpage is updated with the list of speakers who confirmed their lectures in 2022 here: https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/. Please note that we have a speaker scheduled every month until October!! __ Luigia Petre, Docent, PhD Faculty of Science and Engineering Åbo Akademi University, Finland www.users.abo.fi/lpetre
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info