BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2024/newsitem/15063/28 ---29-November-2024-6th-International-Workshop-on- Artificial-Intelligence-and-fOrmal-VERification-Lo gic-Automata-and-sYnthesis-Overlay-2024-Bolzano-It aly DTSTAMP:20240716T160834 SUMMARY:6th International Workshop on Artificial I ntelligence and fOrmal VERification, Logic, Autom ata, and sYnthesis (Overlay 2024), Bolzano, Italy DTSTART;VALUE=DATE:20241128 DTEND;VALUE=DATE:20241129 LOCATION:Bolzano, Italy DESCRIPTION:The increasing adoption of Artificial Intelligence techniques in safety-critical systems , employed in real world scenarios, requires the d esign of reliable, robust, and verifiable methodol ogies. Artificial Intelligence systems employed in such applications need to provide formal guarante es about their safety, increasing the need for a c lose interaction between the Artificial Intelligen ce and Formal Methods scientific communities, and possibly leading to the proposal of novel neurosym bolic approaches. To witness this increasing need, tools and methodologies integrating Formal Method s and Artificial Intelligence, and more broadly sy mbolic and sub-symbolic solutions, are getting mor e and more attention, especially considering the w ide-range and pervasive applications of machine an d deep learning models. The workshop is the main official initiative supported by the OVERLAY group . The event aims at establishing a stable, long-te rm scientific forum on relevant topics connected t o the relationships between Artificial Intelligenc e and Formal Methods, by providing a stimulating e nvironment where researchers can discuss about opp ortunities and challenges at the border of the two areas. Important goals of the workshop are (i) to encourage the ongoing interaction between the for mal methods and artificial intelligence communitie s, (ii) to identify innovative tools and methodolo gies, and (iii) to elicit a discussion on open iss ues and new challenges. We accept extended abstra cts (5 pages + references) focusing on the interac tion between Artificial Intelligence and Formal Me thods and on the issue of symbolic/sub-symbolic in tegration. Contributed papers can present recent r esults at the border of the two fields, new resear ch directions, challenges and perspectives. Presen tation of results recently published in other scie ntific journals or conferences is also welcome. S ubmitted papers should not exceed five (5) pages p lus references. Authors are asked to use the Overl ay-specific CEURART LaTeX style. Authors of accept ed papers will have the possibility to extend thei r submissions for the final camera-ready version t o eight (8) pages plus references. X-ALT-DESC;FMTTYPE=text/html:
\n

The incre asing adoption of Artificial Intelligence techniqu es in safety-critical systems, employed in real wo rld scenarios, requires the design of reliable, ro bust, and verifiable methodologies. Artificial Int elligence systems employed in such applications ne ed to provide formal guarantees about their safety , increasing the need for a close interaction betw een the Artificial Intelligence and Formal Methods scientific communities, and possibly leading to t he proposal of novel neurosymbolic approaches. To witness this increasing need, tools and methodolog ies integrating Formal Methods and Artificial Inte lligence, and more broadly symbolic and sub-symbol ic solutions, are getting more and more attention, especially considering the wide-range and pervasi ve applications of machine and deep learning model s.

\n

The workshop is the main official ini tiative supported by the OVERLAY group. The event aims at es tablishing a stable, long-term scientific forum on relevant topics connected to the relationships be tween Artificial Intelligence and Formal Methods, by providing a stimulating environment where resea rchers can discuss about opportunities and challen ges at the border of the two areas. Important goal s of the workshop are (i) to encourage the ongoing interaction between the formal methods and artifi cial intelligence communities, (ii) to identify in novative tools and methodologies, and (iii) to eli cit a discussion on open issues and new challenges .

\n
\n

We accept extended abstra cts (5 pages + references) focusing on the interac tion between Artificial Intelligence and Formal Me thods and on the issue of symbolic/sub-symbolic in tegration. Contributed papers can present recent r esults at the border of the two fields, new resear ch directions, challenges and perspectives. Presen tation of results recently published in other scie ntific journals or conferences is also welcome.

\n

Submitted papers should not exceed five (5 ) pages plus references. Authors are asked to use the Overlay-specific CEURART LaTeX styl e. Authors of accepted papers will have the po ssibility to extend their submissions for the fina l camera-ready version to eight (8) pages plus ref erences.

\n
URL:https://overlay.uniud.it/workshop/2024 CONTACT:overlay2024 at easychair.org END:VEVENT END:VCALENDAR