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/2022/newsitem/13579/11
 ---12-August-2022-20th-International-Workshop-on-S
 atisfiability-Modulo-Theories-SMT-2022-Haifa-Israe
 l
DTSTAMP:20220428T172114
SUMMARY:20th International Workshop on Satisfiabil
 ity Modulo Theories (SMT 2022), Haifa, Israel
DTSTART;VALUE=DATE:20220811
DTEND;VALUE=DATE:20220812
LOCATION:Haifa, Israel
DESCRIPTION:SMT 2022 is the 20th International Wor
 kshop on Satisfiability Modulo Theories. It is aff
 iliated with IJCAR 2022, part of FLoC2022, and wil
 l be held on August 11th-12th, 2022, in Haifa, Isr
 ael.  The aim of the workshop is to bring together
  researchers and users of SMT tools and techniques
 . Relevant topics include but are not limited to: 
 * Decision procedures and theories of interest * C
 ombinations of decision procedures * Novel impleme
 ntation techniques * Benchmarks and evaluation met
 hodologies * Applications and case studies * Theor
 etical results.  Three categories of submissions a
 re invited:  1. Extended abstracts: given the info
 rmal style of the workshop, we strongly encourage 
 the submission of preliminary reports of work in p
 rogress.  2. Original papers: contain original res
 earch (simultaneous submissions are not allowed) a
 nd sufficient detail to assess the merits and rele
 vance of the submission.  3. Presentation-only pap
 ers: describe work recently published or submitted
  and will not be included in the proceedings.  Pap
 ers on pragmatic aspects of implementing and using
  SMT tools, as well as novel applications of SMT, 
 are especially encouraged. In addition, to celebra
 te the 20th edition of the workshop, we challenge 
 the community to submit high-impact work!
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>SMT 2022 
 is the 20th International Workshop on Satisfiabili
 ty Modulo Theories. It is affiliated with IJCAR 20
 22, part of FLoC2022, and will be held on August 1
 1th-12th, 2022, in Haifa, Israel.</p>\n  <p>The ai
 m of the workshop is to bring together researchers
  and users of SMT tools and techniques. Relevant t
 opics include but are not limited to: * Decision p
 rocedures and theories of interest * Combinations 
 of decision procedures * Novel implementation tech
 niques * Benchmarks and evaluation methodologies *
  Applications and case studies * Theoretical resul
 ts.</p>\n</div><div>\n  <p>Three categories of sub
 missions are invited:<br>\n  1. Extended abstracts
 : given the informal style of the workshop, we str
 ongly encourage the submission of preliminary repo
 rts of work in progress.<br>\n  2. Original papers
 : contain original research (simultaneous submissi
 ons are not allowed) and sufficient detail to asse
 ss the merits and relevance of the submission.<br>
 \n  3. Presentation-only papers: describe work rec
 ently published or submitted and will not be inclu
 ded in the proceedings.</p>\n  <p>Papers on pragma
 tic aspects of implementing and using SMT tools, a
 s well as novel applications of SMT, are especiall
 y encouraged. In addition, to celebrate the 20th e
 dition of the workshop, we challenge the community
  to submit high-impact work!</p>\n</div>
URL:http://smt-workshop.cs.uiowa.edu/2022/
END:VEVENT
END:VCALENDAR