Logic List Mailing Archive

CfR: Overlay: 6th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis, 28-29 November, Bolzano (Italy)

*** We apologize for possible cross posting ***



Dear all



This is a call for participation for the OVERLAY 2024 workshop.

The workshop will take place in Bolzano, Italy on November 28-29, 2024.



There is no registration fee but registration is mandatory!

https://eventregistration.unibz.it/Login.asp?IDcommessa=UN24058&Lang=EN



Chairs:

    Daniele Porello     University of Genova, Italy

    Cosimo Vinci        University of Salento, Italy

    Matteo Zavatteri    University of Padova, Italy



Local Organization:

    Nicola Gigante      Free University of Bozen-Bolzano, Italy



Highlights:



16 presentations spread over the following 5 sessions:

    Session 1: Model Checking and Hybrid Systems

    Session 2: Formal Methods

    Session 3: Formal Methods for AI Part 1

    Session 4: Formal Methods for AI Part 2

    Session 5: Applications



Keynote talk:

    Andrea Micheli, Fondazione Bruno Kessler, Trento, Italy

    Mixing automated temporal planning and ML: the role of opaque entities and RL-based guidance synthesis



Panel on the on the relationship between formal methods and AI:

    Andrea Micheli, Marco Montali, Angelo Montanari

    Moderator: Nicola Gigante



The full program and all additional information can be found here: https://overlay.uniud.it/workshop/2024.



Best regards,

Matteo, Cosimo, Daniele, Nicola

[https://www.unisalento.it/sigillo_postaelettronica.png]
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php