BEGIN:VCALENDAR VERSION:2.0 PRODID:-//conferences-computer.science//EN CALSCALE:GREGORIAN METHOD:PUBLISH X-WR-CALNAME:CS conference deadlines X-WR-CALDESC:Submission deadlines in theoretical computer science. https:// www.conferences-computer.science X-PUBLISHED-TTL:PT12H REFRESH-INTERVAL;VALUE=DURATION:PT12H BEGIN:VEVENT UID:30-years-of-uppaal-2025-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251018 DTEND;VALUE=DATE:20251019 SUMMARY:30 Years of UPPAAL 2025 — abstract deadline DESCRIPTION:30 Years of UPPAAL Workshop at AISoLA 2025\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all -day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Rhodes\, Greece.\nConference dates: 1– 4 Nov 2025.\nhttps://www.conferences-computer.science/30-years-of-uppaal/2 025/ URL:https://www.conferences-computer.science/30-years-of-uppaal/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,30 Years of UPPAAL END:VEVENT BEGIN:VEVENT UID:30-years-of-uppaal-2025-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251018 DTEND;VALUE=DATE:20251019 SUMMARY:30 Years of UPPAAL 2025 — paper deadline DESCRIPTION:30 Years of UPPAAL Workshop at AISoLA 2025\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all -day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Rhodes\, Greece.\nConference dates: 1– 4 Nov 2025.\nhttps://www.conferences-computer.science/30-years-of-uppaal/2 025/ URL:https://www.conferences-computer.science/30-years-of-uppaal/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,30 Years of UPPAAL END:VEVENT BEGIN:VEVENT UID:30-years-of-uppaal-2025-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251203 DTEND;VALUE=DATE:20251204 SUMMARY:30 Years of UPPAAL 2025 — notification DESCRIPTION:30 Years of UPPAAL Workshop at AISoLA 2025\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all -day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Rhodes\, Greece.\nConference dates: 1– 4 Nov 2025.\nhttps://www.conferences-computer.science/30-years-of-uppaal/2 025/ URL:https://www.conferences-computer.science/30-years-of-uppaal/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,30 Years of UPPAAL END:VEVENT BEGIN:VEVENT UID:aamas-2026-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251001 DTEND;VALUE=DATE:20251002 SUMMARY:AAMAS 2026 — abstract deadline DESCRIPTION:25th International Conference on Autonomous Agents and Multiage nt Systems\nDeadline stated in AoE.\nShown as an all-day event: the deadli ne is a moment\, not a day\, so check the exact time on the conference sit e.\nHeld in Paphos\, Cyprus.\nConference dates: 25–29 May 2026.\nhttps:/ /www.conferences-computer.science/aamas/2026/ URL:https://www.conferences-computer.science/aamas/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,AAMAS END:VEVENT BEGIN:VEVENT UID:aamas-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251008 DTEND;VALUE=DATE:20251009 SUMMARY:AAMAS 2026 — paper deadline DESCRIPTION:25th International Conference on Autonomous Agents and Multiage nt Systems\nDeadline stated in AoE.\nShown as an all-day event: the deadli ne is a moment\, not a day\, so check the exact time on the conference sit e.\nHeld in Paphos\, Cyprus.\nConference dates: 25–29 May 2026.\nhttps:/ /www.conferences-computer.science/aamas/2026/ URL:https://www.conferences-computer.science/aamas/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,AAMAS END:VEVENT BEGIN:VEVENT UID:aamas-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251222 DTEND;VALUE=DATE:20251223 SUMMARY:AAMAS 2026 — notification DESCRIPTION:25th International Conference on Autonomous Agents and Multiage nt Systems\nNo time zone stated by the organisers\; this site assumes Anyw here on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Paphos\, Cyprus.\nConference dates: 25–29 May 2026.\nhttps://www.conferences-comp uter.science/aamas/2026/ URL:https://www.conferences-computer.science/aamas/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,AAMAS END:VEVENT BEGIN:VEVENT UID:abz-2026-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260209 DTEND;VALUE=DATE:20260210 SUMMARY:ABZ 2026 — abstract deadline DESCRIPTION:12th International Conference on Rigorous State Based Methods\n Deadline stated in AoE.\nShown as an all-day event: the deadline is a mome nt\, not a day\, so check the exact time on the conference site.\nHeld in Tokyo\, Japan.\nConference dates: 18–20 May 2026.\nhttps://www.conferenc es-computer.science/abz/2026/ URL:https://www.conferences-computer.science/abz/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ABZ END:VEVENT BEGIN:VEVENT UID:abz-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260216 DTEND;VALUE=DATE:20260217 SUMMARY:ABZ 2026 — paper deadline DESCRIPTION:12th International Conference on Rigorous State Based Methods\n Deadline stated in AoE.\nShown as an all-day event: the deadline is a mome nt\, not a day\, so check the exact time on the conference site.\nHeld in Tokyo\, Japan.\nConference dates: 18–20 May 2026.\nhttps://www.conferenc es-computer.science/abz/2026/ URL:https://www.conferences-computer.science/abz/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ABZ END:VEVENT BEGIN:VEVENT UID:abz-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260313 DTEND;VALUE=DATE:20260314 SUMMARY:ABZ 2026 — notification DESCRIPTION:12th International Conference on Rigorous State Based Methods\n No time zone stated by the organisers\; this site assumes Anywhere on Eart h.\nShown as an all-day event: the deadline is a moment\, not a day\, so c heck the exact time on the conference site.\nHeld in Tokyo\, Japan.\nConfe rence dates: 18–20 May 2026.\nhttps://www.conferences-computer.science/a bz/2026/ URL:https://www.conferences-computer.science/abz/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ABZ END:VEVENT BEGIN:VEVENT UID:acompa-2025-notification@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20250915 DTEND;VALUE=DATE:20250916 SUMMARY:ACOMPA 2025 — notification DESCRIPTION:19th International Conference on Advanced Computing and Analyti cs\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Hồ-Chí-Minh Ci ty\, Việt Nam.\nConference dates: 27–29 Nov 2025.\nhttps://www.confere nces-computer.science/acompa/2025/ URL:https://www.conferences-computer.science/acompa/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ACOMPA END:VEVENT BEGIN:VEVENT UID:acv-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260520 DTEND;VALUE=DATE:20260521 SUMMARY:ACV 2026 — paper deadline DESCRIPTION:First Workshop on Abstract and Concrete Techniques in Verificat ion\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nExtended from 06 May 202 6.\nHeld in Lisbon\, Portugal.\nConference dates: 24–25 Jul 2026.\nhttps ://www.conferences-computer.science/acv/2026/ URL:https://www.conferences-computer.science/acv/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,ACV END:VEVENT BEGIN:VEVENT UID:acv-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260531 DTEND;VALUE=DATE:20260601 SUMMARY:ACV 2026 — notification DESCRIPTION:First Workshop on Abstract and Concrete Techniques in Verificat ion\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Lisbon\, Portuga l.\nConference dates: 24–25 Jul 2026.\nhttps://www.conferences-computer. science/acv/2026/ URL:https://www.conferences-computer.science/acv/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ACV END:VEVENT BEGIN:VEVENT UID:apsec-2025-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250913 DTEND;VALUE=DATE:20250914 SUMMARY:APSEC 2025 — notification DESCRIPTION:32nd Asia-Pacific Software Engineering Conference\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exa ct time on the conference site.\nHeld in Macao\, China.\nConference dates: 2–5 Dec 2025.\nhttps://www.conferences-computer.science/apsec/2025/ URL:https://www.conferences-computer.science/apsec/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,APSEC END:VEVENT BEGIN:VEVENT UID:arch-2026-paper@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20260401 DTEND;VALUE=DATE:20260402 SUMMARY:ARCH 2026 — paper deadline DESCRIPTION:13th International Workshop on Applied Verification for Continu ous and Hybrid Systems\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a m oment\, not a day\, so check the exact time on the conference site.\nHeld in Online.\nConference dates: 3 Jun 2026.\nhttps://www.conferences-compute r.science/arch/2026/ URL:https://www.conferences-computer.science/arch/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ARCH END:VEVENT BEGIN:VEVENT UID:arch-2026-notification@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20260429 DTEND;VALUE=DATE:20260430 SUMMARY:ARCH 2026 — notification DESCRIPTION:13th International Workshop on Applied Verification for Continu ous and Hybrid Systems\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a m oment\, not a day\, so check the exact time on the conference site.\nHeld in Online.\nConference dates: 3 Jun 2026.\nhttps://www.conferences-compute r.science/arch/2026/ URL:https://www.conferences-computer.science/arch/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ARCH END:VEVENT BEGIN:VEVENT UID:ase-2025-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250814 DTEND;VALUE=DATE:20250815 SUMMARY:ASE 2025 — notification DESCRIPTION:40th IEEE/ACM International Conference on Automated Software En gineering\nNo time zone stated by the organisers\; this site assumes Anywh ere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Seoul\, So uth Korea.\nConference dates: 16–20 Nov 2025.\nhttps://www.conferences-c omputer.science/ase/2025/ URL:https://www.conferences-computer.science/ase/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ASE END:VEVENT BEGIN:VEVENT UID:atva-2026-abstract@conferences-computer.science DTSTAMP:20260813T145827Z DTSTART;VALUE=DATE:20260519 DTEND;VALUE=DATE:20260520 SUMMARY:ATVA 2026 — abstract deadline DESCRIPTION:24th International Symposium on Automated Technology for Verifi cation and Analysis\nDeadline stated in AoE.\nShown as an all-day event: t he deadline is a moment\, not a day\, so check the exact time on the confe rence site.\nHeld in Hong Kong\, China.\nConference dates: 1–5 Dec 2026. \nhttps://www.conferences-computer.science/atva/2026/ URL:https://www.conferences-computer.science/atva/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2026-paper@conferences-computer.science DTSTAMP:20260813T145827Z DTSTART;VALUE=DATE:20260521 DTEND;VALUE=DATE:20260522 SUMMARY:ATVA 2026 — paper deadline DESCRIPTION:24th International Symposium on Automated Technology for Verifi cation and Analysis\nDeadline stated in AoE.\nShown as an all-day event: t he deadline is a moment\, not a day\, so check the exact time on the confe rence site.\nHeld in Hong Kong\, China.\nConference dates: 1–5 Dec 2026. \nhttps://www.conferences-computer.science/atva/2026/ URL:https://www.conferences-computer.science/atva/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2026-notification@conferences-computer.science DTSTAMP:20260813T145827Z DTSTART;VALUE=DATE:20260723 DTEND;VALUE=DATE:20260724 SUMMARY:ATVA 2026 — notification DESCRIPTION:24th International Symposium on Automated Technology for Verifi cation and Analysis\nNo time zone stated by the organisers\; this site ass umes Anywhere on Earth.\nShown as an all-day event: the deadline is a mome nt\, not a day\, so check the exact time on the conference site.\nHeld in Hong Kong\, China.\nConference dates: 1–5 Dec 2026.\nhttps://www.confere nces-computer.science/atva/2026/ URL:https://www.conferences-computer.science/atva/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ATVA END:VEVENT BEGIN:VEVENT UID:cav-2026-paper@conferences-computer.science DTSTAMP:20260813T102855Z DTSTART;VALUE=DATE:20260128 DTEND;VALUE=DATE:20260129 SUMMARY:CAV 2026 — paper deadline DESCRIPTION:38th International Conference on Computer Aided Verification\nD eadline stated in AoE.\nShown as an all-day event: the deadline is a momen t\, not a day\, so check the exact time on the conference site.\nHeld in L isbon\, Portugal.\nConference dates: 26–29 Jul 2026.\nhttps://www.confer ences-computer.science/cav/2026/ URL:https://www.conferences-computer.science/cav/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,CAV END:VEVENT BEGIN:VEVENT UID:cav-2026-notification@conferences-computer.science DTSTAMP:20260813T102855Z DTSTART;VALUE=DATE:20260417 DTEND;VALUE=DATE:20260418 SUMMARY:CAV 2026 — notification DESCRIPTION:38th International Conference on Computer Aided Verification\nN o time zone stated by the organisers\; this site assumes Anywhere on Earth .\nShown as an all-day event: the deadline is a moment\, not a day\, so ch eck the exact time on the conference site.\nHeld in Lisbon\, Portugal.\nCo nference dates: 26–29 Jul 2026.\nhttps://www.conferences-computer.scienc e/cav/2026/ URL:https://www.conferences-computer.science/cav/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,CAV END:VEVENT BEGIN:VEVENT UID:cmsb-2026-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260403 DTEND;VALUE=DATE:20260404 SUMMARY:CMSB 2026 — abstract deadline DESCRIPTION:24th Conference on Computational Methods in Systems Biology\nDe adline stated in AoE.\nShown as an all-day event: the deadline is a moment \, not a day\, so check the exact time on the conference site.\nExtended f rom 27 March 2026.\nHeld in Lisbon\, Portugal.\nConference dates: 24–25 Jul 2026.\nhttps://www.conferences-computer.science/cmsb/2026/ URL:https://www.conferences-computer.science/cmsb/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,CMSB END:VEVENT BEGIN:VEVENT UID:cmsb-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260410 DTEND;VALUE=DATE:20260411 SUMMARY:CMSB 2026 — paper deadline DESCRIPTION:24th Conference on Computational Methods in Systems Biology\nDe adline stated in AoE.\nShown as an all-day event: the deadline is a moment \, not a day\, so check the exact time on the conference site.\nExtended f rom 03 April 2026.\nHeld in Lisbon\, Portugal.\nConference dates: 24–25 Jul 2026.\nhttps://www.conferences-computer.science/cmsb/2026/ URL:https://www.conferences-computer.science/cmsb/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,CMSB END:VEVENT BEGIN:VEVENT UID:cmsb-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260502 DTEND;VALUE=DATE:20260503 SUMMARY:CMSB 2026 — notification DESCRIPTION:24th Conference on Computational Methods in Systems Biology\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth. \nShown as an all-day event: the deadline is a moment\, not a day\, so che ck the exact time on the conference site.\nHeld in Lisbon\, Portugal.\nCon ference dates: 24–25 Jul 2026.\nhttps://www.conferences-computer.science /cmsb/2026/ URL:https://www.conferences-computer.science/cmsb/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,CMSB END:VEVENT BEGIN:VEVENT UID:concur-2026-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260420 DTEND;VALUE=DATE:20260421 SUMMARY:CONCUR 2026 — abstract deadline DESCRIPTION:37th International Conference on Concurrency Theory\nDeadline s tated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Liverpool\ , England.\nConference dates: 1–4 Sep 2026.\nhttps://www.conferences-com puter.science/concur/2026/ URL:https://www.conferences-computer.science/concur/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,CONCUR END:VEVENT BEGIN:VEVENT UID:concur-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260427 DTEND;VALUE=DATE:20260428 SUMMARY:CONCUR 2026 — paper deadline DESCRIPTION:37th International Conference on Concurrency Theory\nDeadline s tated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Liverpool\ , England.\nConference dates: 1–4 Sep 2026.\nhttps://www.conferences-com puter.science/concur/2026/ URL:https://www.conferences-computer.science/concur/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,CONCUR END:VEVENT BEGIN:VEVENT UID:concur-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260615 DTEND;VALUE=DATE:20260616 SUMMARY:CONCUR 2026 — notification DESCRIPTION:37th International Conference on Concurrency Theory\nNo time zo ne stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the e xact time on the conference site.\nHeld in Liverpool\, England.\nConferenc e dates: 1–4 Sep 2026.\nhttps://www.conferences-computer.science/concur/ 2026/ URL:https://www.conferences-computer.science/concur/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,CONCUR END:VEVENT BEGIN:VEVENT UID:coordination-2026-abstract@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20260213 DTEND;VALUE=DATE:20260214 SUMMARY:COORDINATION 2026 — abstract deadline DESCRIPTION:28th International Conference on Coordination Models and Langua ges\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nExt ended from 30 January 2026.\nHeld in Urbino\, Italy.\nConference dates: 8 –12 Jun 2026.\nhttps://www.conferences-computer.science/coordination/202 6/ URL:https://www.conferences-computer.science/coordination/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,COORDINATION END:VEVENT BEGIN:VEVENT UID:coordination-2026-paper@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20260220 DTEND;VALUE=DATE:20260221 SUMMARY:COORDINATION 2026 — paper deadline DESCRIPTION:28th International Conference on Coordination Models and Langua ges\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nExt ended from 06 February 2026.\nHeld in Urbino\, Italy.\nConference dates: 8 –12 Jun 2026.\nhttps://www.conferences-computer.science/coordination/202 6/ URL:https://www.conferences-computer.science/coordination/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,COORDINATION END:VEVENT BEGIN:VEVENT UID:coordination-2026-notification@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20260327 DTEND;VALUE=DATE:20260328 SUMMARY:COORDINATION 2026 — notification DESCRIPTION:28th International Conference on Coordination Models and Langua ges\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Urbino\, Italy.\ nConference dates: 8–12 Jun 2026.\nhttps://www.conferences-computer.scie nce/coordination/2026/ URL:https://www.conferences-computer.science/coordination/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,COORDINATION END:VEVENT BEGIN:VEVENT UID:csf-2026-notification@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20250925 DTEND;VALUE=DATE:20250926 SUMMARY:CSF 2026 — notification DESCRIPTION:39th IEEE Computer Security Foundations Symposium\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exa ct time on the conference site.\nHeld in Lisbon\, Portugal.\nConference da tes: 26–29 Jul 2026.\nhttps://www.conferences-computer.science/csf/2026/ URL:https://www.conferences-computer.science/csf/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,CSF END:VEVENT BEGIN:VEVENT UID:csl-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251020 DTEND;VALUE=DATE:20251021 SUMMARY:CSL 2026 — notification DESCRIPTION:International Conference on Computer Science Logic\nNo time zon e stated by the organisers\; this site assumes Anywhere on Earth.\nShown a s an all-day event: the deadline is a moment\, not a day\, so check the ex act time on the conference site.\nHeld in Paris\, France.\nConference date s: 23–28 Feb 2026.\nhttps://www.conferences-computer.science/csl/2026/ URL:https://www.conferences-computer.science/csl/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,CSL END:VEVENT BEGIN:VEVENT UID:csl-2027-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260708 DTEND;VALUE=DATE:20260709 SUMMARY:CSL 2027 — abstract deadline DESCRIPTION:International Conference on Computer Science Logic\nDeadline st ated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Brighton\, UK.\nConference dates: 25–29 Jan 2027.\nhttps://www.conferences-computer .science/csl/2027/ URL:https://www.conferences-computer.science/csl/2027/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,CSL END:VEVENT BEGIN:VEVENT UID:csl-2027-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260715 DTEND;VALUE=DATE:20260716 SUMMARY:CSL 2027 — paper deadline DESCRIPTION:International Conference on Computer Science Logic\nDeadline st ated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Brighton\, UK.\nConference dates: 25–29 Jan 2027.\nhttps://www.conferences-computer .science/csl/2027/ URL:https://www.conferences-computer.science/csl/2027/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,CSL END:VEVENT BEGIN:VEVENT UID:csl-2027-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20261015 DTEND;VALUE=DATE:20261016 SUMMARY:CSL 2027 — notification DESCRIPTION:International Conference on Computer Science Logic\nNo time zon e stated by the organisers\; this site assumes Anywhere on Earth.\nShown a s an all-day event: the deadline is a moment\, not a day\, so check the ex act time on the conference site.\nHeld in Brighton\, UK.\nConference dates : 25–29 Jan 2027.\nhttps://www.conferences-computer.science/csl/2027/ URL:https://www.conferences-computer.science/csl/2027/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,CSL END:VEVENT BEGIN:VEVENT UID:date-2026-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250915 DTEND;VALUE=DATE:20250916 SUMMARY:DATE 2026 — abstract deadline DESCRIPTION:29th Design Automation and Test in Europe Conference\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Verona\, Italy.\nConference dates: 20–22 Apr 2026.\nhttps://www.conferences-compu ter.science/date/2026/ URL:https://www.conferences-computer.science/date/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,DATE END:VEVENT BEGIN:VEVENT UID:date-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250922 DTEND;VALUE=DATE:20250923 SUMMARY:DATE 2026 — paper deadline DESCRIPTION:29th Design Automation and Test in Europe Conference\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Verona\, Italy.\nConference dates: 20–22 Apr 2026.\nhttps://www.conferences-compu ter.science/date/2026/ URL:https://www.conferences-computer.science/date/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,DATE END:VEVENT BEGIN:VEVENT UID:date-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251119 DTEND;VALUE=DATE:20251120 SUMMARY:DATE 2026 — notification DESCRIPTION:29th Design Automation and Test in Europe Conference\nNo time z one stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Verona\, Italy.\nConference da tes: 20–22 Apr 2026.\nhttps://www.conferences-computer.science/date/2026 / URL:https://www.conferences-computer.science/date/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,DATE END:VEVENT BEGIN:VEVENT UID:ecrts-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260226 DTEND;VALUE=DATE:20260227 SUMMARY:ECRTS 2026 — paper deadline DESCRIPTION:38th Euromicro Conference on Real-Time Systems\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\ , so check the exact time on the conference site.\nHeld in Lund\, Sweden.\ nConference dates: 7–10 Jul 2026.\nhttps://www.conferences-computer.scie nce/ecrts/2026/ URL:https://www.conferences-computer.science/ecrts/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ECRTS END:VEVENT BEGIN:VEVENT UID:ecrts-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260420 DTEND;VALUE=DATE:20260421 SUMMARY:ECRTS 2026 — notification DESCRIPTION:38th Euromicro Conference on Real-Time Systems\nNo time zone st ated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Lund\, Sweden.\nConference dates: 7 –10 Jul 2026.\nhttps://www.conferences-computer.science/ecrts/2026/ URL:https://www.conferences-computer.science/ecrts/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ECRTS END:VEVENT BEGIN:VEVENT UID:emsoft-2026-abstract@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20260323 DTEND;VALUE=DATE:20260324 SUMMARY:EMSOFT 2026 — abstract deadline DESCRIPTION:26th International Conference on Embedded Software\nDeadline st ated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Barcelona\, Spain.\nConference dates: 4–9 Oct 2026.\nhttps://www.conferences-comput er.science/emsoft/2026/ URL:https://www.conferences-computer.science/emsoft/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,EMSOFT END:VEVENT BEGIN:VEVENT UID:emsoft-2026-paper@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20260330 DTEND;VALUE=DATE:20260331 SUMMARY:EMSOFT 2026 — paper deadline DESCRIPTION:26th International Conference on Embedded Software\nDeadline st ated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Barcelona\, Spain.\nConference dates: 4–9 Oct 2026.\nhttps://www.conferences-comput er.science/emsoft/2026/ URL:https://www.conferences-computer.science/emsoft/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,EMSOFT END:VEVENT BEGIN:VEVENT UID:emsoft-2026-notification@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20260717 DTEND;VALUE=DATE:20260718 SUMMARY:EMSOFT 2026 — notification DESCRIPTION:26th International Conference on Embedded Software\nNo time zon e stated by the organisers\; this site assumes Anywhere on Earth.\nShown a s an all-day event: the deadline is a moment\, not a day\, so check the ex act time on the conference site.\nHeld in Barcelona\, Spain.\nConference d ates: 4–9 Oct 2026.\nhttps://www.conferences-computer.science/emsoft/202 6/ URL:https://www.conferences-computer.science/emsoft/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,EMSOFT END:VEVENT BEGIN:VEVENT UID:erts-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250926 DTEND;VALUE=DATE:20250927 SUMMARY:ERTS 2026 — notification DESCRIPTION:Embedded Real-Time Systems Congress\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day ev ent: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Toulouse\, France.\nConference dates: 5–6 Feb 2026.\nhttps://www.conferences-computer.science/erts/2026/ URL:https://www.conferences-computer.science/erts/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ERTS END:VEVENT BEGIN:VEVENT UID:eurompi-2026-abstract@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20260526 DTEND;VALUE=DATE:20260527 SUMMARY:EuroMPI 2026 — abstract deadline DESCRIPTION:EuroMPI Conference\nDeadline stated in AoE.\nShown as an all-da y event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nExtended from 20 April 2026.\nHeld in Vienna\, Aust ria.\nConference dates: 7–9 Oct 2026.\nhttps://www.conferences-computer. science/eurompi/2026/ URL:https://www.conferences-computer.science/eurompi/2026/ SEQUENCE:2 TRANSP:TRANSPARENT CATEGORIES:Deadline,EuroMPI END:VEVENT BEGIN:VEVENT UID:eurompi-2026-paper@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20260526 DTEND;VALUE=DATE:20260527 SUMMARY:EuroMPI 2026 — paper deadline DESCRIPTION:EuroMPI Conference\nDeadline stated in AoE.\nShown as an all-da y event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nExtended from 27 April 2026.\nHeld in Vienna\, Aust ria.\nConference dates: 7–9 Oct 2026.\nhttps://www.conferences-computer. science/eurompi/2026/ URL:https://www.conferences-computer.science/eurompi/2026/ SEQUENCE:2 TRANSP:TRANSPARENT CATEGORIES:Deadline,EuroMPI END:VEVENT BEGIN:VEVENT UID:eurompi-2026-notification@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20260722 DTEND;VALUE=DATE:20260723 SUMMARY:EuroMPI 2026 — notification DESCRIPTION:EuroMPI Conference\nNo time zone stated by the organisers\; thi s site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site. \nExtended from 10 June 2026.\nHeld in Vienna\, Austria.\nConference dates : 7–9 Oct 2026.\nhttps://www.conferences-computer.science/eurompi/2026/ URL:https://www.conferences-computer.science/eurompi/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,EuroMPI END:VEVENT BEGIN:VEVENT UID:fase-2026-paper@conferences-computer.science DTSTAMP:20260813T120400Z DTSTART;VALUE=DATE:20251016 DTEND;VALUE=DATE:20251017 SUMMARY:FASE 2026 — paper deadline DESCRIPTION:29th International Conference on Fundamental Approaches to Soft ware Engineering\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conferen ce site.\nHeld in Turin\, Italy.\nConference dates: 11–16 Apr 2026.\nhtt ps://www.conferences-computer.science/fase/2026/ URL:https://www.conferences-computer.science/fase/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,FASE END:VEVENT BEGIN:VEVENT UID:fase-2026-notification@conferences-computer.science DTSTAMP:20260813T120400Z DTSTART;VALUE=DATE:20251222 DTEND;VALUE=DATE:20251223 SUMMARY:FASE 2026 — notification DESCRIPTION:29th International Conference on Fundamental Approaches to Soft ware Engineering\nNo time zone stated by the organisers\; this site assume s Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\ , not a day\, so check the exact time on the conference site.\nHeld in Tur in\, Italy.\nConference dates: 11–16 Apr 2026.\nhttps://www.conferences- computer.science/fase/2026/ URL:https://www.conferences-computer.science/fase/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,FASE END:VEVENT BEGIN:VEVENT UID:fm-2026-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251125 DTEND;VALUE=DATE:20251126 SUMMARY:FM 2026 — abstract deadline DESCRIPTION:27th International Symposium on Formal Methods\nNo time zone st ated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Tokyo\, Japan.\nConference dates: 20 –22 May 2026.\nhttps://www.conferences-computer.science/fm/2026/ URL:https://www.conferences-computer.science/fm/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,FM END:VEVENT BEGIN:VEVENT UID:fm-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251202 DTEND;VALUE=DATE:20251203 SUMMARY:FM 2026 — paper deadline DESCRIPTION:27th International Symposium on Formal Methods\nNo time zone st ated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Tokyo\, Japan.\nConference dates: 20 –22 May 2026.\nhttps://www.conferences-computer.science/fm/2026/ URL:https://www.conferences-computer.science/fm/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,FM END:VEVENT BEGIN:VEVENT UID:fm-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260206 DTEND;VALUE=DATE:20260207 SUMMARY:FM 2026 — notification DESCRIPTION:27th International Symposium on Formal Methods\nNo time zone st ated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Tokyo\, Japan.\nConference dates: 20 –22 May 2026.\nhttps://www.conferences-computer.science/fm/2026/ URL:https://www.conferences-computer.science/fm/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,FM END:VEVENT BEGIN:VEVENT UID:fmas-2025-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250822 DTEND;VALUE=DATE:20250823 SUMMARY:FMAS 2025 — paper deadline DESCRIPTION:7th Workshop on Formal Methods for Autonomous Systems\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Paris\, France.\nConference dates: 17–19 Nov 2025.\nhttps://www.conferences-comp uter.science/fmas/2025/ URL:https://www.conferences-computer.science/fmas/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,FMAS END:VEVENT BEGIN:VEVENT UID:fmas-2025-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251006 DTEND;VALUE=DATE:20251007 SUMMARY:FMAS 2025 — notification DESCRIPTION:7th Workshop on Formal Methods for Autonomous Systems\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShow n as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Paris\, France.\nConference d ates: 17–19 Nov 2025.\nhttps://www.conferences-computer.science/fmas/202 5/ URL:https://www.conferences-computer.science/fmas/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,FMAS END:VEVENT BEGIN:VEVENT UID:fmas-2026-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260814 DTEND;VALUE=DATE:20260815 SUMMARY:FMAS 2026 — abstract deadline DESCRIPTION:8th Workshop on Formal Methods for Autonomous Systems\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Southamp ton\, England.\nConference dates: 17–18 Nov 2026.\nhttps://www.conferenc es-computer.science/fmas/2026/ URL:https://www.conferences-computer.science/fmas/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,FMAS END:VEVENT BEGIN:VEVENT UID:fmas-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260817 DTEND;VALUE=DATE:20260818 SUMMARY:FMAS 2026 — paper deadline DESCRIPTION:8th Workshop on Formal Methods for Autonomous Systems\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Southamp ton\, England.\nConference dates: 17–18 Nov 2026.\nhttps://www.conferenc es-computer.science/fmas/2026/ URL:https://www.conferences-computer.science/fmas/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,FMAS END:VEVENT BEGIN:VEVENT UID:fmas-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20261006 DTEND;VALUE=DATE:20261007 SUMMARY:FMAS 2026 — notification DESCRIPTION:8th Workshop on Formal Methods for Autonomous Systems\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShow n as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Southampton\, England.\nConfe rence dates: 17–18 Nov 2026.\nhttps://www.conferences-computer.science/f mas/2026/ URL:https://www.conferences-computer.science/fmas/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,FMAS END:VEVENT BEGIN:VEVENT UID:fmcad-2026-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260426 DTEND;VALUE=DATE:20260427 SUMMARY:FMCAD 2026 — abstract deadline DESCRIPTION:26th International Conference on Formal Methods in Computer-Aid ed Design\nDeadline stated in AoE.\nShown as an all-day event: the deadlin e is a moment\, not a day\, so check the exact time on the conference site .\nHeld in Graz\, Austria.\nConference dates: 14–18 Sep 2026.\nhttps://w ww.conferences-computer.science/fmcad/2026/ URL:https://www.conferences-computer.science/fmcad/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,FMCAD END:VEVENT BEGIN:VEVENT UID:fmcad-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260503 DTEND;VALUE=DATE:20260504 SUMMARY:FMCAD 2026 — paper deadline DESCRIPTION:26th International Conference on Formal Methods in Computer-Aid ed Design\nDeadline stated in AoE.\nShown as an all-day event: the deadlin e is a moment\, not a day\, so check the exact time on the conference site .\nHeld in Graz\, Austria.\nConference dates: 14–18 Sep 2026.\nhttps://w ww.conferences-computer.science/fmcad/2026/ URL:https://www.conferences-computer.science/fmcad/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,FMCAD END:VEVENT BEGIN:VEVENT UID:fmcad-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260628 DTEND;VALUE=DATE:20260629 SUMMARY:FMCAD 2026 — notification DESCRIPTION:26th International Conference on Formal Methods in Computer-Aid ed Design\nNo time zone stated by the organisers\; this site assumes Anywh ere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Graz\, Aus tria.\nConference dates: 14–18 Sep 2026.\nhttps://www.conferences-comput er.science/fmcad/2026/ URL:https://www.conferences-computer.science/fmcad/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,FMCAD END:VEVENT BEGIN:VEVENT UID:fmics-2026-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260410 DTEND;VALUE=DATE:20260411 SUMMARY:FMICS 2026 — abstract deadline DESCRIPTION:31st International Conference on Formal Methods for Industrial Critical Systems\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conferen ce site.\nHeld in Liverpool\, England.\nConference dates: 2–4 Sep 2026.\ nhttps://www.conferences-computer.science/fmics/2026/ URL:https://www.conferences-computer.science/fmics/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,FMICS END:VEVENT BEGIN:VEVENT UID:fmics-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260417 DTEND;VALUE=DATE:20260418 SUMMARY:FMICS 2026 — paper deadline DESCRIPTION:31st International Conference on Formal Methods for Industrial Critical Systems\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conferen ce site.\nHeld in Liverpool\, England.\nConference dates: 2–4 Sep 2026.\ nhttps://www.conferences-computer.science/fmics/2026/ URL:https://www.conferences-computer.science/fmics/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,FMICS END:VEVENT BEGIN:VEVENT UID:fmics-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260601 DTEND;VALUE=DATE:20260602 SUMMARY:FMICS 2026 — notification DESCRIPTION:31st International Conference on Formal Methods for Industrial Critical Systems\nNo time zone stated by the organisers\; this site assume s Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\ , not a day\, so check the exact time on the conference site.\nHeld in Liv erpool\, England.\nConference dates: 2–4 Sep 2026.\nhttps://www.conferen ces-computer.science/fmics/2026/ URL:https://www.conferences-computer.science/fmics/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,FMICS END:VEVENT BEGIN:VEVENT UID:formalise-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251106 DTEND;VALUE=DATE:20251107 SUMMARY:FormaliSE 2026 — paper deadline DESCRIPTION:14th International Conference on Formal Methods in Software Eng ineering\nNo time zone stated by the organisers\; this site assumes Anywhe re on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nExtended from 23 Oc tober 2025.\nHeld in Rio de Janeiro\, Brazil.\nConference dates: 12–13 A pr 2026.\nhttps://www.conferences-computer.science/formalise/2026/ URL:https://www.conferences-computer.science/formalise/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,FormaliSE END:VEVENT BEGIN:VEVENT UID:formalise-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260105 DTEND;VALUE=DATE:20260106 SUMMARY:FormaliSE 2026 — notification DESCRIPTION:14th International Conference on Formal Methods in Software Eng ineering\nNo time zone stated by the organisers\; this site assumes Anywhe re on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Rio de Jane iro\, Brazil.\nConference dates: 12–13 Apr 2026.\nhttps://www.conference s-computer.science/formalise/2026/ URL:https://www.conferences-computer.science/formalise/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,FormaliSE END:VEVENT BEGIN:VEVENT UID:forte-2026-abstract@conferences-computer.science DTSTAMP:20260813T122630Z DTSTART;VALUE=DATE:20260213 DTEND;VALUE=DATE:20260214 SUMMARY:FORTE 2026 — abstract deadline DESCRIPTION:46th International Conference on Formal Techniques for Distribu ted Objects\, Components\, and Systems\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exac t time on the conference site.\nExtended from 30 January 2026.\nHeld in Ur bino\, Italy.\nConference dates: 8–12 Jun 2026.\nhttps://www.conferences -computer.science/forte/2026/ URL:https://www.conferences-computer.science/forte/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,FORTE END:VEVENT BEGIN:VEVENT UID:forte-2026-paper@conferences-computer.science DTSTAMP:20260813T122630Z DTSTART;VALUE=DATE:20260220 DTEND;VALUE=DATE:20260221 SUMMARY:FORTE 2026 — paper deadline DESCRIPTION:46th International Conference on Formal Techniques for Distribu ted Objects\, Components\, and Systems\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exac t time on the conference site.\nExtended from 06 February 2026.\nHeld in U rbino\, Italy.\nConference dates: 8–12 Jun 2026.\nhttps://www.conference s-computer.science/forte/2026/ URL:https://www.conferences-computer.science/forte/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,FORTE END:VEVENT BEGIN:VEVENT UID:forte-2026-notification@conferences-computer.science DTSTAMP:20260813T122630Z DTSTART;VALUE=DATE:20260324 DTEND;VALUE=DATE:20260325 SUMMARY:FORTE 2026 — notification DESCRIPTION:46th International Conference on Formal Techniques for Distribu ted Objects\, Components\, and Systems\nNo time zone stated by the organis ers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the confere nce site.\nHeld in Urbino\, Italy.\nConference dates: 8–12 Jun 2026.\nht tps://www.conferences-computer.science/forte/2026/ URL:https://www.conferences-computer.science/forte/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,FORTE END:VEVENT BEGIN:VEVENT UID:fossacs-2026-paper@conferences-computer.science DTSTAMP:20260813T121120Z DTSTART;VALUE=DATE:20251016 DTEND;VALUE=DATE:20251017 SUMMARY:FoSSaCS 2026 — paper deadline DESCRIPTION:29th International Conference on Foundations of Software Scienc e and Computation Structures\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Turin\, Italy.\nConference dates: 11–16 Ap r 2026.\nhttps://www.conferences-computer.science/fossacs/2026/ URL:https://www.conferences-computer.science/fossacs/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,FoSSaCS END:VEVENT BEGIN:VEVENT UID:fossacs-2026-notification@conferences-computer.science DTSTAMP:20260813T121120Z DTSTART;VALUE=DATE:20251222 DTEND;VALUE=DATE:20251223 SUMMARY:FoSSaCS 2026 — notification DESCRIPTION:29th International Conference on Foundations of Software Scienc e and Computation Structures\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\ nHeld in Turin\, Italy.\nConference dates: 11–16 Apr 2026.\nhttps://www. conferences-computer.science/fossacs/2026/ URL:https://www.conferences-computer.science/fossacs/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,FoSSaCS END:VEVENT BEGIN:VEVENT UID:from-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260706 DTEND;VALUE=DATE:20260707 SUMMARY:FROM 2026 — paper deadline DESCRIPTION:Tenth Working Formal Methods Symposium\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nExtended from 30 June 2026.\nHeld in Timișoara\, Ro mania.\nConference dates: 15–17 Sep 2026.\nhttps://www.conferences-compu ter.science/from/2026/ URL:https://www.conferences-computer.science/from/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,FROM END:VEVENT BEGIN:VEVENT UID:from-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260725 DTEND;VALUE=DATE:20260726 SUMMARY:FROM 2026 — notification DESCRIPTION:Tenth Working Formal Methods Symposium\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Timișoara\, Romania.\nConference dates: 15 –17 Sep 2026.\nhttps://www.conferences-computer.science/from/2026/ URL:https://www.conferences-computer.science/from/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,FROM END:VEVENT BEGIN:VEVENT UID:fscd-2026-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260123 DTEND;VALUE=DATE:20260124 SUMMARY:FSCD 2026 — abstract deadline DESCRIPTION:10th International Conference on Formal Structures for Computat ion and Deduction\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the confere nce site.\nHeld in Lisbon\, Portugal.\nConference dates: 20–23 Jul 2026. \nhttps://www.conferences-computer.science/fscd/2026/ URL:https://www.conferences-computer.science/fscd/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,FSCD END:VEVENT BEGIN:VEVENT UID:fscd-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260130 DTEND;VALUE=DATE:20260131 SUMMARY:FSCD 2026 — paper deadline DESCRIPTION:10th International Conference on Formal Structures for Computat ion and Deduction\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the confere nce site.\nHeld in Lisbon\, Portugal.\nConference dates: 20–23 Jul 2026. \nhttps://www.conferences-computer.science/fscd/2026/ URL:https://www.conferences-computer.science/fscd/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,FSCD END:VEVENT BEGIN:VEVENT UID:fscd-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260416 DTEND;VALUE=DATE:20260417 SUMMARY:FSCD 2026 — notification DESCRIPTION:10th International Conference on Formal Structures for Computat ion and Deduction\nNo time zone stated by the organisers\; this site assum es Anywhere on Earth.\nShown as an all-day event: the deadline is a moment \, not a day\, so check the exact time on the conference site.\nHeld in Li sbon\, Portugal.\nConference dates: 20–23 Jul 2026.\nhttps://www.confere nces-computer.science/fscd/2026/ URL:https://www.conferences-computer.science/fscd/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,FSCD END:VEVENT BEGIN:VEVENT UID:fsen-2027-abstract@conferences-computer.science DTSTAMP:20260813T145036Z DTSTART;VALUE=DATE:20261019 DTEND;VALUE=DATE:20261020 SUMMARY:FSEN 2027 — abstract deadline DESCRIPTION:Eleventh International Conference on Fundamentals of Software E ngineering 2025 - Theory and Practice\nDeadline stated in AoE.\nShown as a n all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Enschede\, The Netherlands.\nConfer ence dates: 24–25 May 2027.\nhttps://www.conferences-computer.science/fs en/2027/ URL:https://www.conferences-computer.science/fsen/2027/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,FSEN END:VEVENT BEGIN:VEVENT UID:fsen-2027-paper@conferences-computer.science DTSTAMP:20260813T145036Z DTSTART;VALUE=DATE:20261028 DTEND;VALUE=DATE:20261029 SUMMARY:FSEN 2027 — paper deadline DESCRIPTION:Eleventh International Conference on Fundamentals of Software E ngineering 2025 - Theory and Practice\nDeadline stated in AoE.\nShown as a n all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Enschede\, The Netherlands.\nConfer ence dates: 24–25 May 2027.\nhttps://www.conferences-computer.science/fs en/2027/ URL:https://www.conferences-computer.science/fsen/2027/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,FSEN END:VEVENT BEGIN:VEVENT UID:fsen-2027-notification@conferences-computer.science DTSTAMP:20260813T145036Z DTSTART;VALUE=DATE:20261218 DTEND;VALUE=DATE:20261219 SUMMARY:FSEN 2027 — notification DESCRIPTION:Eleventh International Conference on Fundamentals of Software E ngineering 2025 - Theory and Practice\nNo time zone stated by the organise rs\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conferen ce site.\nHeld in Enschede\, The Netherlands.\nConference dates: 24–25 M ay 2027.\nhttps://www.conferences-computer.science/fsen/2027/ URL:https://www.conferences-computer.science/fsen/2027/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,FSEN END:VEVENT BEGIN:VEVENT UID:fsttcs-2025-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250915 DTEND;VALUE=DATE:20250916 SUMMARY:FSTTCS 2025 — notification DESCRIPTION:45th IARCS Annual Conference on Foundations of Software Technol ogy and Theoretical Computer Science\nNo time zone stated by the organiser s\; this site assumes Anywhere on Earth.\nShown as an all-day event: the d eadline is a moment\, not a day\, so check the exact time on the conferenc e site.\nHeld in Goa Campus\, India.\nConference dates: 17–19 Dec 2025.\ nhttps://www.conferences-computer.science/fsttcs/2025/ URL:https://www.conferences-computer.science/fsttcs/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,FSTTCS END:VEVENT BEGIN:VEVENT UID:fsttcs-2026-abstract@conferences-computer.science DTSTAMP:20260813T103302Z DTSTART;VALUE=DATE:20260704 DTEND;VALUE=DATE:20260705 SUMMARY:FSTTCS 2026 — abstract deadline DESCRIPTION:46th IARCS Annual Conference on Foundations of Software Technol ogy and Theoretical Computer Science\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in IIT Delhi\, New Delhi\, India.\nConf erence dates: 15–20 Dec 2026.\nhttps://www.conferences-computer.science/ fsttcs/2026/ URL:https://www.conferences-computer.science/fsttcs/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,FSTTCS END:VEVENT BEGIN:VEVENT UID:fsttcs-2026-paper@conferences-computer.science DTSTAMP:20260813T103302Z DTSTART;VALUE=DATE:20260711 DTEND;VALUE=DATE:20260712 SUMMARY:FSTTCS 2026 — paper deadline DESCRIPTION:46th IARCS Annual Conference on Foundations of Software Technol ogy and Theoretical Computer Science\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in IIT Delhi\, New Delhi\, India.\nConf erence dates: 15–20 Dec 2026.\nhttps://www.conferences-computer.science/ fsttcs/2026/ URL:https://www.conferences-computer.science/fsttcs/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,FSTTCS END:VEVENT BEGIN:VEVENT UID:fsttcs-2026-notification@conferences-computer.science DTSTAMP:20260813T103302Z DTSTART;VALUE=DATE:20260915 DTEND;VALUE=DATE:20260916 SUMMARY:FSTTCS 2026 — notification DESCRIPTION:46th IARCS Annual Conference on Foundations of Software Technol ogy and Theoretical Computer Science\nNo time zone stated by the organiser s\; this site assumes Anywhere on Earth.\nShown as an all-day event: the d eadline is a moment\, not a day\, so check the exact time on the conferenc e site.\nHeld in IIT Delhi\, New Delhi\, India.\nConference dates: 15–20 Dec 2026.\nhttps://www.conferences-computer.science/fsttcs/2026/ URL:https://www.conferences-computer.science/fsttcs/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,FSTTCS END:VEVENT BEGIN:VEVENT UID:gandalf-2026-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260620 DTEND;VALUE=DATE:20260621 SUMMARY:GandALF 2026 — abstract deadline DESCRIPTION:17th International Symposium on Games\, Automata\, Logics\, and Formal Verification\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conf erence site.\nExtended from 18 June 2026.\nHeld in Aalborg\, Denmark.\nCon ference dates: 15–17 Sep 2026.\nhttps://www.conferences-computer.science /gandalf/2026/ URL:https://www.conferences-computer.science/gandalf/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,GandALF END:VEVENT BEGIN:VEVENT UID:gandalf-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260622 DTEND;VALUE=DATE:20260623 SUMMARY:GandALF 2026 — paper deadline DESCRIPTION:17th International Symposium on Games\, Automata\, Logics\, and Formal Verification\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conf erence site.\nHeld in Aalborg\, Denmark.\nConference dates: 15–17 Sep 20 26.\nhttps://www.conferences-computer.science/gandalf/2026/ URL:https://www.conferences-computer.science/gandalf/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,GandALF END:VEVENT BEGIN:VEVENT UID:gandalf-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260803 DTEND;VALUE=DATE:20260804 SUMMARY:GandALF 2026 — notification DESCRIPTION:17th International Symposium on Games\, Automata\, Logics\, and Formal Verification\nNo time zone stated by the organisers\; this site as sumes Anywhere on Earth.\nShown as an all-day event: the deadline is a mom ent\, not a day\, so check the exact time on the conference site.\nHeld in Aalborg\, Denmark.\nConference dates: 15–17 Sep 2026.\nhttps://www.conf erences-computer.science/gandalf/2026/ URL:https://www.conferences-computer.science/gandalf/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,GandALF END:VEVENT BEGIN:VEVENT UID:highlights-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260529 DTEND;VALUE=DATE:20260530 SUMMARY:Highlights 2026 — paper deadline DESCRIPTION:Highlights of Logic\, Games and Automata\nNo time zone stated b y the organisers\; this site assumes Anywhere on Earth.\nShown as an all-d ay event: the deadline is a moment\, not a day\, so check the exact time o n the conference site.\nHeld in Vienna\, Austria.\nConference dates: 7–1 1 Sep 2026.\nhttps://www.conferences-computer.science/highlights/2026/ URL:https://www.conferences-computer.science/highlights/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,Highlights END:VEVENT BEGIN:VEVENT UID:highlights-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260619 DTEND;VALUE=DATE:20260620 SUMMARY:Highlights 2026 — notification DESCRIPTION:Highlights of Logic\, Games and Automata\nNo time zone stated b y the organisers\; this site assumes Anywhere on Earth.\nShown as an all-d ay event: the deadline is a moment\, not a day\, so check the exact time o n the conference site.\nHeld in Vienna\, Austria.\nConference dates: 7–1 1 Sep 2026.\nhttps://www.conferences-computer.science/highlights/2026/ URL:https://www.conferences-computer.science/highlights/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,Highlights END:VEVENT BEGIN:VEVENT UID:hscc-iccps-2026-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251106 DTEND;VALUE=DATE:20251107 SUMMARY:HSCC/ICCPS 2026 — abstract deadline DESCRIPTION:29th ACM International Conference on Hybrid Systems: Computatio n and Control\, and 17th ACM/IEEE International Conference on Cyber-Physic al Systems\nDeadline stated in AoE.\nShown as an all-day event: the deadli ne is a moment\, not a day\, so check the exact time on the conference sit e.\nHeld in Saint-Malo\, Bretagne\, France.\nConference dates: 11–14 May 2026.\nhttps://www.conferences-computer.science/hscc-iccps/2026/ URL:https://www.conferences-computer.science/hscc-iccps/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,HSCC/ICCPS END:VEVENT BEGIN:VEVENT UID:hscc-iccps-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251113 DTEND;VALUE=DATE:20251114 SUMMARY:HSCC/ICCPS 2026 — paper deadline DESCRIPTION:29th ACM International Conference on Hybrid Systems: Computatio n and Control\, and 17th ACM/IEEE International Conference on Cyber-Physic al Systems\nDeadline stated in AoE.\nShown as an all-day event: the deadli ne is a moment\, not a day\, so check the exact time on the conference sit e.\nHeld in Saint-Malo\, Bretagne\, France.\nConference dates: 11–14 May 2026.\nhttps://www.conferences-computer.science/hscc-iccps/2026/ URL:https://www.conferences-computer.science/hscc-iccps/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,HSCC/ICCPS END:VEVENT BEGIN:VEVENT UID:hscc-iccps-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260129 DTEND;VALUE=DATE:20260130 SUMMARY:HSCC/ICCPS 2026 — notification DESCRIPTION:29th ACM International Conference on Hybrid Systems: Computatio n and Control\, and 17th ACM/IEEE International Conference on Cyber-Physic al Systems\nNo time zone stated by the organisers\; this site assumes Anyw here on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Saint-Mal o\, Bretagne\, France.\nConference dates: 11–14 May 2026.\nhttps://www.c onferences-computer.science/hscc-iccps/2026/ URL:https://www.conferences-computer.science/hscc-iccps/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,HSCC/ICCPS END:VEVENT BEGIN:VEVENT UID:icalp-2026-abstract@conferences-computer.science DTSTAMP:20260813T151535Z DTSTART;VALUE=DATE:20260203 DTEND;VALUE=DATE:20260204 SUMMARY:ICALP 2026 — abstract deadline DESCRIPTION:53rd EATCS International Colloquium on Automata\, Languages\, a nd Programming\nDeadline stated in AoE.\nShown as an all-day event: the de adline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Egham\, England.\nConference dates: 7–10 Jul 2026.\nhttp s://www.conferences-computer.science/icalp/2026/ URL:https://www.conferences-computer.science/icalp/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ICALP END:VEVENT BEGIN:VEVENT UID:icalp-2026-paper@conferences-computer.science DTSTAMP:20260813T151535Z DTSTART;VALUE=DATE:20260206 DTEND;VALUE=DATE:20260207 SUMMARY:ICALP 2026 — paper deadline DESCRIPTION:53rd EATCS International Colloquium on Automata\, Languages\, a nd Programming\nDeadline stated in AoE.\nShown as an all-day event: the de adline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Egham\, England.\nConference dates: 7–10 Jul 2026.\nhttp s://www.conferences-computer.science/icalp/2026/ URL:https://www.conferences-computer.science/icalp/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ICALP END:VEVENT BEGIN:VEVENT UID:icalp-2026-notification@conferences-computer.science DTSTAMP:20260813T151535Z DTSTART;VALUE=DATE:20260420 DTEND;VALUE=DATE:20260421 SUMMARY:ICALP 2026 — notification DESCRIPTION:53rd EATCS International Colloquium on Automata\, Languages\, a nd Programming\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Egham \, England.\nConference dates: 7–10 Jul 2026.\nhttps://www.conferences-c omputer.science/icalp/2026/ URL:https://www.conferences-computer.science/icalp/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ICALP END:VEVENT BEGIN:VEVENT UID:icalp-2027-paper-round1@conferences-computer.science DTSTAMP:20260813T150900Z DTSTART;VALUE=DATE:20260915 DTEND;VALUE=DATE:20260916 SUMMARY:ICALP 2027 — Round 1 paper deadline DESCRIPTION:54th EATCS International Colloquium on Automata\, Languages\, a nd Programming\nDeadline stated in AoE.\nShown as an all-day event: the de adline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Krakow\, Poland.\nConference dates: 5–9 Jul 2027.\nhttps ://www.conferences-computer.science/icalp/2027/ URL:https://www.conferences-computer.science/icalp/2027/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ICALP END:VEVENT BEGIN:VEVENT UID:icalp-2027-notification-round1@conferences-computer.science DTSTAMP:20260813T150900Z DTSTART;VALUE=DATE:20261208 DTEND;VALUE=DATE:20261209 SUMMARY:ICALP 2027 — Round 1 notification DESCRIPTION:54th EATCS International Colloquium on Automata\, Languages\, a nd Programming\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Krako w\, Poland.\nConference dates: 5–9 Jul 2027.\nhttps://www.conferences-co mputer.science/icalp/2027/ URL:https://www.conferences-computer.science/icalp/2027/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ICALP END:VEVENT BEGIN:VEVENT UID:iceccs-2026-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260720 DTEND;VALUE=DATE:20260721 SUMMARY:ICECCS 2026 — abstract deadline DESCRIPTION:30th International Conference on Engineering of Complex Compute r Systems\nDeadline stated in AoE.\nShown as an all-day event: the deadlin e is a moment\, not a day\, so check the exact time on the conference site .\nExtended from 29 June 2026.\nHeld in Brisbane\, Australia.\nConference dates: 23–24 Nov 2026.\nhttps://www.conferences-computer.science/iceccs/ 2026/ URL:https://www.conferences-computer.science/iceccs/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,ICECCS END:VEVENT BEGIN:VEVENT UID:iceccs-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260720 DTEND;VALUE=DATE:20260721 SUMMARY:ICECCS 2026 — paper deadline DESCRIPTION:30th International Conference on Engineering of Complex Compute r Systems\nDeadline stated in AoE.\nShown as an all-day event: the deadlin e is a moment\, not a day\, so check the exact time on the conference site .\nExtended from 06 July 2026.\nHeld in Brisbane\, Australia.\nConference dates: 23–24 Nov 2026.\nhttps://www.conferences-computer.science/iceccs/ 2026/ URL:https://www.conferences-computer.science/iceccs/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,ICECCS END:VEVENT BEGIN:VEVENT UID:iceccs-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260817 DTEND;VALUE=DATE:20260818 SUMMARY:ICECCS 2026 — notification DESCRIPTION:30th International Conference on Engineering of Complex Compute r Systems\nNo time zone stated by the organisers\; this site assumes Anywh ere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Brisbane\, Australia.\nConference dates: 23–24 Nov 2026.\nhttps://www.conferences- computer.science/iceccs/2026/ URL:https://www.conferences-computer.science/iceccs/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ICECCS END:VEVENT BEGIN:VEVENT UID:icfem-2026-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260622 DTEND;VALUE=DATE:20260623 SUMMARY:ICFEM 2026 — abstract deadline DESCRIPTION:27th International Conference on Formal Engineering Methods\nDe adline stated in AoE.\nShown as an all-day event: the deadline is a moment \, not a day\, so check the exact time on the conference site.\nExtended f rom 01 June 2026.\nHeld in Southampton\, England.\nConference dates: 17– 20 Nov 2026.\nhttps://www.conferences-computer.science/icfem/2026/ URL:https://www.conferences-computer.science/icfem/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,ICFEM END:VEVENT BEGIN:VEVENT UID:icfem-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260622 DTEND;VALUE=DATE:20260623 SUMMARY:ICFEM 2026 — paper deadline DESCRIPTION:27th International Conference on Formal Engineering Methods\nDe adline stated in AoE.\nShown as an all-day event: the deadline is a moment \, not a day\, so check the exact time on the conference site.\nExtended f rom 08 June 2026.\nHeld in Southampton\, England.\nConference dates: 17– 20 Nov 2026.\nhttps://www.conferences-computer.science/icfem/2026/ URL:https://www.conferences-computer.science/icfem/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,ICFEM END:VEVENT BEGIN:VEVENT UID:icfem-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260808 DTEND;VALUE=DATE:20260809 SUMMARY:ICFEM 2026 — notification DESCRIPTION:27th International Conference on Formal Engineering Methods\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth. \nShown as an all-day event: the deadline is a moment\, not a day\, so che ck the exact time on the conference site.\nHeld in Southampton\, England.\ nConference dates: 17–20 Nov 2026.\nhttps://www.conferences-computer.sci ence/icfem/2026/ URL:https://www.conferences-computer.science/icfem/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ICFEM END:VEVENT BEGIN:VEVENT UID:icse-2026-notification@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20251219 DTEND;VALUE=DATE:20251220 SUMMARY:ICSE 2026 — notification DESCRIPTION:48th International Conference on Software Engineering\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShow n as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Rio de Janeiro\, Brazil.\nCon ference dates: 12–18 Apr 2026.\nhttps://www.conferences-computer.science /icse/2026/ URL:https://www.conferences-computer.science/icse/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ICSE END:VEVENT BEGIN:VEVENT UID:icse-2027-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260623 DTEND;VALUE=DATE:20260624 SUMMARY:ICSE 2027 — abstract deadline DESCRIPTION:49th International Conference on Software Engineering\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShow n as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Dublin\, Ireland.\nConference dates: 25 Apr – 1 May 2027.\nhttps://www.conferences-computer.science/i cse/2027/ URL:https://www.conferences-computer.science/icse/2027/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ICSE END:VEVENT BEGIN:VEVENT UID:icse-2027-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260630 DTEND;VALUE=DATE:20260701 SUMMARY:ICSE 2027 — paper deadline DESCRIPTION:49th International Conference on Software Engineering\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShow n as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Dublin\, Ireland.\nConference dates: 25 Apr – 1 May 2027.\nhttps://www.conferences-computer.science/i cse/2027/ URL:https://www.conferences-computer.science/icse/2027/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ICSE END:VEVENT BEGIN:VEVENT UID:icse-2027-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20261218 DTEND;VALUE=DATE:20261219 SUMMARY:ICSE 2027 — notification DESCRIPTION:49th International Conference on Software Engineering\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShow n as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Dublin\, Ireland.\nConference dates: 25 Apr – 1 May 2027.\nhttps://www.conferences-computer.science/i cse/2027/ URL:https://www.conferences-computer.science/icse/2027/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ICSE END:VEVENT BEGIN:VEVENT UID:ictac-2025-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250830 DTEND;VALUE=DATE:20250831 SUMMARY:ICTAC 2025 — notification DESCRIPTION:22nd International Colloquium on Theoretical Aspects of Computi ng\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Marrakech\, Moroc co.\nConference dates: 24–28 Nov 2025.\nhttps://www.conferences-computer .science/ictac/2025/ URL:https://www.conferences-computer.science/ictac/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ICTAC END:VEVENT BEGIN:VEVENT UID:ictac-2026-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260614 DTEND;VALUE=DATE:20260615 SUMMARY:ICTAC 2026 — abstract deadline DESCRIPTION:23rd International Colloquium on Theoretical Aspects of Computi ng\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nExte nded from 08 June 2026.\nHeld in Bariloche\, Argentina.\nConference dates: 11–13 Nov 2026.\nhttps://www.conferences-computer.science/ictac/2026/ URL:https://www.conferences-computer.science/ictac/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,ICTAC END:VEVENT BEGIN:VEVENT UID:ictac-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260622 DTEND;VALUE=DATE:20260623 SUMMARY:ICTAC 2026 — paper deadline DESCRIPTION:23rd International Colloquium on Theoretical Aspects of Computi ng\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nExte nded from 15 June 2026.\nHeld in Bariloche\, Argentina.\nConference dates: 11–13 Nov 2026.\nhttps://www.conferences-computer.science/ictac/2026/ URL:https://www.conferences-computer.science/ictac/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,ICTAC END:VEVENT BEGIN:VEVENT UID:ictac-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260810 DTEND;VALUE=DATE:20260811 SUMMARY:ICTAC 2026 — notification DESCRIPTION:23rd International Colloquium on Theoretical Aspects of Computi ng\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Bariloche\, Argen tina.\nConference dates: 11–13 Nov 2026.\nhttps://www.conferences-comput er.science/ictac/2026/ URL:https://www.conferences-computer.science/ictac/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ICTAC END:VEVENT BEGIN:VEVENT UID:isorc-2026-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260224 DTEND;VALUE=DATE:20260225 SUMMARY:ISORC 2026 — abstract deadline DESCRIPTION:29th IEEE International Symposium on Real-Time Distributed Comp uting\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nE xtended from 02 February 2026.\nHeld in Hamilton\, Ontario\, Canada.\nConf erence dates: 27–29 May 2026.\nhttps://www.conferences-computer.science/ isorc/2026/ URL:https://www.conferences-computer.science/isorc/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,ISORC END:VEVENT BEGIN:VEVENT UID:isorc-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260303 DTEND;VALUE=DATE:20260304 SUMMARY:ISORC 2026 — paper deadline DESCRIPTION:29th IEEE International Symposium on Real-Time Distributed Comp uting\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nE xtended from 02 February 2026.\nHeld in Hamilton\, Ontario\, Canada.\nConf erence dates: 27–29 May 2026.\nhttps://www.conferences-computer.science/ isorc/2026/ URL:https://www.conferences-computer.science/isorc/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,ISORC END:VEVENT BEGIN:VEVENT UID:isorc-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260324 DTEND;VALUE=DATE:20260325 SUMMARY:ISORC 2026 — notification DESCRIPTION:29th IEEE International Symposium on Real-Time Distributed Comp uting\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day \, so check the exact time on the conference site.\nExtended from 05 March 2026.\nHeld in Hamilton\, Ontario\, Canada.\nConference dates: 27–29 Ma y 2026.\nhttps://www.conferences-computer.science/isorc/2026/ URL:https://www.conferences-computer.science/isorc/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,ISORC END:VEVENT BEGIN:VEVENT UID:issre-2026-abstract@conferences-computer.science DTSTAMP:20260814T141315Z DTSTART;VALUE=DATE:20260424 DTEND;VALUE=DATE:20260425 SUMMARY:ISSRE 2026 — abstract deadline DESCRIPTION:37th IEEE International Symposium on Software Reliability Engin eering\nDeadline stated in AoE.\nShown as an all-day event: the deadline i s a moment\, not a day\, so check the exact time on the conference site.\n Extended from 10 April 2026.\nHeld in Limassol\, Cyprus.\nConference dates : 23–26 Oct 2026.\nhttps://www.conferences-computer.science/issre/2026/ URL:https://www.conferences-computer.science/issre/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,ISSRE END:VEVENT BEGIN:VEVENT UID:issre-2026-paper@conferences-computer.science DTSTAMP:20260814T141315Z DTSTART;VALUE=DATE:20260424 DTEND;VALUE=DATE:20260425 SUMMARY:ISSRE 2026 — paper deadline DESCRIPTION:37th IEEE International Symposium on Software Reliability Engin eering\nDeadline stated in AoE.\nShown as an all-day event: the deadline i s a moment\, not a day\, so check the exact time on the conference site.\n Extended from 17 April 2026.\nHeld in Limassol\, Cyprus.\nConference dates : 23–26 Oct 2026.\nhttps://www.conferences-computer.science/issre/2026/ URL:https://www.conferences-computer.science/issre/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,ISSRE END:VEVENT BEGIN:VEVENT UID:issre-2026-notification@conferences-computer.science DTSTAMP:20260814T141315Z DTSTART;VALUE=DATE:20260708 DTEND;VALUE=DATE:20260709 SUMMARY:ISSRE 2026 — notification DESCRIPTION:37th IEEE International Symposium on Software Reliability Engin eering\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\, not a da y\, so check the exact time on the conference site.\nHeld in Limassol\, Cy prus.\nConference dates: 23–26 Oct 2026.\nhttps://www.conferences-comput er.science/issre/2026/ URL:https://www.conferences-computer.science/issre/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ISSRE END:VEVENT BEGIN:VEVENT UID:issta-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260129 DTEND;VALUE=DATE:20260130 SUMMARY:ISSTA 2026 — paper deadline DESCRIPTION:35th International Symposium on Software Testing and Analysis\n Deadline stated in AoE.\nShown as an all-day event: the deadline is a mome nt\, not a day\, so check the exact time on the conference site.\nHeld in Oakland\, California\, United States.\nConference dates: 3–9 Oct 2026.\n https://www.conferences-computer.science/issta/2026/ URL:https://www.conferences-computer.science/issta/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ISSTA END:VEVENT BEGIN:VEVENT UID:issta-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260416 DTEND;VALUE=DATE:20260417 SUMMARY:ISSTA 2026 — notification DESCRIPTION:35th International Symposium on Software Testing and Analysis\n No time zone stated by the organisers\; this site assumes Anywhere on Eart h.\nShown as an all-day event: the deadline is a moment\, not a day\, so c heck the exact time on the conference site.\nHeld in Oakland\, California\ , United States.\nConference dates: 3–9 Oct 2026.\nhttps://www.conferenc es-computer.science/issta/2026/ URL:https://www.conferences-computer.science/issta/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ISSTA END:VEVENT BEGIN:VEVENT UID:jfla-2026-paper@conferences-computer.science DTSTAMP:20260813T132935Z DTSTART;VALUE=DATE:20251016 DTEND;VALUE=DATE:20251017 SUMMARY:JFLA 2026 — paper deadline DESCRIPTION:37e Journées Francophones des Langages Applicatifs\nDeadline s tated in GMT.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Oberbronn\ , France.\nConference dates: 27–30 Jan 2026.\nhttps://www.conferences-co mputer.science/jfla/2026/ URL:https://www.conferences-computer.science/jfla/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,JFLA END:VEVENT BEGIN:VEVENT UID:jfla-2026-notification@conferences-computer.science DTSTAMP:20260813T132935Z DTSTART;VALUE=DATE:20251202 DTEND;VALUE=DATE:20251203 SUMMARY:JFLA 2026 — notification DESCRIPTION:37e Journées Francophones des Langages Applicatifs\nNo time zo ne stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the e xact time on the conference site.\nHeld in Oberbronn\, France.\nConference dates: 27–30 Jan 2026.\nhttps://www.conferences-computer.science/jfla/2 026/ URL:https://www.conferences-computer.science/jfla/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,JFLA END:VEVENT BEGIN:VEVENT UID:jfla-2027-paper@conferences-computer.science DTSTAMP:20260814T102341Z DTSTART;VALUE=DATE:20261016 DTEND;VALUE=DATE:20261017 SUMMARY:JFLA 2027 — paper deadline DESCRIPTION:38e Journées Francophones des Langages Applicatifs\nDeadline s tated in GMT+2.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Dinard\, Bretagne\, France.\nConference dates: 26–29 Jan 2027.\nhttps://www.conf erences-computer.science/jfla/2027/ URL:https://www.conferences-computer.science/jfla/2027/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,JFLA END:VEVENT BEGIN:VEVENT UID:jfla-2027-notification@conferences-computer.science DTSTAMP:20260814T102341Z DTSTART;VALUE=DATE:20261202 DTEND;VALUE=DATE:20261203 SUMMARY:JFLA 2027 — notification DESCRIPTION:38e Journées Francophones des Langages Applicatifs\nNo time zo ne stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the e xact time on the conference site.\nHeld in Dinard\, Bretagne\, France.\nCo nference dates: 26–29 Jan 2027.\nhttps://www.conferences-computer.scienc e/jfla/2027/ URL:https://www.conferences-computer.science/jfla/2027/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,JFLA END:VEVENT BEGIN:VEVENT UID:jrwrtc-2025-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251003 DTEND;VALUE=DATE:20251004 SUMMARY:JRWRTC 2025 — abstract deadline DESCRIPTION:18th Junior Researcher Workshop on Real-Time Computing\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nSho wn as an all-day event: the deadline is a moment\, not a day\, so check th e exact time on the conference site.\nHeld in Pisa\, Italy.\nConference da tes: 5–7 Nov 2025.\nhttps://www.conferences-computer.science/jrwrtc/2025 / URL:https://www.conferences-computer.science/jrwrtc/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,JRWRTC END:VEVENT BEGIN:VEVENT UID:jrwrtc-2025-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251010 DTEND;VALUE=DATE:20251011 SUMMARY:JRWRTC 2025 — paper deadline DESCRIPTION:18th Junior Researcher Workshop on Real-Time Computing\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nSho wn as an all-day event: the deadline is a moment\, not a day\, so check th e exact time on the conference site.\nHeld in Pisa\, Italy.\nConference da tes: 5–7 Nov 2025.\nhttps://www.conferences-computer.science/jrwrtc/2025 / URL:https://www.conferences-computer.science/jrwrtc/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,JRWRTC END:VEVENT BEGIN:VEVENT UID:jrwrtc-2025-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251020 DTEND;VALUE=DATE:20251021 SUMMARY:JRWRTC 2025 — notification DESCRIPTION:18th Junior Researcher Workshop on Real-Time Computing\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nSho wn as an all-day event: the deadline is a moment\, not a day\, so check th e exact time on the conference site.\nHeld in Pisa\, Italy.\nConference da tes: 5–7 Nov 2025.\nhttps://www.conferences-computer.science/jrwrtc/2025 / URL:https://www.conferences-computer.science/jrwrtc/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,JRWRTC END:VEVENT BEGIN:VEVENT UID:lics-2026-abstract@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20260115 DTEND;VALUE=DATE:20260116 SUMMARY:LiCS 2026 — abstract deadline DESCRIPTION:41st Annual ACM/IEEE Symposium on Logic in Computer Science (Li CS)\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHel d in Lisbon\, Portugal.\nConference dates: 20–23 Jul 2026.\nhttps://www. conferences-computer.science/lics/2026/ URL:https://www.conferences-computer.science/lics/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,LiCS END:VEVENT BEGIN:VEVENT UID:lics-2026-paper@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20260122 DTEND;VALUE=DATE:20260123 SUMMARY:LiCS 2026 — paper deadline DESCRIPTION:41st Annual ACM/IEEE Symposium on Logic in Computer Science (Li CS)\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHel d in Lisbon\, Portugal.\nConference dates: 20–23 Jul 2026.\nhttps://www. conferences-computer.science/lics/2026/ URL:https://www.conferences-computer.science/lics/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,LiCS END:VEVENT BEGIN:VEVENT UID:lics-2026-notification@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20260416 DTEND;VALUE=DATE:20260417 SUMMARY:LiCS 2026 — notification DESCRIPTION:41st Annual ACM/IEEE Symposium on Logic in Computer Science (Li CS)\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Lisbon\, Portuga l.\nConference dates: 20–23 Jul 2026.\nhttps://www.conferences-computer. science/lics/2026/ URL:https://www.conferences-computer.science/lics/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,LiCS END:VEVENT BEGIN:VEVENT UID:lpar-2026-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260603 DTEND;VALUE=DATE:20260604 SUMMARY:LPAR 2026 — abstract deadline DESCRIPTION:256h International Conference on Logic for Programming\, Artifi cial Intelligence and Reasoning\nNo time zone stated by the organisers\; t his site assumes Anywhere on Earth.\nShown as an all-day event: the deadli ne is a moment\, not a day\, so check the exact time on the conference sit e.\nHeld in Spetses\, Greece.\nConference dates: 25–30 Oct 2026.\nhttps: //www.conferences-computer.science/lpar/2026/ URL:https://www.conferences-computer.science/lpar/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,LPAR END:VEVENT BEGIN:VEVENT UID:lpar-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260617 DTEND;VALUE=DATE:20260618 SUMMARY:LPAR 2026 — paper deadline DESCRIPTION:256h International Conference on Logic for Programming\, Artifi cial Intelligence and Reasoning\nNo time zone stated by the organisers\; t his site assumes Anywhere on Earth.\nShown as an all-day event: the deadli ne is a moment\, not a day\, so check the exact time on the conference sit e.\nHeld in Spetses\, Greece.\nConference dates: 25–30 Oct 2026.\nhttps: //www.conferences-computer.science/lpar/2026/ URL:https://www.conferences-computer.science/lpar/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,LPAR END:VEVENT BEGIN:VEVENT UID:lpar-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260803 DTEND;VALUE=DATE:20260804 SUMMARY:LPAR 2026 — notification DESCRIPTION:256h International Conference on Logic for Programming\, Artifi cial Intelligence and Reasoning\nNo time zone stated by the organisers\; t his site assumes Anywhere on Earth.\nShown as an all-day event: the deadli ne is a moment\, not a day\, so check the exact time on the conference sit e.\nHeld in Spetses\, Greece.\nConference dates: 25–30 Oct 2026.\nhttps: //www.conferences-computer.science/lpar/2026/ URL:https://www.conferences-computer.science/lpar/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,LPAR END:VEVENT BEGIN:VEVENT UID:mars-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260211 DTEND;VALUE=DATE:20260212 SUMMARY:MARS 2026 — paper deadline DESCRIPTION:7th Workshop on Models for Formal Analysis of Real Systems\nDea dline stated in AoE.\nShown as an all-day event: the deadline is a moment\ , not a day\, so check the exact time on the conference site.\nExtended fr om 21 January 2026.\nHeld in Milan\, Italy.\nConference dates: 12 Apr 2026 .\nhttps://www.conferences-computer.science/mars/2026/ URL:https://www.conferences-computer.science/mars/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,MARS END:VEVENT BEGIN:VEVENT UID:mars-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260311 DTEND;VALUE=DATE:20260312 SUMMARY:MARS 2026 — notification DESCRIPTION:7th Workshop on Models for Formal Analysis of Real Systems\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\ nShown as an all-day event: the deadline is a moment\, not a day\, so chec k the exact time on the conference site.\nHeld in Milan\, Italy.\nConferen ce dates: 12 Apr 2026.\nhttps://www.conferences-computer.science/mars/2026 / URL:https://www.conferences-computer.science/mars/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,MARS END:VEVENT BEGIN:VEVENT UID:memocode-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260525 DTEND;VALUE=DATE:20260526 SUMMARY:MEMOCODE 2026 — paper deadline DESCRIPTION:24th ACM-IEEE International Symposium on Formal Methods and Mod els for System Design\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the con ference site.\nExtended from 11 May 2026.\nHeld in Barcelona\, Spain.\nCon ference dates: 8–9 Oct 2026.\nhttps://www.conferences-computer.science/m emocode/2026/ URL:https://www.conferences-computer.science/memocode/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,MEMOCODE END:VEVENT BEGIN:VEVENT UID:memocode-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260710 DTEND;VALUE=DATE:20260711 SUMMARY:MEMOCODE 2026 — notification DESCRIPTION:24th ACM-IEEE International Symposium on Formal Methods and Mod els for System Design\nNo time zone stated by the organisers\; this site a ssumes Anywhere on Earth.\nShown as an all-day event: the deadline is a mo ment\, not a day\, so check the exact time on the conference site.\nHeld i n Barcelona\, Spain.\nConference dates: 8–9 Oct 2026.\nhttps://www.confe rences-computer.science/memocode/2026/ URL:https://www.conferences-computer.science/memocode/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,MEMOCODE END:VEVENT BEGIN:VEVENT UID:mfcs-2026-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260424 DTEND;VALUE=DATE:20260425 SUMMARY:MFCS 2026 — abstract deadline DESCRIPTION:51st International Symposium on Mathematical Foundations of Com puter Science\nDeadline stated in AoE.\nShown as an all-day event: the dea dline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Paris\, France.\nConference dates: 24–28 Aug 2026.\nhttps ://www.conferences-computer.science/mfcs/2026/ URL:https://www.conferences-computer.science/mfcs/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,MFCS END:VEVENT BEGIN:VEVENT UID:mfcs-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260424 DTEND;VALUE=DATE:20260425 SUMMARY:MFCS 2026 — paper deadline DESCRIPTION:51st International Symposium on Mathematical Foundations of Com puter Science\nDeadline stated in AoE.\nShown as an all-day event: the dea dline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Paris\, France.\nConference dates: 24–28 Aug 2026.\nhttps ://www.conferences-computer.science/mfcs/2026/ URL:https://www.conferences-computer.science/mfcs/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,MFCS END:VEVENT BEGIN:VEVENT UID:mfcs-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260619 DTEND;VALUE=DATE:20260620 SUMMARY:MFCS 2026 — notification DESCRIPTION:51st International Symposium on Mathematical Foundations of Com puter Science\nNo time zone stated by the organisers\; this site assumes A nywhere on Earth.\nShown as an all-day event: the deadline is a moment\, n ot a day\, so check the exact time on the conference site.\nHeld in Paris\ , France.\nConference dates: 24–28 Aug 2026.\nhttps://www.conferences-co mputer.science/mfcs/2026/ URL:https://www.conferences-computer.science/mfcs/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,MFCS END:VEVENT BEGIN:VEVENT UID:msr-2025-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250910 DTEND;VALUE=DATE:20250911 SUMMARY:MSR 2025 — notification DESCRIPTION:15e colloque sur la Modélisation des Systèmes Réactifs\nNo t ime zone stated by the organisers\; this site assumes Anywhere on Earth.\n Shown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Reims\, France.\nConferen ce dates: 19–21 Nov 2025.\nhttps://www.conferences-computer.science/msr/ 2025/ URL:https://www.conferences-computer.science/msr/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,MSR END:VEVENT BEGIN:VEVENT UID:nfm-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260118 DTEND;VALUE=DATE:20260119 SUMMARY:NFM 2026 — paper deadline DESCRIPTION:18th NASA Formal Methods Symposium\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day eve nt: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nExtended from 10 January 2026.\nHeld in Los Angeles\, CA \, USA.\nConference dates: 5–7 May 2026.\nhttps://www.conferences-comput er.science/nfm/2026/ URL:https://www.conferences-computer.science/nfm/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,NFM END:VEVENT BEGIN:VEVENT UID:nfm-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260310 DTEND;VALUE=DATE:20260311 SUMMARY:NFM 2026 — notification DESCRIPTION:18th NASA Formal Methods Symposium\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day eve nt: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Los Angeles\, CA\, USA.\nConference dates: 5–7 May 2026.\nhttps://www.conferences-computer.science/nfm/2026/ URL:https://www.conferences-computer.science/nfm/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,NFM END:VEVENT BEGIN:VEVENT UID:petri-nets-2026-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260121 DTEND;VALUE=DATE:20260122 SUMMARY:Petri Nets 2026 — abstract deadline DESCRIPTION:47th International Conference on Application and Theory of Petr i Nets and Concurrency\nDeadline stated in AoE.\nShown as an all-day event : the deadline is a moment\, not a day\, so check the exact time on the co nference site.\nExtended from 14 January 2026.\nHeld in Hamburg\, Germany. \nConference dates: 22–26 Jun 2026.\nhttps://www.conferences-computer.sc ience/petri-nets/2026/ URL:https://www.conferences-computer.science/petri-nets/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,Petri Nets END:VEVENT BEGIN:VEVENT UID:petri-nets-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260130 DTEND;VALUE=DATE:20260131 SUMMARY:Petri Nets 2026 — paper deadline DESCRIPTION:47th International Conference on Application and Theory of Petr i Nets and Concurrency\nDeadline stated in AoE.\nShown as an all-day event : the deadline is a moment\, not a day\, so check the exact time on the co nference site.\nExtended from 21 January 2026.\nHeld in Hamburg\, Germany. \nConference dates: 22–26 Jun 2026.\nhttps://www.conferences-computer.sc ience/petri-nets/2026/ URL:https://www.conferences-computer.science/petri-nets/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,Petri Nets END:VEVENT BEGIN:VEVENT UID:petri-nets-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260308 DTEND;VALUE=DATE:20260309 SUMMARY:Petri Nets 2026 — notification DESCRIPTION:47th International Conference on Application and Theory of Petr i Nets and Concurrency\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a m oment\, not a day\, so check the exact time on the conference site.\nHeld in Hamburg\, Germany.\nConference dates: 22–26 Jun 2026.\nhttps://www.co nferences-computer.science/petri-nets/2026/ URL:https://www.conferences-computer.science/petri-nets/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,Petri Nets END:VEVENT BEGIN:VEVENT UID:pnse-2026-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260323 DTEND;VALUE=DATE:20260324 SUMMARY:PNSE 2026 — abstract deadline DESCRIPTION:International Workshop on Petri Nets and Software Engineering\n No time zone stated by the organisers\; this site assumes Anywhere on Eart h.\nShown as an all-day event: the deadline is a moment\, not a day\, so c heck the exact time on the conference site.\nHeld in Hamburg\, Germany.\nC onference dates: 22 Jun 2026.\nhttps://www.conferences-computer.science/pn se/2026/ URL:https://www.conferences-computer.science/pnse/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,PNSE END:VEVENT BEGIN:VEVENT UID:pnse-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260330 DTEND;VALUE=DATE:20260331 SUMMARY:PNSE 2026 — paper deadline DESCRIPTION:International Workshop on Petri Nets and Software Engineering\n No time zone stated by the organisers\; this site assumes Anywhere on Eart h.\nShown as an all-day event: the deadline is a moment\, not a day\, so c heck the exact time on the conference site.\nHeld in Hamburg\, Germany.\nC onference dates: 22 Jun 2026.\nhttps://www.conferences-computer.science/pn se/2026/ URL:https://www.conferences-computer.science/pnse/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,PNSE END:VEVENT BEGIN:VEVENT UID:pnse-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260430 DTEND;VALUE=DATE:20260501 SUMMARY:PNSE 2026 — notification DESCRIPTION:International Workshop on Petri Nets and Software Engineering\n No time zone stated by the organisers\; this site assumes Anywhere on Eart h.\nShown as an all-day event: the deadline is a moment\, not a day\, so c heck the exact time on the conference site.\nHeld in Hamburg\, Germany.\nC onference dates: 22 Jun 2026.\nhttps://www.conferences-computer.science/pn se/2026/ URL:https://www.conferences-computer.science/pnse/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,PNSE END:VEVENT BEGIN:VEVENT UID:popl-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251002 DTEND;VALUE=DATE:20251003 SUMMARY:POPL 2026 — notification DESCRIPTION:53rd ACM SIGPLAN Symposium on Principles of Programming Languag es\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Rennes\, Bretagne \, France.\nConference dates: 11–17 Jan 2026.\nhttps://www.conferences-c omputer.science/popl/2026/ URL:https://www.conferences-computer.science/popl/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,POPL END:VEVENT BEGIN:VEVENT UID:prdc-2025-notification@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20250822 DTEND;VALUE=DATE:20250823 SUMMARY:PRDC 2025 — notification DESCRIPTION:30th IEEE Pacific Rim International Symposium on Dependable Com puting\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\, not a da y\, so check the exact time on the conference site.\nHeld in Seoul\, Korea .\nConference dates: 3–5 Nov 2025.\nhttps://www.conferences-computer.sci ence/prdc/2025/ URL:https://www.conferences-computer.science/prdc/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,PRDC END:VEVENT BEGIN:VEVENT UID:qest-formats-2026-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260413 DTEND;VALUE=DATE:20260414 SUMMARY:QEST+FORMATS 2026 — abstract deadline DESCRIPTION:Third joint event for International Conference on Quantitative Evaluation of SysTems and International Conference on Formal Modeling and Analysis of Timed Systems\nDeadline stated in AoE.\nShown as an all-day ev ent: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nExtended from 03 April 2026.\nHeld in Liverpool\, Engla nd.\nConference dates: 2–4 Sep 2026.\nhttps://www.conferences-computer.s cience/qest-formats/2026/ URL:https://www.conferences-computer.science/qest-formats/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,QEST+FORMATS END:VEVENT BEGIN:VEVENT UID:qest-formats-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260420 DTEND;VALUE=DATE:20260421 SUMMARY:QEST+FORMATS 2026 — paper deadline DESCRIPTION:Third joint event for International Conference on Quantitative Evaluation of SysTems and International Conference on Formal Modeling and Analysis of Timed Systems\nDeadline stated in AoE.\nShown as an all-day ev ent: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nExtended from 10 April 2026.\nHeld in Liverpool\, Engla nd.\nConference dates: 2–4 Sep 2026.\nhttps://www.conferences-computer.s cience/qest-formats/2026/ URL:https://www.conferences-computer.science/qest-formats/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,QEST+FORMATS END:VEVENT BEGIN:VEVENT UID:qest-formats-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260603 DTEND;VALUE=DATE:20260604 SUMMARY:QEST+FORMATS 2026 — notification DESCRIPTION:Third joint event for International Conference on Quantitative Evaluation of SysTems and International Conference on Formal Modeling and Analysis of Timed Systems\nNo time zone stated by the organisers\; this si te assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nEx tended from 24 May 2026.\nHeld in Liverpool\, England.\nConference dates: 2–4 Sep 2026.\nhttps://www.conferences-computer.science/qest-formats/202 6/ URL:https://www.conferences-computer.science/qest-formats/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,QEST+FORMATS END:VEVENT BEGIN:VEVENT UID:reacts-2025-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250827 DTEND;VALUE=DATE:20250828 SUMMARY:ReacTS 2025 — paper deadline DESCRIPTION:International Workshop on Reconfigurable Transition Systems: Se mantics\, Logics and Applications\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the dead line is a moment\, not a day\, so check the exact time on the conference s ite.\nExtended from 20 August 2025.\nHeld in Toledo\, Spain.\nConference d ates: 10–11 Nov 2025.\nhttps://www.conferences-computer.science/reacts/2 025/ URL:https://www.conferences-computer.science/reacts/2025/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,ReacTS END:VEVENT BEGIN:VEVENT UID:reacts-2025-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250922 DTEND;VALUE=DATE:20250923 SUMMARY:ReacTS 2025 — notification DESCRIPTION:International Workshop on Reconfigurable Transition Systems: Se mantics\, Logics and Applications\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the dead line is a moment\, not a day\, so check the exact time on the conference s ite.\nHeld in Toledo\, Spain.\nConference dates: 10–11 Nov 2025.\nhttps: //www.conferences-computer.science/reacts/2025/ URL:https://www.conferences-computer.science/reacts/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ReacTS END:VEVENT BEGIN:VEVENT UID:reacts-2026-abstract@conferences-computer.science DTSTAMP:20260813T132601Z DTSTART;VALUE=DATE:20260908 DTEND;VALUE=DATE:20260909 SUMMARY:ReacTS 2026 — abstract deadline DESCRIPTION:3rd International Workshop on Reconfigurable Transition Systems : Semantics\, Logics and Applications\nNo time zone stated by the organise rs\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conferen ce site.\nHeld in Valletta\, Malta.\nConference dates: 24 Nov 2026.\nhttps ://www.conferences-computer.science/reacts/2026/ URL:https://www.conferences-computer.science/reacts/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ReacTS END:VEVENT BEGIN:VEVENT UID:reacts-2026-paper@conferences-computer.science DTSTAMP:20260813T132601Z DTSTART;VALUE=DATE:20260913 DTEND;VALUE=DATE:20260914 SUMMARY:ReacTS 2026 — paper deadline DESCRIPTION:3rd International Workshop on Reconfigurable Transition Systems : Semantics\, Logics and Applications\nNo time zone stated by the organise rs\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conferen ce site.\nHeld in Valletta\, Malta.\nConference dates: 24 Nov 2026.\nhttps ://www.conferences-computer.science/reacts/2026/ URL:https://www.conferences-computer.science/reacts/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ReacTS END:VEVENT BEGIN:VEVENT UID:reacts-2026-notification@conferences-computer.science DTSTAMP:20260813T132601Z DTSTART;VALUE=DATE:20261016 DTEND;VALUE=DATE:20261017 SUMMARY:ReacTS 2026 — notification DESCRIPTION:3rd International Workshop on Reconfigurable Transition Systems : Semantics\, Logics and Applications\nNo time zone stated by the organise rs\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conferen ce site.\nHeld in Valletta\, Malta.\nConference dates: 24 Nov 2026.\nhttps ://www.conferences-computer.science/reacts/2026/ URL:https://www.conferences-computer.science/reacts/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ReacTS END:VEVENT BEGIN:VEVENT UID:rp-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260630 DTEND;VALUE=DATE:20260701 SUMMARY:RP 2026 — paper deadline DESCRIPTION:20th International Conference on Reachability Problems\nDeadlin e stated in AoE.\nShown as an all-day event: the deadline is a moment\, no t a day\, so check the exact time on the conference site.\nExtended from 2 1 June 2026.\nHeld in Turku\, Finland.\nConference dates: 21–23 Oct 2026 .\nhttps://www.conferences-computer.science/rp/2026/ URL:https://www.conferences-computer.science/rp/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,RP END:VEVENT BEGIN:VEVENT UID:rp-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260803 DTEND;VALUE=DATE:20260804 SUMMARY:RP 2026 — notification DESCRIPTION:20th International Conference on Reachability Problems\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nSho wn as an all-day event: the deadline is a moment\, not a day\, so check th e exact time on the conference site.\nHeld in Turku\, Finland.\nConference dates: 21–23 Oct 2026.\nhttps://www.conferences-computer.science/rp/202 6/ URL:https://www.conferences-computer.science/rp/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,RP END:VEVENT BEGIN:VEVENT UID:rtas-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251113 DTEND;VALUE=DATE:20251114 SUMMARY:RTAS 2026 — paper deadline DESCRIPTION:32nd IEEE Real-Time and Embedded Technology and Applications Sy mposium\nDeadline stated in UTC-12.\nShown as an all-day event: the deadli ne is a moment\, not a day\, so check the exact time on the conference sit e.\nHeld in Saint-Malo\, Bretagne\, France.\nConference dates: 12–14 May 2026.\nhttps://www.conferences-computer.science/rtas/2026/ URL:https://www.conferences-computer.science/rtas/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,RTAS END:VEVENT BEGIN:VEVENT UID:rtas-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260129 DTEND;VALUE=DATE:20260130 SUMMARY:RTAS 2026 — notification DESCRIPTION:32nd IEEE Real-Time and Embedded Technology and Applications Sy mposium\nNo time zone stated by the organisers\; this site assumes Anywher e on Earth.\nShown as an all-day event: the deadline is a moment\, not a d ay\, so check the exact time on the conference site.\nHeld in Saint-Malo\, Bretagne\, France.\nConference dates: 12–14 May 2026.\nhttps://www.conf erences-computer.science/rtas/2026/ URL:https://www.conferences-computer.science/rtas/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,RTAS END:VEVENT BEGIN:VEVENT UID:rtcsa-2026-abstract@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20260325 DTEND;VALUE=DATE:20260326 SUMMARY:RTCSA 2026 — abstract deadline DESCRIPTION:32nd IEEE International Conference on Embedded and Real-Time Co mputing Systems and Applications\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadl ine is a moment\, not a day\, so check the exact time on the conference si te.\nExtended from 06 March 2026.\nHeld in Qingdao\, China.\nConference da tes: 11–13 Aug 2026.\nhttps://www.conferences-computer.science/rtcsa/202 6/ URL:https://www.conferences-computer.science/rtcsa/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,RTCSA END:VEVENT BEGIN:VEVENT UID:rtcsa-2026-paper@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20260325 DTEND;VALUE=DATE:20260326 SUMMARY:RTCSA 2026 — paper deadline DESCRIPTION:32nd IEEE International Conference on Embedded and Real-Time Co mputing Systems and Applications\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadl ine is a moment\, not a day\, so check the exact time on the conference si te.\nExtended from 13 March 2026.\nHeld in Qingdao\, China.\nConference da tes: 11–13 Aug 2026.\nhttps://www.conferences-computer.science/rtcsa/202 6/ URL:https://www.conferences-computer.science/rtcsa/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,RTCSA END:VEVENT BEGIN:VEVENT UID:rtcsa-2026-notification@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20260504 DTEND;VALUE=DATE:20260505 SUMMARY:RTCSA 2026 — notification DESCRIPTION:32nd IEEE International Conference on Embedded and Real-Time Co mputing Systems and Applications\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadl ine is a moment\, not a day\, so check the exact time on the conference si te.\nHeld in Qingdao\, China.\nConference dates: 11–13 Aug 2026.\nhttps: //www.conferences-computer.science/rtcsa/2026/ URL:https://www.conferences-computer.science/rtcsa/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,RTCSA END:VEVENT BEGIN:VEVENT UID:rtns-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260604 DTEND;VALUE=DATE:20260605 SUMMARY:RTNS 2026 — paper deadline DESCRIPTION:34th International Conference on Real-Time Networks and Systems \nNo time zone stated by the organisers\; this site assumes Anywhere on Ea rth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Toulouse\, France.\ nConference dates: 4–6 Nov 2026.\nhttps://www.conferences-computer.scien ce/rtns/2026/ URL:https://www.conferences-computer.science/rtns/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,RTNS END:VEVENT BEGIN:VEVENT UID:rtns-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260717 DTEND;VALUE=DATE:20260718 SUMMARY:RTNS 2026 — notification DESCRIPTION:34th International Conference on Real-Time Networks and Systems \nNo time zone stated by the organisers\; this site assumes Anywhere on Ea rth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Toulouse\, France.\ nConference dates: 4–6 Nov 2026.\nhttps://www.conferences-computer.scien ce/rtns/2026/ URL:https://www.conferences-computer.science/rtns/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,RTNS END:VEVENT BEGIN:VEVENT UID:rtss-2026-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260521 DTEND;VALUE=DATE:20260522 SUMMARY:RTSS 2026 — abstract deadline DESCRIPTION:47th IEEE Real-Time Systems Symposium\nDeadline stated in AoE.\ nShown as an all-day event: the deadline is a moment\, not a day\, so chec k the exact time on the conference site.\nHeld in Yokohama\, Japan.\nConfe rence dates: 9–11 Dec 2026.\nhttps://www.conferences-computer.science/rt ss/2026/ URL:https://www.conferences-computer.science/rtss/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,RTSS END:VEVENT BEGIN:VEVENT UID:rtss-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260526 DTEND;VALUE=DATE:20260527 SUMMARY:RTSS 2026 — paper deadline DESCRIPTION:47th IEEE Real-Time Systems Symposium\nDeadline stated in AoE.\ nShown as an all-day event: the deadline is a moment\, not a day\, so chec k the exact time on the conference site.\nHeld in Yokohama\, Japan.\nConfe rence dates: 9–11 Dec 2026.\nhttps://www.conferences-computer.science/rt ss/2026/ URL:https://www.conferences-computer.science/rtss/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,RTSS END:VEVENT BEGIN:VEVENT UID:rtss-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260725 DTEND;VALUE=DATE:20260726 SUMMARY:RTSS 2026 — notification DESCRIPTION:47th IEEE Real-Time Systems Symposium\nNo time zone stated by t he organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on t he conference site.\nHeld in Yokohama\, Japan.\nConference dates: 9–11 D ec 2026.\nhttps://www.conferences-computer.science/rtss/2026/ URL:https://www.conferences-computer.science/rtss/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,RTSS END:VEVENT BEGIN:VEVENT UID:rv-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260614 DTEND;VALUE=DATE:20260615 SUMMARY:RV 2026 — paper deadline DESCRIPTION:26th International Conference on Runtime Verification\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nExtended from 31 May 2026.\nHeld in Kingston\, Canada.\nConference dates: 6–9 Oct 2026.\ nhttps://www.conferences-computer.science/rv/2026/ URL:https://www.conferences-computer.science/rv/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,RV END:VEVENT BEGIN:VEVENT UID:rv-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260730 DTEND;VALUE=DATE:20260731 SUMMARY:RV 2026 — notification DESCRIPTION:26th International Conference on Runtime Verification\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShow n as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nExtended from 16 July 2026.\nHeld in Kingston\, Canada.\nConference dates: 6–9 Oct 2026.\nhttps://www.confere nces-computer.science/rv/2026/ URL:https://www.conferences-computer.science/rv/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,RV END:VEVENT BEGIN:VEVENT UID:s-and-p-2026-abstract@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20251106 DTEND;VALUE=DATE:20251107 SUMMARY:S&P 2026 — abstract deadline DESCRIPTION:47th IEEE Symposium on Security and Privacy\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, s o check the exact time on the conference site.\nHeld in San Francisco\, CA \, USA.\nConference dates: 18–21 May 2026.\nhttps://www.conferences-comp uter.science/s-and-p/2026/ URL:https://www.conferences-computer.science/s-and-p/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,S&P END:VEVENT BEGIN:VEVENT UID:s-and-p-2026-paper@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20251113 DTEND;VALUE=DATE:20251114 SUMMARY:S&P 2026 — paper deadline DESCRIPTION:47th IEEE Symposium on Security and Privacy\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, s o check the exact time on the conference site.\nHeld in San Francisco\, CA \, USA.\nConference dates: 18–21 May 2026.\nhttps://www.conferences-comp uter.science/s-and-p/2026/ URL:https://www.conferences-computer.science/s-and-p/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,S&P END:VEVENT BEGIN:VEVENT UID:s-and-p-2026-notification@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20260319 DTEND;VALUE=DATE:20260320 SUMMARY:S&P 2026 — notification DESCRIPTION:47th IEEE Symposium on Security and Privacy\nNo time zone state d by the organisers\; this site assumes Anywhere on Earth.\nShown as an al l-day event: the deadline is a moment\, not a day\, so check the exact tim e on the conference site.\nHeld in San Francisco\, CA\, USA.\nConference d ates: 18–21 May 2026.\nhttps://www.conferences-computer.science/s-and-p/ 2026/ URL:https://www.conferences-computer.science/s-and-p/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,S&P END:VEVENT BEGIN:VEVENT UID:sac-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251017 DTEND;VALUE=DATE:20251018 SUMMARY:SAC 2026 — paper deadline DESCRIPTION:41st ACM/SIGAPP Symposium On Applied Computing\nDeadline stated in EST.\nShown as an all-day event: the deadline is a moment\, not a day\ , so check the exact time on the conference site.\nExtended from 26 Septem ber 2025.\nHeld in Thessaloniki\, Greece.\nConference dates: 23–27 Mar 2 026.\nhttps://www.conferences-computer.science/sac/2026/ URL:https://www.conferences-computer.science/sac/2026/ SEQUENCE:2 TRANSP:TRANSPARENT CATEGORIES:Deadline,SAC END:VEVENT BEGIN:VEVENT UID:sac-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251121 DTEND;VALUE=DATE:20251122 SUMMARY:SAC 2026 — notification DESCRIPTION:41st ACM/SIGAPP Symposium On Applied Computing\nNo time zone st ated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nExtended from 31 October 2025.\nHeld in Thes saloniki\, Greece.\nConference dates: 23–27 Mar 2026.\nhttps://www.confe rences-computer.science/sac/2026/ URL:https://www.conferences-computer.science/sac/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,SAC END:VEVENT BEGIN:VEVENT UID:sbmf-2025-abstract@conferences-computer.science DTSTAMP:20260814T092040Z DTSTART;VALUE=DATE:20250815 DTEND;VALUE=DATE:20250816 SUMMARY:SBMF 2025 — abstract deadline DESCRIPTION:28th Brazilian Symposium on Formal Methods\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all -day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nExtended from 01 August 2025.\nHeld in Recife - Pernambuco\, Brazil.\nConference dates: 3–5 Dec 2025.\nhttps://www.confe rences-computer.science/sbmf/2025/ URL:https://www.conferences-computer.science/sbmf/2025/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,SBMF END:VEVENT BEGIN:VEVENT UID:sbmf-2025-paper@conferences-computer.science DTSTAMP:20260814T092040Z DTSTART;VALUE=DATE:20250815 DTEND;VALUE=DATE:20250816 SUMMARY:SBMF 2025 — paper deadline DESCRIPTION:28th Brazilian Symposium on Formal Methods\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all -day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nExtended from 08 August 2025.\nHeld in Recife - Pernambuco\, Brazil.\nConference dates: 3–5 Dec 2025.\nhttps://www.confe rences-computer.science/sbmf/2025/ URL:https://www.conferences-computer.science/sbmf/2025/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,SBMF END:VEVENT BEGIN:VEVENT UID:sbmf-2025-notification@conferences-computer.science DTSTAMP:20260814T092040Z DTSTART;VALUE=DATE:20250926 DTEND;VALUE=DATE:20250927 SUMMARY:SBMF 2025 — notification DESCRIPTION:28th Brazilian Symposium on Formal Methods\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all -day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Recife - Pernambuco\, Brazil.\nConferenc e dates: 3–5 Dec 2025.\nhttps://www.conferences-computer.science/sbmf/20 25/ URL:https://www.conferences-computer.science/sbmf/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,SBMF END:VEVENT BEGIN:VEVENT UID:sbmf-2026-abstract@conferences-computer.science DTSTAMP:20260814T091821Z DTSTART;VALUE=DATE:20260814 DTEND;VALUE=DATE:20260815 SUMMARY:SBMF 2026 — abstract deadline DESCRIPTION:29th Brazilian Symposium on Formal Methods\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all -day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nExtended from 31 July 2026.\nHeld in Rio de Jane iro\, Brazil.\nConference dates: 1–4 Dec 2026.\nhttps://www.conferences- computer.science/sbmf/2026/ URL:https://www.conferences-computer.science/sbmf/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,SBMF END:VEVENT BEGIN:VEVENT UID:sbmf-2026-paper@conferences-computer.science DTSTAMP:20260814T091821Z DTSTART;VALUE=DATE:20260814 DTEND;VALUE=DATE:20260815 SUMMARY:SBMF 2026 — paper deadline DESCRIPTION:29th Brazilian Symposium on Formal Methods\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all -day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nExtended from 06 August 2026.\nHeld in Rio de Ja neiro\, Brazil.\nConference dates: 1–4 Dec 2026.\nhttps://www.conference s-computer.science/sbmf/2026/ URL:https://www.conferences-computer.science/sbmf/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,SBMF END:VEVENT BEGIN:VEVENT UID:sbmf-2026-notification@conferences-computer.science DTSTAMP:20260814T091821Z DTSTART;VALUE=DATE:20260925 DTEND;VALUE=DATE:20260926 SUMMARY:SBMF 2026 — notification DESCRIPTION:29th Brazilian Symposium on Formal Methods\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all -day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Rio de Janeiro\, Brazil.\nConference dat es: 1–4 Dec 2026.\nhttps://www.conferences-computer.science/sbmf/2026/ URL:https://www.conferences-computer.science/sbmf/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,SBMF END:VEVENT BEGIN:VEVENT UID:sefm-2026-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260623 DTEND;VALUE=DATE:20260624 SUMMARY:SEFM 2026 — abstract deadline DESCRIPTION:24th International Conference on Software Engineering and Forma l Methods\nDeadline stated in AoE.\nShown as an all-day event: the deadlin e is a moment\, not a day\, so check the exact time on the conference site .\nExtended from 16 June 2026.\nHeld in Malta.\nConference dates: 23–27 Nov 2026.\nhttps://www.conferences-computer.science/sefm/2026/ URL:https://www.conferences-computer.science/sefm/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260630 DTEND;VALUE=DATE:20260701 SUMMARY:SEFM 2026 — paper deadline DESCRIPTION:24th International Conference on Software Engineering and Forma l Methods\nDeadline stated in AoE.\nShown as an all-day event: the deadlin e is a moment\, not a day\, so check the exact time on the conference site .\nExtended from 23 June 2026.\nHeld in Malta.\nConference dates: 23–27 Nov 2026.\nhttps://www.conferences-computer.science/sefm/2026/ URL:https://www.conferences-computer.science/sefm/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260830 DTEND;VALUE=DATE:20260831 SUMMARY:SEFM 2026 — notification DESCRIPTION:24th International Conference on Software Engineering and Forma l Methods\nNo time zone stated by the organisers\; this site assumes Anywh ere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Malta.\nCo nference dates: 23–27 Nov 2026.\nhttps://www.conferences-computer.scienc e/sefm/2026/ URL:https://www.conferences-computer.science/sefm/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,SEFM END:VEVENT BEGIN:VEVENT UID:setta-2025-abstract@conferences-computer.science DTSTAMP:20260813T131426Z DTSTART;VALUE=DATE:20250820 DTEND;VALUE=DATE:20250821 SUMMARY:SETTA 2025 — abstract deadline DESCRIPTION:Symposium on Dependable Software Engineering: Theories\, Tools and Applications\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conferen ce site.\nHeld in Oxford\, England.\nConference dates: 1–3 Dec 2025.\nht tps://www.conferences-computer.science/setta/2025/ URL:https://www.conferences-computer.science/setta/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,SETTA END:VEVENT BEGIN:VEVENT UID:setta-2025-paper@conferences-computer.science DTSTAMP:20260813T131426Z DTSTART;VALUE=DATE:20250830 DTEND;VALUE=DATE:20250831 SUMMARY:SETTA 2025 — paper deadline DESCRIPTION:Symposium on Dependable Software Engineering: Theories\, Tools and Applications\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conferen ce site.\nExtended from 20 August 2025.\nHeld in Oxford\, England.\nConfer ence dates: 1–3 Dec 2025.\nhttps://www.conferences-computer.science/sett a/2025/ URL:https://www.conferences-computer.science/setta/2025/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,SETTA END:VEVENT BEGIN:VEVENT UID:setta-2025-notification@conferences-computer.science DTSTAMP:20260813T131426Z DTSTART;VALUE=DATE:20251008 DTEND;VALUE=DATE:20251009 SUMMARY:SETTA 2025 — notification DESCRIPTION:Symposium on Dependable Software Engineering: Theories\, Tools and Applications\nNo time zone stated by the organisers\; this site assume s Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\ , not a day\, so check the exact time on the conference site.\nHeld in Oxf ord\, England.\nConference dates: 1–3 Dec 2025.\nhttps://www.conferences -computer.science/setta/2025/ URL:https://www.conferences-computer.science/setta/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,SETTA END:VEVENT BEGIN:VEVENT UID:setta-2026-paper-round1@conferences-computer.science DTSTAMP:20260813T130833Z DTSTART;VALUE=DATE:20260524 DTEND;VALUE=DATE:20260525 SUMMARY:SETTA 2026 — Round 1 paper deadline DESCRIPTION:12th International Symposium on Dependable Software Engineering : Theories\, Tools and Applications\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact t ime on the conference site.\nExtended from 10 May 2026.\nHeld in Singapore .\nConference dates: 2–4 Dec 2026.\nhttps://www.conferences-computer.sci ence/setta/2026/ URL:https://www.conferences-computer.science/setta/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,SETTA END:VEVENT BEGIN:VEVENT UID:setta-2026-notification-round1@conferences-computer.science DTSTAMP:20260813T130833Z DTSTART;VALUE=DATE:20260714 DTEND;VALUE=DATE:20260715 SUMMARY:SETTA 2026 — Round 1 notification DESCRIPTION:12th International Symposium on Dependable Software Engineering : Theories\, Tools and Applications\nNo time zone stated by the organisers \; this site assumes Anywhere on Earth.\nShown as an all-day event: the de adline is a moment\, not a day\, so check the exact time on the conference site.\nExtended from 30 June 2026.\nHeld in Singapore.\nConference dates: 2–4 Dec 2026.\nhttps://www.conferences-computer.science/setta/2026/ URL:https://www.conferences-computer.science/setta/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,SETTA END:VEVENT BEGIN:VEVENT UID:setta-2026-paper-round2@conferences-computer.science DTSTAMP:20260813T130833Z DTSTART;VALUE=DATE:20260824 DTEND;VALUE=DATE:20260825 SUMMARY:SETTA 2026 — Round 2 paper deadline DESCRIPTION:12th International Symposium on Dependable Software Engineering : Theories\, Tools and Applications\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact t ime on the conference site.\nExtended from 10 August 2026.\nHeld in Singap ore.\nConference dates: 2–4 Dec 2026.\nhttps://www.conferences-computer. science/setta/2026/ URL:https://www.conferences-computer.science/setta/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,SETTA END:VEVENT BEGIN:VEVENT UID:setta-2026-notification-round2@conferences-computer.science DTSTAMP:20260813T130833Z DTSTART;VALUE=DATE:20260930 DTEND;VALUE=DATE:20261001 SUMMARY:SETTA 2026 — Round 2 notification DESCRIPTION:12th International Symposium on Dependable Software Engineering : Theories\, Tools and Applications\nNo time zone stated by the organisers \; this site assumes Anywhere on Earth.\nShown as an all-day event: the de adline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Singapore.\nConference dates: 2–4 Dec 2026.\nhttps://www .conferences-computer.science/setta/2026/ URL:https://www.conferences-computer.science/setta/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,SETTA END:VEVENT BEGIN:VEVENT UID:soict-2025-abstract@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20250905 DTEND;VALUE=DATE:20250906 SUMMARY:SoICT 2025 — abstract deadline DESCRIPTION:14th International Symposium on Information and Communication T echnology\nNo time zone stated by the organisers\; this site assumes Anywh ere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Nha Trang\ , Việt Nam.\nConference dates: 12–14 Dec 2025.\nhttps://www.conference s-computer.science/soict/2025/ URL:https://www.conferences-computer.science/soict/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,SoICT END:VEVENT BEGIN:VEVENT UID:soict-2025-paper@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20250915 DTEND;VALUE=DATE:20250916 SUMMARY:SoICT 2025 — paper deadline DESCRIPTION:14th International Symposium on Information and Communication T echnology\nNo time zone stated by the organisers\; this site assumes Anywh ere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Nha Trang\ , Việt Nam.\nConference dates: 12–14 Dec 2025.\nhttps://www.conference s-computer.science/soict/2025/ URL:https://www.conferences-computer.science/soict/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,SoICT END:VEVENT BEGIN:VEVENT UID:soict-2025-notification@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20251015 DTEND;VALUE=DATE:20251016 SUMMARY:SoICT 2025 — notification DESCRIPTION:14th International Symposium on Information and Communication T echnology\nNo time zone stated by the organisers\; this site assumes Anywh ere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Nha Trang\ , Việt Nam.\nConference dates: 12–14 Dec 2025.\nhttps://www.conference s-computer.science/soict/2025/ URL:https://www.conferences-computer.science/soict/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,SoICT END:VEVENT BEGIN:VEVENT UID:spin-2026-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260115 DTEND;VALUE=DATE:20260116 SUMMARY:SPIN 2026 — abstract deadline DESCRIPTION:32nd International Symposium on Model Checking Software\nDeadli ne stated in AoE.\nShown as an all-day event: the deadline is a moment\, n ot a day\, so check the exact time on the conference site.\nHeld in Torino \, Italy.\nConference dates: 15–16 Apr 2026.\nhttps://www.conferences-co mputer.science/spin/2026/ URL:https://www.conferences-computer.science/spin/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,SPIN END:VEVENT BEGIN:VEVENT UID:spin-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260122 DTEND;VALUE=DATE:20260123 SUMMARY:SPIN 2026 — paper deadline DESCRIPTION:32nd International Symposium on Model Checking Software\nDeadli ne stated in AoE.\nShown as an all-day event: the deadline is a moment\, n ot a day\, so check the exact time on the conference site.\nHeld in Torino \, Italy.\nConference dates: 15–16 Apr 2026.\nhttps://www.conferences-co mputer.science/spin/2026/ URL:https://www.conferences-computer.science/spin/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,SPIN END:VEVENT BEGIN:VEVENT UID:spin-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260305 DTEND;VALUE=DATE:20260306 SUMMARY:SPIN 2026 — notification DESCRIPTION:32nd International Symposium on Model Checking Software\nNo tim e zone stated by the organisers\; this site assumes Anywhere on Earth.\nSh own as an all-day event: the deadline is a moment\, not a day\, so check t he exact time on the conference site.\nHeld in Torino\, Italy.\nConference dates: 15–16 Apr 2026.\nhttps://www.conferences-computer.science/spin/2 026/ URL:https://www.conferences-computer.science/spin/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,SPIN END:VEVENT BEGIN:VEVENT UID:stacs-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250925 DTEND;VALUE=DATE:20250926 SUMMARY:STACS 2026 — paper deadline DESCRIPTION:43rd International Symposium on Theoretical Aspects of Computer Science\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site. \nHeld in Grenoble\, France.\nConference dates: 10–13 Mar 2026.\nhttps:/ /www.conferences-computer.science/stacs/2026/ URL:https://www.conferences-computer.science/stacs/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,STACS END:VEVENT BEGIN:VEVENT UID:stacs-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251212 DTEND;VALUE=DATE:20251213 SUMMARY:STACS 2026 — notification DESCRIPTION:43rd International Symposium on Theoretical Aspects of Computer Science\nNo time zone stated by the organisers\; this site assumes Anywhe re on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Grenoble\, France.\nConference dates: 10–13 Mar 2026.\nhttps://www.conferences-comp uter.science/stacs/2026/ URL:https://www.conferences-computer.science/stacs/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,STACS END:VEVENT BEGIN:VEVENT UID:stacs-2027-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20261011 DTEND;VALUE=DATE:20261012 SUMMARY:STACS 2027 — paper deadline DESCRIPTION:44th International Symposium on Theoretical Aspects of Computer Science\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site. \nHeld in Göttingen\, Germany.\nConference dates: 8–12 Mar 2027.\nhttps ://www.conferences-computer.science/stacs/2027/ URL:https://www.conferences-computer.science/stacs/2027/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,STACS END:VEVENT BEGIN:VEVENT UID:stacs-2027-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20261222 DTEND;VALUE=DATE:20261223 SUMMARY:STACS 2027 — notification DESCRIPTION:44th International Symposium on Theoretical Aspects of Computer Science\nNo time zone stated by the organisers\; this site assumes Anywhe re on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Göttingen\ , Germany.\nConference dates: 8–12 Mar 2027.\nhttps://www.conferences-co mputer.science/stacs/2027/ URL:https://www.conferences-computer.science/stacs/2027/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,STACS END:VEVENT BEGIN:VEVENT UID:syncop-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260304 DTEND;VALUE=DATE:20260305 SUMMARY:SynCoP 2026 — paper deadline DESCRIPTION:11th International Workshop on Synthesis of Complex Parameters\ nDeadline stated in AoE.\nShown as an all-day event: the deadline is a mom ent\, not a day\, so check the exact time on the conference site.\nHeld in Torino\, Italy.\nConference dates: 12 Apr 2026.\nhttps://www.conferences- computer.science/syncop/2026/ URL:https://www.conferences-computer.science/syncop/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,SynCoP END:VEVENT BEGIN:VEVENT UID:syncop-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260306 DTEND;VALUE=DATE:20260307 SUMMARY:SynCoP 2026 — notification DESCRIPTION:11th International Workshop on Synthesis of Complex Parameters\ nNo time zone stated by the organisers\; this site assumes Anywhere on Ear th.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Torino\, Italy.\nCon ference dates: 12 Apr 2026.\nhttps://www.conferences-computer.science/sync op/2026/ URL:https://www.conferences-computer.science/syncop/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,SynCoP END:VEVENT BEGIN:VEVENT UID:synt-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260501 DTEND;VALUE=DATE:20260502 SUMMARY:SYNT 2026 — paper deadline DESCRIPTION:15th International Workshop on Synthesis\nDeadline stated in Ao E.\nShown as an all-day event: the deadline is a moment\, not a day\, so c heck the exact time on the conference site.\nHeld in Lisbon\, Portugal.\nC onference dates: 25 Jul 2026.\nhttps://www.conferences-computer.science/sy nt/2026/ URL:https://www.conferences-computer.science/synt/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,SYNT END:VEVENT BEGIN:VEVENT UID:synt-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260514 DTEND;VALUE=DATE:20260515 SUMMARY:SYNT 2026 — notification DESCRIPTION:15th International Workshop on Synthesis\nNo time zone stated b y the organisers\; this site assumes Anywhere on Earth.\nShown as an all-d ay event: the deadline is a moment\, not a day\, so check the exact time o n the conference site.\nHeld in Lisbon\, Portugal.\nConference dates: 25 J ul 2026.\nhttps://www.conferences-computer.science/synt/2026/ URL:https://www.conferences-computer.science/synt/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,SYNT END:VEVENT BEGIN:VEVENT UID:tacas-2026-paper@conferences-computer.science DTSTAMP:20260813T120109Z DTSTART;VALUE=DATE:20251016 DTEND;VALUE=DATE:20251017 SUMMARY:TACAS 2026 — paper deadline DESCRIPTION:32nd International Conference on Tools and Algorithms for the C onstruction and Analysis of Systems\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact t ime on the conference site.\nHeld in Turin\, Italy.\nConference dates: 11 –16 Apr 2026.\nhttps://www.conferences-computer.science/tacas/2026/ URL:https://www.conferences-computer.science/tacas/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,TACAS END:VEVENT BEGIN:VEVENT UID:tacas-2026-notification@conferences-computer.science DTSTAMP:20260813T120109Z DTSTART;VALUE=DATE:20251222 DTEND;VALUE=DATE:20251223 SUMMARY:TACAS 2026 — notification DESCRIPTION:32nd International Conference on Tools and Algorithms for the C onstruction and Analysis of Systems\nNo time zone stated by the organisers \; this site assumes Anywhere on Earth.\nShown as an all-day event: the de adline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Turin\, Italy.\nConference dates: 11–16 Apr 2026.\nhttps ://www.conferences-computer.science/tacas/2026/ URL:https://www.conferences-computer.science/tacas/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,TACAS END:VEVENT BEGIN:VEVENT UID:tap-2026-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251125 DTEND;VALUE=DATE:20251126 SUMMARY:TAP 2026 — abstract deadline DESCRIPTION:Special Track on TAP (Tests and Proofs) of the 27th Internation al Symposium on Formal Methods (FM 2026)\nDeadline stated in AoE.\nShown a s an all-day event: the deadline is a moment\, not a day\, so check the ex act time on the conference site.\nHeld in Tokyo\, Japan.\nConference dates : 18–22 May 2026.\nhttps://www.conferences-computer.science/tap/2026/ URL:https://www.conferences-computer.science/tap/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,TAP END:VEVENT BEGIN:VEVENT UID:tap-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251202 DTEND;VALUE=DATE:20251203 SUMMARY:TAP 2026 — paper deadline DESCRIPTION:Special Track on TAP (Tests and Proofs) of the 27th Internation al Symposium on Formal Methods (FM 2026)\nDeadline stated in AoE.\nShown a s an all-day event: the deadline is a moment\, not a day\, so check the ex act time on the conference site.\nHeld in Tokyo\, Japan.\nConference dates : 18–22 May 2026.\nhttps://www.conferences-computer.science/tap/2026/ URL:https://www.conferences-computer.science/tap/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,TAP END:VEVENT BEGIN:VEVENT UID:tap-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260206 DTEND;VALUE=DATE:20260207 SUMMARY:TAP 2026 — notification DESCRIPTION:Special Track on TAP (Tests and Proofs) of the 27th Internation al Symposium on Formal Methods (FM 2026)\nNo time zone stated by the organ isers\; this site assumes Anywhere on Earth.\nShown as an all-day event: t he deadline is a moment\, not a day\, so check the exact time on the confe rence site.\nHeld in Tokyo\, Japan.\nConference dates: 18–22 May 2026.\n https://www.conferences-computer.science/tap/2026/ URL:https://www.conferences-computer.science/tap/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,TAP END:VEVENT BEGIN:VEVENT UID:tase-2026-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260301 DTEND;VALUE=DATE:20260302 SUMMARY:TASE 2026 — abstract deadline DESCRIPTION:20th International Symposium on Theoretical Aspects of Software Engineering\nDeadline stated in AoE.\nShown as an all-day event: the dead line is a moment\, not a day\, so check the exact time on the conference s ite.\nExtended from 15 February 2026.\nHeld in Shanghai\, China.\nConferen ce dates: 4–6 Jul 2026.\nhttps://www.conferences-computer.science/tase/2 026/ URL:https://www.conferences-computer.science/tase/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,TASE END:VEVENT BEGIN:VEVENT UID:tase-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260307 DTEND;VALUE=DATE:20260308 SUMMARY:TASE 2026 — paper deadline DESCRIPTION:20th International Symposium on Theoretical Aspects of Software Engineering\nDeadline stated in AoE.\nShown as an all-day event: the dead line is a moment\, not a day\, so check the exact time on the conference s ite.\nExtended from 21 February 2026.\nHeld in Shanghai\, China.\nConferen ce dates: 4–6 Jul 2026.\nhttps://www.conferences-computer.science/tase/2 026/ URL:https://www.conferences-computer.science/tase/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,TASE END:VEVENT BEGIN:VEVENT UID:tase-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260401 DTEND;VALUE=DATE:20260402 SUMMARY:TASE 2026 — notification DESCRIPTION:20th International Symposium on Theoretical Aspects of Software Engineering\nNo time zone stated by the organisers\; this site assumes An ywhere on Earth.\nShown as an all-day event: the deadline is a moment\, no t a day\, so check the exact time on the conference site.\nHeld in Shangha i\, China.\nConference dates: 4–6 Jul 2026.\nhttps://www.conferences-com puter.science/tase/2026/ URL:https://www.conferences-computer.science/tase/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,TASE END:VEVENT BEGIN:VEVENT UID:time-2026-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260518 DTEND;VALUE=DATE:20260519 SUMMARY:TIME 2026 — abstract deadline DESCRIPTION:33rd International Symposium on Temporal Representation and Rea soning\nDeadline stated in AoE.\nShown as an all-day event: the deadline i s a moment\, not a day\, so check the exact time on the conference site.\n Extended from 06 May 2026.\nHeld in Cork\, Ireland.\nConference dates: 1 –3 Sep 2026.\nhttps://www.conferences-computer.science/time/2026/ URL:https://www.conferences-computer.science/time/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,TIME END:VEVENT BEGIN:VEVENT UID:time-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260522 DTEND;VALUE=DATE:20260523 SUMMARY:TIME 2026 — paper deadline DESCRIPTION:33rd International Symposium on Temporal Representation and Rea soning\nDeadline stated in AoE.\nShown as an all-day event: the deadline i s a moment\, not a day\, so check the exact time on the conference site.\n Extended from 11 May 2026.\nHeld in Cork\, Ireland.\nConference dates: 1 –3 Sep 2026.\nhttps://www.conferences-computer.science/time/2026/ URL:https://www.conferences-computer.science/time/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,TIME END:VEVENT BEGIN:VEVENT UID:time-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260622 DTEND;VALUE=DATE:20260623 SUMMARY:TIME 2026 — notification DESCRIPTION:33rd International Symposium on Temporal Representation and Rea soning\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\, not a da y\, so check the exact time on the conference site.\nHeld in Cork\, Irelan d.\nConference dates: 1–3 Sep 2026.\nhttps://www.conferences-computer.sc ience/time/2026/ URL:https://www.conferences-computer.science/time/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,TIME END:VEVENT BEGIN:VEVENT UID:valuetools-2025-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250912 DTEND;VALUE=DATE:20250913 SUMMARY:VALUETOOLS 2025 — abstract deadline DESCRIPTION:18th EAI International Conference on Performance Evaluation Met hodologies and Tools\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conf erence site.\nExtended from 15 August 2025.\nHeld in Glasgow\, Scotland.\n Conference dates: 11–12 Dec 2025.\nhttps://www.conferences-computer.scie nce/valuetools/2025/ URL:https://www.conferences-computer.science/valuetools/2025/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,VALUETOOLS END:VEVENT BEGIN:VEVENT UID:valuetools-2025-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250917 DTEND;VALUE=DATE:20250918 SUMMARY:VALUETOOLS 2025 — paper deadline DESCRIPTION:18th EAI International Conference on Performance Evaluation Met hodologies and Tools\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conf erence site.\nExtended from 15 August 2025.\nHeld in Glasgow\, Scotland.\n Conference dates: 11–12 Dec 2025.\nhttps://www.conferences-computer.scie nce/valuetools/2025/ URL:https://www.conferences-computer.science/valuetools/2025/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,VALUETOOLS END:VEVENT BEGIN:VEVENT UID:valuetools-2025-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251027 DTEND;VALUE=DATE:20251028 SUMMARY:VALUETOOLS 2025 — notification DESCRIPTION:18th EAI International Conference on Performance Evaluation Met hodologies and Tools\nNo time zone stated by the organisers\; this site as sumes Anywhere on Earth.\nShown as an all-day event: the deadline is a mom ent\, not a day\, so check the exact time on the conference site.\nExtende d from 30 September 2025.\nHeld in Glasgow\, Scotland.\nConference dates: 11–12 Dec 2025.\nhttps://www.conferences-computer.science/valuetools/202 5/ URL:https://www.conferences-computer.science/valuetools/2025/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,VALUETOOLS END:VEVENT BEGIN:VEVENT UID:vecos-2025-notification@conferences-computer.science DTSTAMP:20260814T101956Z DTSTART;VALUE=DATE:20250901 DTEND;VALUE=DATE:20250902 SUMMARY:VECoS 2025 — notification DESCRIPTION:18th International Conference on Verification and Evaluation of Computer and Communication Systems\nNo time zone stated by the organisers \; this site assumes Anywhere on Earth.\nShown as an all-day event: the de adline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Saclay\, France.\nConference dates: 4–6 Nov 2025.\nhttps ://www.conferences-computer.science/vecos/2025/ URL:https://www.conferences-computer.science/vecos/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,VECoS END:VEVENT BEGIN:VEVENT UID:vecos-2026-paper@conferences-computer.science DTSTAMP:20260814T101141Z DTSTART;VALUE=DATE:20260720 DTEND;VALUE=DATE:20260721 SUMMARY:VECoS 2026 — paper deadline DESCRIPTION:19th International Conference on Verification and Evaluation of Computer and Communication Systems\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact t ime on the conference site.\nExtended from 22 June 2026.\nHeld in Amsterda m\, Netherlands.\nConference dates: 19–20 Nov 2026.\nhttps://www.confere nces-computer.science/vecos/2026/ URL:https://www.conferences-computer.science/vecos/2026/ SEQUENCE:2 TRANSP:TRANSPARENT CATEGORIES:Deadline,VECoS END:VEVENT BEGIN:VEVENT UID:vecos-2026-notification@conferences-computer.science DTSTAMP:20260814T101141Z DTSTART;VALUE=DATE:20260907 DTEND;VALUE=DATE:20260908 SUMMARY:VECoS 2026 — notification DESCRIPTION:19th International Conference on Verification and Evaluation of Computer and Communication Systems\nNo time zone stated by the organisers \; this site assumes Anywhere on Earth.\nShown as an all-day event: the de adline is a moment\, not a day\, so check the exact time on the conference site.\nExtended from 22 July 2026.\nHeld in Amsterdam\, Netherlands.\nCon ference dates: 19–20 Nov 2026.\nhttps://www.conferences-computer.science /vecos/2026/ URL:https://www.conferences-computer.science/vecos/2026/ SEQUENCE:2 TRANSP:TRANSPARENT CATEGORIES:Deadline,VECoS END:VEVENT BEGIN:VEVENT UID:vmcai-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250915 DTEND;VALUE=DATE:20250916 SUMMARY:VMCAI 2026 — paper deadline DESCRIPTION:27th International Conference on Verification\, Model Checking\ , and Abstract Interpretation\nDeadline stated in AoE.\nShown as an all-da y event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nExtended from 10 September 2025.\nHeld in Rennes\, Bretagne\, France.\nConference dates: 12–13 Jan 2026.\nhttps://www.confe rences-computer.science/vmcai/2026/ URL:https://www.conferences-computer.science/vmcai/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,VMCAI END:VEVENT BEGIN:VEVENT UID:vmcai-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251106 DTEND;VALUE=DATE:20251107 SUMMARY:VMCAI 2026 — notification DESCRIPTION:27th International Conference on Verification\, Model Checking\ , and Abstract Interpretation\nNo time zone stated by the organisers\; thi s site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site. \nHeld in Rennes\, Bretagne\, France.\nConference dates: 12–13 Jan 2026. \nhttps://www.conferences-computer.science/vmcai/2026/ URL:https://www.conferences-computer.science/vmcai/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,VMCAI END:VEVENT BEGIN:VEVENT UID:vstte-2025-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250831 DTEND;VALUE=DATE:20250901 SUMMARY:VSTTE 2025 — notification DESCRIPTION:17th International Conference on Verified Software: Theories\, Tools and Experiments\nNo time zone stated by the organisers\; this site a ssumes Anywhere on Earth.\nShown as an all-day event: the deadline is a mo ment\, not a day\, so check the exact time on the conference site.\nHeld i n Menlo Park\, California\, USA.\nConference dates: 6–7 Oct 2025.\nhttps ://www.conferences-computer.science/vstte/2025/ URL:https://www.conferences-computer.science/vstte/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,VSTTE END:VEVENT BEGIN:VEVENT UID:vstte-2026-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260717 DTEND;VALUE=DATE:20260718 SUMMARY:VSTTE 2026 — abstract deadline DESCRIPTION:18th International Conference on Verified Software: Theories\, Tools and Experiments\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the con ference site.\nExtended from 10 July 2026.\nHeld in Graz\, Austria.\nConfe rence dates: 14 Sep 2026.\nhttps://www.conferences-computer.science/vstte/ 2026/ URL:https://www.conferences-computer.science/vstte/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,VSTTE END:VEVENT BEGIN:VEVENT UID:vstte-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260724 DTEND;VALUE=DATE:20260725 SUMMARY:VSTTE 2026 — paper deadline DESCRIPTION:18th International Conference on Verified Software: Theories\, Tools and Experiments\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the con ference site.\nExtended from 17 July 2026.\nHeld in Graz\, Austria.\nConfe rence dates: 14 Sep 2026.\nhttps://www.conferences-computer.science/vstte/ 2026/ URL:https://www.conferences-computer.science/vstte/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,VSTTE END:VEVENT BEGIN:VEVENT UID:vstte-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260822 DTEND;VALUE=DATE:20260823 SUMMARY:VSTTE 2026 — notification DESCRIPTION:18th International Conference on Verified Software: Theories\, Tools and Experiments\nNo time zone stated by the organisers\; this site a ssumes Anywhere on Earth.\nShown as an all-day event: the deadline is a mo ment\, not a day\, so check the exact time on the conference site.\nHeld i n Graz\, Austria.\nConference dates: 14 Sep 2026.\nhttps://www.conferences -computer.science/vstte/2026/ URL:https://www.conferences-computer.science/vstte/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,VSTTE END:VEVENT BEGIN:VEVENT UID:yr-concur-2026-paper@conferences-computer.science DTSTAMP:20260814T112713Z DTSTART;VALUE=DATE:20260629 DTEND;VALUE=DATE:20260630 SUMMARY:YR-CONCUR 2026 — paper deadline DESCRIPTION:12th International Young Researchers Workshop on Concurrency Th eory\nNo time zone stated by the organisers\; this site assumes Anywhere o n Earth.\nShown as an all-day event: the deadline is a moment\, not a day\ , so check the exact time on the conference site.\nExtended from 22 June 2 026.\nHeld in Liverpool\, England.\nConference dates: 5 Sep 2026.\nhttps:/ /www.conferences-computer.science/yr-concur/2026/ URL:https://www.conferences-computer.science/yr-concur/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,YR-CONCUR END:VEVENT BEGIN:VEVENT UID:yr-concur-2026-notification@conferences-computer.science DTSTAMP:20260814T112713Z DTSTART;VALUE=DATE:20260715 DTEND;VALUE=DATE:20260716 SUMMARY:YR-CONCUR 2026 — notification DESCRIPTION:12th International Young Researchers Workshop on Concurrency Th eory\nNo time zone stated by the organisers\; this site assumes Anywhere o n Earth.\nShown as an all-day event: the deadline is a moment\, not a day\ , so check the exact time on the conference site.\nHeld in Liverpool\, Eng land.\nConference dates: 5 Sep 2026.\nhttps://www.conferences-computer.sci ence/yr-concur/2026/ URL:https://www.conferences-computer.science/yr-concur/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,YR-CONCUR END:VEVENT END:VCALENDAR