Meta tags:

Headings (most frequently used words):

2023, welcome, events, cilc, summer, school, on, synthesis, syss, workshop, onsynthesis, monitoring, and, learning, smile, gandalf,

Text of the page (most frequently used words):
the (20), and (8), summer (6), udine (6), page (5), event (5), september (5), 2023 (5), june (4), logic (4), formal (3), synthesis (3), #school (3), for (3), computation (3), italy (3), august (2), two (2), between (2), methods (2), events (2), welcome (2), back, top, copyright, all, rights, reserved, theme, thememattic, team, retina, blog, fourteenth, international, symposium, games, automata, logics, verification, gandalf, day, intersection, artificial, intelligence, workshop, monitoring, learning, smile, univr, uniud, dedicated, main, achievements, current, trends, first, editions, went, name, cyber, physical, systems, reactive, third, edition, syss, annual, meeting, italian, association, programming, cilc, landing, initiative, encompassing, many, that, will, take, place, search, primary, menu, skip, content, loading,

Text of the page (random words):
udine summer of logic and computation june september 2023 udine italy loading skip to content udine summer of logic and computation june september 2023 udine italy primary menu search for welcome welcome to the landing page of the udine summer of logic and computation an initiative encompassing many events that will take place in udine italy between june and september 2023 events cilc 2023 june 21 23 the annual meeting of the italian association for logic programming go to the page of the event summer school on synthesis syss august 28 31 the third edition of the univr uniud summer school dedicated to the main achievements and the current trends of reactive synthesis the first two editions went by the name summer school on formal methods for cyber physical systems go to the page of the event workshop on synthesis monitoring and learning smile august 31 september 1 a two day event on the intersection between artificial intelligence and formal methods go to the page of the event gandalf 2023 september 18 20 the fourteenth international symposium on games automata logics and formal verification go the page of the event copyright all rights reserved theme retina blog by thememattic team back to top