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/2025/newsitem/15082/3-
 --8-May-2025-28th-ETAPS-International-Joint-Confer
 ences-On-Theory-and-Practice-of-Software-ETAPS-202
 5-Hamilton-Canada
DTSTAMP:20240801T152415
SUMMARY:28th ETAPS International Joint Conferences
  On Theory  and Practice of Software (ETAPS 2025),
  Hamilton, Canada
DTSTART;VALUE=DATE:20250503
DTEND;VALUE=DATE:20250508
LOCATION:Hamilton, Canada
DESCRIPTION:ETAPS is a primary forum for academic 
 and industrial researchers working on topics relat
 ing to software science. ETAPS, established in 199
 8, is a confederation of four annual conferences a
 ccompanied by satellite workshops. ETAPS 2025 is t
 he twenty-eighth event in the series.  Main confer
 ences:  * ESOP: European Symposium on Programming 
  * FASE: Fundamental Approaches to Software Engine
 ering  * FoSSaCS: Foundations of Software Science 
 and Computation Structures  * TACAS: Tools and Alg
 orithms for the Construction and Analysis of Syste
 ms  The four main conferences of ETAPS 2025 solici
 t contributions of the following types. All page l
 imits are given excluding the bibliography. Submit
 ted papers must be in English, presenting original
  research. They must be unpublished and not submit
 ted for publication elsewhere. ESOP: regular resea
 rch papers of max 25 pp, experience reports of max
  15 pp, and fresh perspectives providing new insig
 hts on programming languages and systems of max 15
  pp. For the sake of flexibility, submitted resear
 ch papers may be formatted in other formats. There
  is no page limit at the submission time. Please r
 efer to ESOP page for more details. FASE: regular 
 research papers and empirical evaluation papers of
  max 18 pp; new ideas and emerging results (NIER) 
 papers of max 8 pp; tool demonstration papers and 
 data showcase papers of max 8 pp (+ optional appen
 dix of max 6 pp),FoSSaCS: regular research papers 
 of max 18 ppTACAS: regular research papers, case s
 tudy papers, and regular tool papers of max 16 pp,
  tool demonstration papers of max 6 pp
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>ETAPS is 
 a primary forum for academic and industrial resear
 chers working on topics relating to software scien
 ce. ETAPS, established in 1998, is a confederation
  of four annual conferences accompanied by satelli
 te workshops. ETAPS 2025 is the twenty-eighth even
 t in the series.</p>\n  <p>Main conferences:<br>\n
   * ESOP: European Symposium on Programming<br>\n 
  * FASE: Fundamental Approaches to Software Engine
 ering<br>\n  * FoSSaCS: Foundations of Software Sc
 ience and Computation Structures<br>\n  * TACAS: T
 ools and Algorithms for the Construction and Analy
 sis of Systems</p>\n</div><div>\n  <p>The four mai
 n conferences of ETAPS 2025 solicit contributions 
 of the following types. All page limits are given 
 excluding the bibliography. Submitted papers must 
 be in English, presenting original research. They 
 must be unpublished and not submitted for publicat
 ion elsewhere.</p>\n  <ul>\n    <li>ESOP: regular 
 research papers of max 25 pp, experience reports o
 f max 15 pp, and fresh perspectives providing new 
 insights on programming languages and systems of m
 ax 15 pp. For the sake of flexibility, submitted r
 esearch papers may be formatted in other formats. 
 There is no page limit at the submission time. Ple
 ase refer to <a href="https://etaps.org/2025/esop"
 >ESOP page</a> for more details.\n    </li>\n    <
 li>FASE: regular research papers and empirical eva
 luation papers of max 18 pp; new ideas and emergin
 g results (NIER) papers of max 8 pp; tool demonstr
 ation papers and data showcase papers of max 8 pp 
 (+ optional appendix of max 6 pp),</li>\n    <li>F
 oSSaCS: regular research papers of max 18 pp</li>\
 n    <li>TACAS: regular research papers, case stud
 y papers, and regular tool papers of max 16 pp, to
 ol demonstration papers of max 6 pp</li>\n  </ul>\
 n</div>
URL:https://etaps.org/2025
END:VEVENT
END:VCALENDAR