[fg-arc] New lecture in FME Teaching Tutorials series on July 29, at 3 pm CEST: Prof. Erika Abraham (RWTH Aachen University, Germany) on "Automatic exercise generation for satisfiability checking"

[Luigia Petre]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.uni-paderborn.de/pipermail/fg-arc/attachments/20220721/d7331df3/attachment.htm>