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/2021/newsitem/12837/4- November-2021-Second-Workshop-on-Second-Order-Quan tifier-Elimination-and-Related-Topics-SOQE-2021-Vi rtual DTSTAMP:20211021T152736 SUMMARY:Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021), Virtu al DTSTART;TZID=Europe/Amsterdam:20211104T100000 DTEND;TZID=Europe/Amsterdam:20211104T183000 LOCATION:Virtual DESCRIPTION:Second-order quantifier elimination (S OQE) is the problem of equivalently reducing a for mula with quantifiers upon second-order objects su ch as predicates to a formula in which these quant ified second-order objects no longer occur. In sli ght variations, SOQE is known as forgetting, proje ction, predicate elimination, and uniform interpol ation. It can be combined with various underlying logics, including propositional, model, descriptio n and first-order logics. It is attractive as a lo gic-based approach to various computational tasks. The workshop aims to bring together researchers working on SOQE and all these related topics to pr esent, discuss and compare issues shared by proble ms emerging from different special contexts, inter esting open research problems (perhaps with partia l solutions), new applications and implementation techniques. SOQE will be associated with the 18th International Conference on Principles of Knowledg e Representation and Reasoning (KR 2021). We invi te submissions of high-quality research on variant s of SOQE and related topics, including work that describes applications, new systems or relevant da ta releases. Submissions will be reviewed by the p rogram committee, which will select a balanced pro gram of high-quality contributions. Submissions c an be one of the following type: Regular paper: u p to 11 pages + bibliography Short paper: up to 5 pages + bibliography Both regular and short paper s should be written in English, formatted in the s tyle of the Springer Publications format for Lectu re Notes in Computer Science (LNCS). Submissions must contain enough substance that it they can be cited in other publications and may not have appea red before. X-ALT-DESC;FMTTYPE=text/html:
Second-or der quantifier elimination (SOQE) is the problem o f equivalently reducing a formula with quantifiers upon second-order objects such as predicates to a formula in which these quantified second-order ob jects no longer occur. In slight variations, SOQE is known as forgetting, projection, predicate elim ination, and uniform interpolation. It can be comb ined with various underlying logics, including pro positional, model, description and first-order log ics. It is attractive as a logic-based approach to various computational tasks.
\n\nThe work shop aims to bring together researchers working on SOQE and all these related topics to present, dis cuss and compare issues shared by problems emergin g from different special contexts, interesting ope n research problems (perhaps with partial solution s), new applications and implementation techniques . SOQE will be associated with the 18th Internatio nal Conference on Principles of Knowledge Represen tation and Reasoning (KR 2021).
We invite submissions of high-quality research on variants of SOQE and related topics, including work that describes applications, new systems or r elevant data releases. Submissions will be reviewe d by the program committee, which will select a ba lanced program of high-quality contributions.
\ n\nSubmissions can be one of the following ty
pe:
\n Regular paper: up to 11 pages + bibliog
raphy Short paper: up to 5 pages + bibliography
\n Both regular and short papers should be writt
en in English, formatted in the style of the Sprin
ger Publications format for Lecture Notes in Compu
ter Science (LNCS).
\n Submissions must contai
n enough substance that it they can be cited in ot
her publications and may not have appeared before.