Speakers
Jan Heisig
(Université catholique de Louvain (UCL))
Jan Heisig
(RWTH Aachen University)
Andre Lessa
(CCNH - Univ. Federal do ABC)
Description
An introduction to the SModelS functionalities with a variety of hands-on examples and extensive Q&A.