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/14458/15
 ---16-January-2024-25th-International-Conference-o
 n-Verification-Model-Checking-and-Abstract-Interpr
 etation-VMCAI-2024-London-U-K-
DTSTAMP:20230826T212811
SUMMARY:25th International Conference on Verificat
 ion, Model Checking, and Abstract Interpretation (
 VMCAI 2024), London, U.K.
DTSTART;VALUE=DATE:20240115
DTEND;VALUE=DATE:20240116
LOCATION:London, U.K.
DESCRIPTION:VMCAI provides a forum for researchers
  from the communities of Verification, Model Check
 ing, and Abstract Interpretation, facilitating int
 eraction, cross-fertilization, and advancement of 
 hybrid methods that combine these and related area
 s.  The program of VMCAI 2024 will consist of refe
 reed research papers as well as invited talks. Res
 earch contributions can report new results as well
  as experimental evaluations and comparisons of ex
 isting techniques.  Submissions can address any pr
 ogramming paradigm, including concurrent, constrai
 nt, functional, imperative, logic, and object-orie
 nted programming. There will be three categories o
 f papers: regular papers, tool papers, and case st
 udies. Papers in each category have a different pa
 ge limit and will be evaluated differently. Submis
 sions will undergo a single-blind review process. 
  VMCAI 2024 allows authors to submit an artifact a
 long with a paper. Artifacts are any additional ma
 terial that substantiates the claims made in the p
 aper, and ideally makes them fully replicable.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>VMCAI pro
 vides a forum for researchers from the communities
  of Verification, Model Checking, and Abstract Int
 erpretation, facilitating interaction, cross-ferti
 lization, and advancement of hybrid methods that c
 ombine these and related areas.</p>\n  <p>The prog
 ram of VMCAI 2024 will consist of refereed researc
 h papers as well as invited talks. Research contri
 butions can report new results as well as experime
 ntal evaluations and comparisons of existing techn
 iques.</p>\n</div><div>\n  <p>Submissions can addr
 ess any programming paradigm, including concurrent
 , constraint, functional, imperative, logic, and o
 bject-oriented programming. There will be three ca
 tegories of papers: regular papers, tool papers, a
 nd case studies. Papers in each category have a di
 fferent page limit and will be evaluated different
 ly. Submissions will undergo a single-blind review
  process.</p>\n  <p>VMCAI 2024 allows authors to s
 ubmit an artifact along with a paper. Artifacts ar
 e any additional material that substantiates the c
 laims made in the paper, and ideally makes them fu
 lly replicable.</p>\n</div>
URL:https://popl24.sigplan.org/home/VMCAI-2024
END:VEVENT
END:VCALENDAR