BEGIN:VCALENDAR VERSION:2.0 PRODID:-//conferences-computer.science//EN CALSCALE:GREGORIAN METHOD:PUBLISH X-WR-CALNAME:CS conferences X-WR-CALDESC:When theoretical computer science conferences actually meet. h ttps://www.conferences-computer.science X-PUBLISHED-TTL:PT12H REFRESH-INTERVAL;VALUE=DURATION:PT12H BEGIN:VEVENT UID:30-years-of-uppaal-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251101 DTEND;VALUE=DATE:20251105 SUMMARY:30 Years of UPPAAL 2025 — Rhodes\, Greece DESCRIPTION:30 Years of UPPAAL Workshop at AISoLA 2025\nHeld in Rhodes\, Gr eece.\nPaper deadline was 18 October 2025.\nhttps://www.conferences-comput er.science/30-years-of-uppaal/2025/ URL:https://www.conferences-computer.science/30-years-of-uppaal/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,30 Years of UPPAAL END:VEVENT BEGIN:VEVENT UID:aamas-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260525 DTEND;VALUE=DATE:20260530 SUMMARY:AAMAS 2026 — Paphos\, Cyprus DESCRIPTION:25th International Conference on Autonomous Agents and Multiage nt Systems\nHeld in Paphos\, Cyprus.\nPaper deadline was 08 October 2025.\ nhttps://www.conferences-computer.science/aamas/2026/ URL:https://www.conferences-computer.science/aamas/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,AAMAS END:VEVENT BEGIN:VEVENT UID:abz-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260518 DTEND;VALUE=DATE:20260521 SUMMARY:ABZ 2026 — Tokyo\, Japan DESCRIPTION:12th International Conference on Rigorous State Based Methods\n Held in Tokyo\, Japan.\nPaper deadline was 16 February 2026.\nhttps://www. conferences-computer.science/abz/2026/ URL:https://www.conferences-computer.science/abz/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,ABZ END:VEVENT BEGIN:VEVENT UID:acompa-2025-event@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20251127 DTEND;VALUE=DATE:20251130 SUMMARY:ACOMPA 2025 — Hồ-Chí-Minh City\, Việt Nam DESCRIPTION:19th International Conference on Advanced Computing and Analyti cs\nHeld in Hồ-Chí-Minh City\, Việt Nam.\nPaper deadline was 08 Augus t 2025.\nhttps://www.conferences-computer.science/acompa/2025/ URL:https://www.conferences-computer.science/acompa/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,ACOMPA END:VEVENT BEGIN:VEVENT UID:acv-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260724 DTEND;VALUE=DATE:20260726 SUMMARY:ACV 2026 — Lisbon\, Portugal DESCRIPTION:First Workshop on Abstract and Concrete Techniques in Verificat ion\nHeld in Lisbon\, Portugal.\nPaper deadline was 20 May 2026.\nhttps:// www.conferences-computer.science/acv/2026/ URL:https://www.conferences-computer.science/acv/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,ACV END:VEVENT BEGIN:VEVENT UID:aplas-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251027 DTEND;VALUE=DATE:20251031 SUMMARY:APLAS 2025 — Bangalore\, India DESCRIPTION:23rd Asian Symposium on Programming Languages and Systems\nHeld in Bangalore\, India.\nPaper deadline was 31 May 2025.\nhttps://www.confe rences-computer.science/aplas/2025/ URL:https://www.conferences-computer.science/aplas/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,APLAS END:VEVENT BEGIN:VEVENT UID:apsec-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251202 DTEND;VALUE=DATE:20251206 SUMMARY:APSEC 2025 — Macao\, China DESCRIPTION:32nd Asia-Pacific Software Engineering Conference\nHeld in Maca o\, China.\nPaper deadline was 13 July 2025.\nhttps://www.conferences-comp uter.science/apsec/2025/ URL:https://www.conferences-computer.science/apsec/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,APSEC END:VEVENT BEGIN:VEVENT UID:arch-2026-event@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20260603 DTEND;VALUE=DATE:20260604 SUMMARY:ARCH 2026 — Online DESCRIPTION:13th International Workshop on Applied Verification for Continu ous and Hybrid Systems\nHeld in Online.\nPaper deadline was 01 April 2026. \nhttps://www.conferences-computer.science/arch/2026/ URL:https://www.conferences-computer.science/arch/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,ARCH END:VEVENT BEGIN:VEVENT UID:ase-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251116 DTEND;VALUE=DATE:20251121 SUMMARY:ASE 2025 — Seoul\, South Korea DESCRIPTION:40th IEEE/ACM International Conference on Automated Software En gineering\nHeld in Seoul\, South Korea.\nPaper deadline was 30 May 2025.\n https://www.conferences-computer.science/ase/2025/ URL:https://www.conferences-computer.science/ase/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,ASE END:VEVENT BEGIN:VEVENT UID:atva-2025-event@conferences-computer.science DTSTAMP:20260813T150046Z DTSTART;VALUE=DATE:20251027 DTEND;VALUE=DATE:20251031 SUMMARY:ATVA 2025 — Bangalore\, India DESCRIPTION:23rd International Symposium on Automated Technology for Verifi cation and Analysis\nHeld in Bangalore\, India.\nPaper deadline was 25 Apr il 2025.\nhttps://www.conferences-computer.science/atva/2025/ URL:https://www.conferences-computer.science/atva/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2026-event@conferences-computer.science DTSTAMP:20260813T145827Z DTSTART;VALUE=DATE:20261201 DTEND;VALUE=DATE:20261206 SUMMARY:ATVA 2026 — Hong Kong\, China DESCRIPTION:24th International Symposium on Automated Technology for Verifi cation and Analysis\nHeld in Hong Kong\, China.\nPaper deadline was 21 May 2026.\nhttps://www.conferences-computer.science/atva/2026/ URL:https://www.conferences-computer.science/atva/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,ATVA END:VEVENT BEGIN:VEVENT UID:bpm-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250831 DTEND;VALUE=DATE:20250906 SUMMARY:BPM 2025 — Seville\, Spain DESCRIPTION:23rd Business Process Management Conference\nHeld in Seville\, Spain.\nPaper deadline was 11 March 2025.\nhttps://www.conferences-compute r.science/bpm/2025/ URL:https://www.conferences-computer.science/bpm/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,BPM END:VEVENT BEGIN:VEVENT UID:cav-2026-event@conferences-computer.science DTSTAMP:20260813T102855Z DTSTART;VALUE=DATE:20260726 DTEND;VALUE=DATE:20260730 SUMMARY:CAV 2026 — Lisbon\, Portugal DESCRIPTION:38th International Conference on Computer Aided Verification\nH eld in Lisbon\, Portugal.\nPaper deadline was 28 January 2026.\nhttps://ww w.conferences-computer.science/cav/2026/ URL:https://www.conferences-computer.science/cav/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,CAV END:VEVENT BEGIN:VEVENT UID:cdc-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251209 DTEND;VALUE=DATE:20251213 SUMMARY:CDC 2025 — Rio de Janeiro\, Brazil DESCRIPTION:64th IEEE Conference on Decision and Control\nHeld in Rio de Ja neiro\, Brazil.\nPaper deadline was 31 March 2025.\nhttps://www.conference s-computer.science/cdc/2025/ URL:https://www.conferences-computer.science/cdc/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,CDC END:VEVENT BEGIN:VEVENT UID:ciaa-2025-event@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20250922 DTEND;VALUE=DATE:20250926 SUMMARY:CIAA 2025 — Palermo\, Italy DESCRIPTION:29th International Conference Implementation and Application of Automata\nHeld in Palermo\, Italy.\nPaper deadline was 16 May 2025.\nhttp s://www.conferences-computer.science/ciaa/2025/ URL:https://www.conferences-computer.science/ciaa/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,CIAA END:VEVENT BEGIN:VEVENT UID:cmsb-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250910 DTEND;VALUE=DATE:20250913 SUMMARY:CMSB 2025 — Lyon\, France DESCRIPTION:23rd Conference on Computational Methods in Systems Biology\nHe ld in Lyon\, France.\nPaper deadline was 05 May 2025.\nhttps://www.confere nces-computer.science/cmsb/2025/ URL:https://www.conferences-computer.science/cmsb/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,CMSB END:VEVENT BEGIN:VEVENT UID:cmsb-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260724 DTEND;VALUE=DATE:20260726 SUMMARY:CMSB 2026 — Lisbon\, Portugal DESCRIPTION:24th Conference on Computational Methods in Systems Biology\nHe ld in Lisbon\, Portugal.\nPaper deadline was 10 April 2026.\nhttps://www.c onferences-computer.science/cmsb/2026/ URL:https://www.conferences-computer.science/cmsb/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,CMSB END:VEVENT BEGIN:VEVENT UID:concur-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250826 DTEND;VALUE=DATE:20250830 SUMMARY:CONCUR 2025 — Aarhus\, Denmark DESCRIPTION:36th International Conference on Concurrency Theory\nHeld in Aa rhus\, Denmark.\nPaper deadline was 09 April 2025.\nhttps://www.conference s-computer.science/concur/2025/ URL:https://www.conferences-computer.science/concur/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,CONCUR END:VEVENT BEGIN:VEVENT UID:concur-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260901 DTEND;VALUE=DATE:20260905 SUMMARY:CONCUR 2026 — Liverpool\, England DESCRIPTION:37th International Conference on Concurrency Theory\nHeld in Li verpool\, England.\nPaper deadline was 27 April 2026.\nhttps://www.confere nces-computer.science/concur/2026/ URL:https://www.conferences-computer.science/concur/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,CONCUR END:VEVENT BEGIN:VEVENT UID:coordination-2026-event@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20260608 DTEND;VALUE=DATE:20260613 SUMMARY:COORDINATION 2026 — Urbino\, Italy DESCRIPTION:28th International Conference on Coordination Models and Langua ges\nHeld in Urbino\, Italy.\nPaper deadline was 20 February 2026.\nhttps: //www.conferences-computer.science/coordination/2026/ URL:https://www.conferences-computer.science/coordination/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,COORDINATION END:VEVENT BEGIN:VEVENT UID:csf-2026-event@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20260726 DTEND;VALUE=DATE:20260730 SUMMARY:CSF 2026 — Lisbon\, Portugal DESCRIPTION:39th IEEE Computer Security Foundations Symposium\nHeld in Lisb on\, Portugal.\nPaper deadline was 24 July 2025.\nhttps://www.conferences- computer.science/csf/2026/ URL:https://www.conferences-computer.science/csf/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,CSF END:VEVENT BEGIN:VEVENT UID:csl-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260223 DTEND;VALUE=DATE:20260301 SUMMARY:CSL 2026 — Paris\, France DESCRIPTION:International Conference on Computer Science Logic\nHeld in Par is\, France.\nPaper deadline was 21 July 2025.\nhttps://www.conferences-co mputer.science/csl/2026/ URL:https://www.conferences-computer.science/csl/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,CSL END:VEVENT BEGIN:VEVENT UID:csl-2027-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20270125 DTEND;VALUE=DATE:20270130 SUMMARY:CSL 2027 — Brighton\, UK DESCRIPTION:International Conference on Computer Science Logic\nHeld in Bri ghton\, UK.\nPaper deadline was 15 July 2026.\nhttps://www.conferences-com puter.science/csl/2027/ URL:https://www.conferences-computer.science/csl/2027/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,CSL END:VEVENT BEGIN:VEVENT UID:dali-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251020 DTEND;VALUE=DATE:20251022 SUMMARY:DaLí 2025 — Xi’An\, China DESCRIPTION:6th Workshop on Dynamic Logic - New trends and applications\nHe ld in Xi’An\, China.\nPaper deadline was 20 June 2025.\nhttps://www.conf erences-computer.science/dali/2025/ URL:https://www.conferences-computer.science/dali/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,DaLí END:VEVENT BEGIN:VEVENT UID:date-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260420 DTEND;VALUE=DATE:20260423 SUMMARY:DATE 2026 — Verona\, Italy DESCRIPTION:29th Design Automation and Test in Europe Conference\nHeld in V erona\, Italy.\nPaper deadline was 22 September 2025.\nhttps://www.confere nces-computer.science/date/2026/ URL:https://www.conferences-computer.science/date/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,DATE END:VEVENT BEGIN:VEVENT UID:dlt-2025-event@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20250819 DTEND;VALUE=DATE:20250823 SUMMARY:DLT 2025 — Seoul\, South Korea DESCRIPTION:29th International Conference on Developments in Language Theor y\nHeld in Seoul\, South Korea.\nPaper deadline was 14 April 2025.\nhttps: //www.conferences-computer.science/dlt/2025/ URL:https://www.conferences-computer.science/dlt/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,DLT END:VEVENT BEGIN:VEVENT UID:ecrts-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260707 DTEND;VALUE=DATE:20260711 SUMMARY:ECRTS 2026 — Lund\, Sweden DESCRIPTION:38th Euromicro Conference on Real-Time Systems\nHeld in Lund\, Sweden.\nPaper deadline was 26 February 2026.\nhttps://www.conferences-com puter.science/ecrts/2026/ URL:https://www.conferences-computer.science/ecrts/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,ECRTS END:VEVENT BEGIN:VEVENT UID:emsoft-2025-event@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20250928 DTEND;VALUE=DATE:20251004 SUMMARY:EMSOFT 2025 — Taipei\, Taiwan DESCRIPTION:25th International Conference on Embedded Software\nHeld in Tai pei\, Taiwan.\nPaper deadline was 30 March 2025.\nhttps://www.conferences- computer.science/emsoft/2025/ URL:https://www.conferences-computer.science/emsoft/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,EMSOFT END:VEVENT BEGIN:VEVENT UID:emsoft-2026-event@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20261004 DTEND;VALUE=DATE:20261010 SUMMARY:EMSOFT 2026 — Barcelona\, Spain DESCRIPTION:26th International Conference on Embedded Software\nHeld in Bar celona\, Spain.\nPaper deadline was 30 March 2026.\nhttps://www.conference s-computer.science/emsoft/2026/ URL:https://www.conferences-computer.science/emsoft/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,EMSOFT END:VEVENT BEGIN:VEVENT UID:erts-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260205 DTEND;VALUE=DATE:20260207 SUMMARY:ERTS 2026 — Toulouse\, France DESCRIPTION:Embedded Real-Time Systems Congress\nHeld in Toulouse\, France. \nPaper deadline was 29 June 2025.\nhttps://www.conferences-computer.scien ce/erts/2026/ URL:https://www.conferences-computer.science/erts/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,ERTS END:VEVENT BEGIN:VEVENT UID:eumas-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250903 DTEND;VALUE=DATE:20250906 SUMMARY:EUMAS 2025 — Bucharest\, Romania DESCRIPTION:22nd European Conference on Multi-Agent Systems\nHeld in Buchar est\, Romania.\nPaper deadline was 15 June 2025.\nhttps://www.conferences- computer.science/eumas/2025/ URL:https://www.conferences-computer.science/eumas/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,EUMAS END:VEVENT BEGIN:VEVENT UID:eurompi-2026-event@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20261007 DTEND;VALUE=DATE:20261010 SUMMARY:EuroMPI 2026 — Vienna\, Austria DESCRIPTION:EuroMPI Conference\nHeld in Vienna\, Austria.\nPaper deadline w as 26 May 2026.\nhttps://www.conferences-computer.science/eurompi/2026/ URL:https://www.conferences-computer.science/eurompi/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,EuroMPI END:VEVENT BEGIN:VEVENT UID:eurompi-usa-2025-event@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20251001 DTEND;VALUE=DATE:20251004 SUMMARY:EuroMPI/USA 2025 — Charlotte\, NC\, USA DESCRIPTION:EuroMPI Conference\nHeld in Charlotte\, NC\, USA.\nPaper deadli ne was 06 June 2025.\nhttps://www.conferences-computer.science/eurompi-usa /2025/ URL:https://www.conferences-computer.science/eurompi-usa/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,EuroMPI/USA END:VEVENT BEGIN:VEVENT UID:fase-2026-event@conferences-computer.science DTSTAMP:20260813T120400Z DTSTART;VALUE=DATE:20260411 DTEND;VALUE=DATE:20260417 SUMMARY:FASE 2026 — Turin\, Italy DESCRIPTION:29th International Conference on Fundamental Approaches to Soft ware Engineering\nHeld in Turin\, Italy.\nPaper deadline was 16 October 20 25.\nhttps://www.conferences-computer.science/fase/2026/ URL:https://www.conferences-computer.science/fase/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,FASE END:VEVENT BEGIN:VEVENT UID:fct-2025-event@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20250915 DTEND;VALUE=DATE:20250918 SUMMARY:FCT 2025 — Wrocław\, Poland DESCRIPTION:25th International Symposium on Fundamentals of Computation The ory\nHeld in Wrocław\, Poland.\nPaper deadline was 06 May 2025.\nhttps:// www.conferences-computer.science/fct/2025/ URL:https://www.conferences-computer.science/fct/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,FCT END:VEVENT BEGIN:VEVENT UID:fm-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260520 DTEND;VALUE=DATE:20260523 SUMMARY:FM 2026 — Tokyo\, Japan DESCRIPTION:27th International Symposium on Formal Methods\nHeld in Tokyo\, Japan.\nPaper deadline was 02 December 2025.\nhttps://www.conferences-com puter.science/fm/2026/ URL:https://www.conferences-computer.science/fm/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,FM END:VEVENT BEGIN:VEVENT UID:fmas-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251117 DTEND;VALUE=DATE:20251120 SUMMARY:FMAS 2025 — Paris\, France DESCRIPTION:7th Workshop on Formal Methods for Autonomous Systems\nHeld in Paris\, France.\nPaper deadline was 22 August 2025.\nhttps://www.conferenc es-computer.science/fmas/2025/ URL:https://www.conferences-computer.science/fmas/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,FMAS END:VEVENT BEGIN:VEVENT UID:fmas-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20261117 DTEND;VALUE=DATE:20261119 SUMMARY:FMAS 2026 — Southampton\, England DESCRIPTION:8th Workshop on Formal Methods for Autonomous Systems\nHeld in Southampton\, England.\nPaper deadline was 17 August 2026.\nhttps://www.co nferences-computer.science/fmas/2026/ URL:https://www.conferences-computer.science/fmas/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,FMAS END:VEVENT BEGIN:VEVENT UID:fmcad-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251006 DTEND;VALUE=DATE:20251011 SUMMARY:FMCAD 2025 — Menlo Park\, California\, US DESCRIPTION:25th International Conference on Formal Methods in Computer-Aid ed Design\nHeld in Menlo Park\, California\, US.\nPaper deadline was 05 Ma y 2025.\nhttps://www.conferences-computer.science/fmcad/2025/ URL:https://www.conferences-computer.science/fmcad/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,FMCAD END:VEVENT BEGIN:VEVENT UID:fmcad-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260914 DTEND;VALUE=DATE:20260919 SUMMARY:FMCAD 2026 — Graz\, Austria DESCRIPTION:26th International Conference on Formal Methods in Computer-Aid ed Design\nHeld in Graz\, Austria.\nPaper deadline was 03 May 2026.\nhttps ://www.conferences-computer.science/fmcad/2026/ URL:https://www.conferences-computer.science/fmcad/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,FMCAD END:VEVENT BEGIN:VEVENT UID:fmics-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250825 DTEND;VALUE=DATE:20250831 SUMMARY:FMICS 2025 — Aarhus\, Denmark DESCRIPTION:30th International Conference on Formal Methods for Industrial Critical Systems\nHeld in Aarhus\, Denmark.\nPaper deadline was 11 April 2 025.\nhttps://www.conferences-computer.science/fmics/2025/ URL:https://www.conferences-computer.science/fmics/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,FMICS END:VEVENT BEGIN:VEVENT UID:fmics-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260902 DTEND;VALUE=DATE:20260905 SUMMARY:FMICS 2026 — Liverpool\, England DESCRIPTION:31st International Conference on Formal Methods for Industrial Critical Systems\nHeld in Liverpool\, England.\nPaper deadline was 17 Apri l 2026.\nhttps://www.conferences-computer.science/fmics/2026/ URL:https://www.conferences-computer.science/fmics/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,FMICS END:VEVENT BEGIN:VEVENT UID:formalise-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260412 DTEND;VALUE=DATE:20260414 SUMMARY:FormaliSE 2026 — Rio de Janeiro\, Brazil DESCRIPTION:14th International Conference on Formal Methods in Software Eng ineering\nHeld in Rio de Janeiro\, Brazil.\nPaper deadline was 06 November 2025.\nhttps://www.conferences-computer.science/formalise/2026/ URL:https://www.conferences-computer.science/formalise/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,FormaliSE END:VEVENT BEGIN:VEVENT UID:forte-2026-event@conferences-computer.science DTSTAMP:20260813T122630Z DTSTART;VALUE=DATE:20260608 DTEND;VALUE=DATE:20260613 SUMMARY:FORTE 2026 — Urbino\, Italy DESCRIPTION:46th International Conference on Formal Techniques for Distribu ted Objects\, Components\, and Systems\nHeld in Urbino\, Italy.\nPaper dea dline was 20 February 2026.\nhttps://www.conferences-computer.science/fort e/2026/ URL:https://www.conferences-computer.science/forte/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,FORTE END:VEVENT BEGIN:VEVENT UID:fossacs-2026-event@conferences-computer.science DTSTAMP:20260813T121120Z DTSTART;VALUE=DATE:20260411 DTEND;VALUE=DATE:20260417 SUMMARY:FoSSaCS 2026 — Turin\, Italy DESCRIPTION:29th International Conference on Foundations of Software Scienc e and Computation Structures\nHeld in Turin\, Italy.\nPaper deadline was 1 6 October 2025.\nhttps://www.conferences-computer.science/fossacs/2026/ URL:https://www.conferences-computer.science/fossacs/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,FoSSaCS END:VEVENT BEGIN:VEVENT UID:from-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250917 DTEND;VALUE=DATE:20250920 SUMMARY:FROM 2025 — Iași\, România DESCRIPTION:9th Working Formal Methods Symposium\nHeld in Iași\, România. \nPaper deadline was 22 June 2025.\nhttps://www.conferences-computer.scien ce/from/2025/ URL:https://www.conferences-computer.science/from/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,FROM END:VEVENT BEGIN:VEVENT UID:from-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260915 DTEND;VALUE=DATE:20260918 SUMMARY:FROM 2026 — Timișoara\, Romania DESCRIPTION:Tenth Working Formal Methods Symposium\nHeld in Timișoara\, Ro mania.\nPaper deadline was 06 July 2026.\nhttps://www.conferences-computer .science/from/2026/ URL:https://www.conferences-computer.science/from/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,FROM END:VEVENT BEGIN:VEVENT UID:fscd-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260720 DTEND;VALUE=DATE:20260724 SUMMARY:FSCD 2026 — Lisbon\, Portugal DESCRIPTION:10th International Conference on Formal Structures for Computat ion and Deduction\nHeld in Lisbon\, Portugal.\nPaper deadline was 30 Janua ry 2026.\nhttps://www.conferences-computer.science/fscd/2026/ URL:https://www.conferences-computer.science/fscd/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,FSCD END:VEVENT BEGIN:VEVENT UID:fsen-2027-event@conferences-computer.science DTSTAMP:20260813T145036Z DTSTART;VALUE=DATE:20270524 DTEND;VALUE=DATE:20270526 SUMMARY:FSEN 2027 — Enschede\, The Netherlands DESCRIPTION:Eleventh International Conference on Fundamentals of Software E ngineering 2025 - Theory and Practice\nHeld in Enschede\, The Netherlands. \nPaper deadline was 28 October 2026.\nhttps://www.conferences-computer.sc ience/fsen/2027/ URL:https://www.conferences-computer.science/fsen/2027/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,FSEN END:VEVENT BEGIN:VEVENT UID:fsttcs-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251217 DTEND;VALUE=DATE:20251220 SUMMARY:FSTTCS 2025 — Goa Campus\, India DESCRIPTION:45th IARCS Annual Conference on Foundations of Software Technol ogy and Theoretical Computer Science\nHeld in Goa Campus\, India.\nPaper d eadline was 11 July 2025.\nhttps://www.conferences-computer.science/fsttcs /2025/ URL:https://www.conferences-computer.science/fsttcs/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,FSTTCS END:VEVENT BEGIN:VEVENT UID:fsttcs-2026-event@conferences-computer.science DTSTAMP:20260813T103302Z DTSTART;VALUE=DATE:20261215 DTEND;VALUE=DATE:20261221 SUMMARY:FSTTCS 2026 — IIT Delhi\, New Delhi\, India DESCRIPTION:46th IARCS Annual Conference on Foundations of Software Technol ogy and Theoretical Computer Science\nHeld in IIT Delhi\, New Delhi\, Indi a.\nPaper deadline was 11 July 2026.\nhttps://www.conferences-computer.sci ence/fsttcs/2026/ URL:https://www.conferences-computer.science/fsttcs/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,FSTTCS END:VEVENT BEGIN:VEVENT UID:gandalf-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250915 DTEND;VALUE=DATE:20250919 SUMMARY:GandALF 2025 — Valletta\, Malta DESCRIPTION:16th International Symposium on Games\, Automata\, Logics\, and Formal Verification\nHeld in Valletta\, Malta.\nPaper deadline was 06 Jun e 2025.\nhttps://www.conferences-computer.science/gandalf/2025/ URL:https://www.conferences-computer.science/gandalf/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,GandALF END:VEVENT BEGIN:VEVENT UID:gandalf-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260915 DTEND;VALUE=DATE:20260918 SUMMARY:GandALF 2026 — Aalborg\, Denmark DESCRIPTION:17th International Symposium on Games\, Automata\, Logics\, and Formal Verification\nHeld in Aalborg\, Denmark.\nPaper deadline was 22 Ju ne 2026.\nhttps://www.conferences-computer.science/gandalf/2026/ URL:https://www.conferences-computer.science/gandalf/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,GandALF END:VEVENT BEGIN:VEVENT UID:highlights-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250901 DTEND;VALUE=DATE:20250906 SUMMARY:Highlights 2025 — Saarbrücken\, Germany DESCRIPTION:Highlights of Logic\, Games and Automata\nHeld in Saarbrücken\ , Germany.\nPaper deadline was 28 May 2025.\nhttps://www.conferences-compu ter.science/highlights/2025/ URL:https://www.conferences-computer.science/highlights/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,Highlights END:VEVENT BEGIN:VEVENT UID:highlights-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260907 DTEND;VALUE=DATE:20260912 SUMMARY:Highlights 2026 — Vienna\, Austria DESCRIPTION:Highlights of Logic\, Games and Automata\nHeld in Vienna\, Aust ria.\nPaper deadline was 29 May 2026.\nhttps://www.conferences-computer.sc ience/highlights/2026/ URL:https://www.conferences-computer.science/highlights/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,Highlights END:VEVENT BEGIN:VEVENT UID:hscc-iccps-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260511 DTEND;VALUE=DATE:20260515 SUMMARY:HSCC/ICCPS 2026 — Saint-Malo\, Bretagne\, France DESCRIPTION:29th ACM International Conference on Hybrid Systems: Computatio n and Control\, and 17th ACM/IEEE International Conference on Cyber-Physic al Systems\nHeld in Saint-Malo\, Bretagne\, France.\nPaper deadline was 13 November 2025.\nhttps://www.conferences-computer.science/hscc-iccps/2026/ URL:https://www.conferences-computer.science/hscc-iccps/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,HSCC/ICCPS END:VEVENT BEGIN:VEVENT UID:icalp-2026-event@conferences-computer.science DTSTAMP:20260813T151535Z DTSTART;VALUE=DATE:20260707 DTEND;VALUE=DATE:20260711 SUMMARY:ICALP 2026 — Egham\, England DESCRIPTION:53rd EATCS International Colloquium on Automata\, Languages\, a nd Programming\nHeld in Egham\, England.\nPaper deadline was 06 February 2 026.\nhttps://www.conferences-computer.science/icalp/2026/ URL:https://www.conferences-computer.science/icalp/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,ICALP END:VEVENT BEGIN:VEVENT UID:icalp-2027-event@conferences-computer.science DTSTAMP:20260813T150900Z DTSTART;VALUE=DATE:20270705 DTEND;VALUE=DATE:20270710 SUMMARY:ICALP 2027 — Krakow\, Poland DESCRIPTION:54th EATCS International Colloquium on Automata\, Languages\, a nd Programming\nHeld in Krakow\, Poland.\nPaper deadline was 15 September 2026.\nhttps://www.conferences-computer.science/icalp/2027/ URL:https://www.conferences-computer.science/icalp/2027/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,ICALP END:VEVENT BEGIN:VEVENT UID:iceccs-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20261123 DTEND;VALUE=DATE:20261125 SUMMARY:ICECCS 2026 — Brisbane\, Australia DESCRIPTION:30th International Conference on Engineering of Complex Compute r Systems\nHeld in Brisbane\, Australia.\nPaper deadline was 20 July 2026. \nhttps://www.conferences-computer.science/iceccs/2026/ URL:https://www.conferences-computer.science/iceccs/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,ICECCS END:VEVENT BEGIN:VEVENT UID:icfem-2025-event@conferences-computer.science DTSTAMP:20260814T092011Z DTSTART;VALUE=DATE:20251110 DTEND;VALUE=DATE:20251114 SUMMARY:ICFEM 2025 — Hangzhou\, China DESCRIPTION:26th International Conference on Formal Engineering Methods\nHe ld in Hangzhou\, China.\nPaper deadline was 15 June 2025.\nhttps://www.con ferences-computer.science/icfem/2025/ URL:https://www.conferences-computer.science/icfem/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,ICFEM END:VEVENT BEGIN:VEVENT UID:icfem-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20261117 DTEND;VALUE=DATE:20261121 SUMMARY:ICFEM 2026 — Southampton\, England DESCRIPTION:27th International Conference on Formal Engineering Methods\nHe ld in Southampton\, England.\nPaper deadline was 22 June 2026.\nhttps://ww w.conferences-computer.science/icfem/2026/ URL:https://www.conferences-computer.science/icfem/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,ICFEM END:VEVENT BEGIN:VEVENT UID:icse-2026-event@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20260412 DTEND;VALUE=DATE:20260419 SUMMARY:ICSE 2026 — Rio de Janeiro\, Brazil DESCRIPTION:48th International Conference on Software Engineering\nHeld in Rio de Janeiro\, Brazil.\nPaper deadline was 18 July 2025.\nhttps://www.co nferences-computer.science/icse/2026/ URL:https://www.conferences-computer.science/icse/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,ICSE END:VEVENT BEGIN:VEVENT UID:icse-2027-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20270425 DTEND;VALUE=DATE:20270502 SUMMARY:ICSE 2027 — Dublin\, Ireland DESCRIPTION:49th International Conference on Software Engineering\nHeld in Dublin\, Ireland.\nPaper deadline was 30 June 2026.\nhttps://www.conferenc es-computer.science/icse/2027/ URL:https://www.conferences-computer.science/icse/2027/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,ICSE END:VEVENT BEGIN:VEVENT UID:icsea-2025-event@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20250928 DTEND;VALUE=DATE:20251003 SUMMARY:ICSEA 2025 — Lisbon\, Portugal DESCRIPTION:20th International Conference on Software Engineering Advances\ nHeld in Lisbon\, Portugal.\nPaper deadline was 24 June 2025.\nhttps://www .conferences-computer.science/icsea/2025/ URL:https://www.conferences-computer.science/icsea/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,ICSEA END:VEVENT BEGIN:VEVENT UID:ictac-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251124 DTEND;VALUE=DATE:20251129 SUMMARY:ICTAC 2025 — Marrakech\, Morocco DESCRIPTION:22nd International Colloquium on Theoretical Aspects of Computi ng\nHeld in Marrakech\, Morocco.\nPaper deadline was 09 July 2025.\nhttps: //www.conferences-computer.science/ictac/2025/ URL:https://www.conferences-computer.science/ictac/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,ICTAC END:VEVENT BEGIN:VEVENT UID:ictac-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20261111 DTEND;VALUE=DATE:20261114 SUMMARY:ICTAC 2026 — Bariloche\, Argentina DESCRIPTION:23rd International Colloquium on Theoretical Aspects of Computi ng\nHeld in Bariloche\, Argentina.\nPaper deadline was 22 June 2026.\nhttp s://www.conferences-computer.science/ictac/2026/ URL:https://www.conferences-computer.science/ictac/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,ICTAC END:VEVENT BEGIN:VEVENT UID:ictss-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250917 DTEND;VALUE=DATE:20250920 SUMMARY:ICTSS 2025 — Limassol\, Cyprus DESCRIPTION:37th International Conference on Testing Software and Systems\n Held in Limassol\, Cyprus.\nPaper deadline was 16 June 2025.\nhttps://www. conferences-computer.science/ictss/2025/ URL:https://www.conferences-computer.science/ictss/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,ICTSS END:VEVENT BEGIN:VEVENT UID:ifm-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251119 DTEND;VALUE=DATE:20251122 SUMMARY:iFM 2025 — Paris\, France DESCRIPTION:20th International Conference on integrated Formal Methods\nHel d in Paris\, France.\nPaper deadline was 20 June 2025.\nhttps://www.confer ences-computer.science/ifm/2025/ URL:https://www.conferences-computer.science/ifm/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,iFM END:VEVENT BEGIN:VEVENT UID:ijcai-2025-event@conferences-computer.science DTSTAMP:20260813T103457Z DTSTART;VALUE=DATE:20250816 DTEND;VALUE=DATE:20250823 SUMMARY:IJCAI 2025 — Montréal\, Québec\, Canada DESCRIPTION:34th International Joint Conference on Artificial Intelligence\ nHeld in Montréal\, Québec\, Canada.\nPaper deadline was 23 January 2025 .\nhttps://www.conferences-computer.science/ijcai/2025/ URL:https://www.conferences-computer.science/ijcai/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,IJCAI END:VEVENT BEGIN:VEVENT UID:isorc-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260527 DTEND;VALUE=DATE:20260530 SUMMARY:ISORC 2026 — Hamilton\, Ontario\, Canada DESCRIPTION:29th IEEE International Symposium on Real-Time Distributed Comp uting\nHeld in Hamilton\, Ontario\, Canada.\nPaper deadline was 03 March 2 026.\nhttps://www.conferences-computer.science/isorc/2026/ URL:https://www.conferences-computer.science/isorc/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,ISORC END:VEVENT BEGIN:VEVENT UID:issre-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251021 DTEND;VALUE=DATE:20251025 SUMMARY:ISSRE 2025 — São Paulo\, Brazil DESCRIPTION:36th IEEE International Symposium on Software Reliability Engin eering\nHeld in São Paulo\, Brazil.\nPaper deadline was 12 May 2025.\nhtt ps://www.conferences-computer.science/issre/2025/ URL:https://www.conferences-computer.science/issre/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,ISSRE END:VEVENT BEGIN:VEVENT UID:issre-2026-event@conferences-computer.science DTSTAMP:20260814T141315Z DTSTART;VALUE=DATE:20261023 DTEND;VALUE=DATE:20261027 SUMMARY:ISSRE 2026 — Limassol\, Cyprus DESCRIPTION:37th IEEE International Symposium on Software Reliability Engin eering\nHeld in Limassol\, Cyprus.\nPaper deadline was 24 April 2026.\nhtt ps://www.conferences-computer.science/issre/2026/ URL:https://www.conferences-computer.science/issre/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,ISSRE END:VEVENT BEGIN:VEVENT UID:issta-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20261003 DTEND;VALUE=DATE:20261010 SUMMARY:ISSTA 2026 — Oakland\, California\, United States DESCRIPTION:35th International Symposium on Software Testing and Analysis\n Held in Oakland\, California\, United States.\nPaper deadline was 29 Janua ry 2026.\nhttps://www.conferences-computer.science/issta/2026/ URL:https://www.conferences-computer.science/issta/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,ISSTA END:VEVENT BEGIN:VEVENT UID:jfla-2026-event@conferences-computer.science DTSTAMP:20260813T132935Z DTSTART;VALUE=DATE:20260127 DTEND;VALUE=DATE:20260131 SUMMARY:JFLA 2026 — Oberbronn\, France DESCRIPTION:37e Journées Francophones des Langages Applicatifs\nHeld in Ob erbronn\, France.\nPaper deadline was 16 October 2025.\nhttps://www.confer ences-computer.science/jfla/2026/ URL:https://www.conferences-computer.science/jfla/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,JFLA END:VEVENT BEGIN:VEVENT UID:jfla-2027-event@conferences-computer.science DTSTAMP:20260814T102341Z DTSTART;VALUE=DATE:20270126 DTEND;VALUE=DATE:20270130 SUMMARY:JFLA 2027 — Dinard\, Bretagne\, France DESCRIPTION:38e Journées Francophones des Langages Applicatifs\nHeld in Di nard\, Bretagne\, France.\nPaper deadline was 16 October 2026.\nhttps://ww w.conferences-computer.science/jfla/2027/ URL:https://www.conferences-computer.science/jfla/2027/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,JFLA END:VEVENT BEGIN:VEVENT UID:jrwrtc-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251105 DTEND;VALUE=DATE:20251108 SUMMARY:JRWRTC 2025 — Pisa\, Italy DESCRIPTION:18th Junior Researcher Workshop on Real-Time Computing\nHeld in Pisa\, Italy.\nPaper deadline was 10 October 2025.\nhttps://www.conferenc es-computer.science/jrwrtc/2025/ URL:https://www.conferences-computer.science/jrwrtc/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,JRWRTC END:VEVENT BEGIN:VEVENT UID:lics-2026-event@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20260720 DTEND;VALUE=DATE:20260724 SUMMARY:LiCS 2026 — Lisbon\, Portugal DESCRIPTION:41st Annual ACM/IEEE Symposium on Logic in Computer Science (Li CS)\nHeld in Lisbon\, Portugal.\nPaper deadline was 22 January 2026.\nhttp s://www.conferences-computer.science/lics/2026/ URL:https://www.conferences-computer.science/lics/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,LiCS END:VEVENT BEGIN:VEVENT UID:lopstr-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250909 DTEND;VALUE=DATE:20250911 SUMMARY:LOPSTR 2025 — University of Calabria\, Rende\, Italy DESCRIPTION:35th International Symposium on Logic-Based Program Synthesis a nd Transformation\nHeld in University of Calabria\, Rende\, Italy.\nPaper deadline was 16 May 2025.\nhttps://www.conferences-computer.science/lopstr /2025/ URL:https://www.conferences-computer.science/lopstr/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,LOPSTR END:VEVENT BEGIN:VEVENT UID:lpar-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20261025 DTEND;VALUE=DATE:20261031 SUMMARY:LPAR 2026 — Spetses\, Greece DESCRIPTION:256h International Conference on Logic for Programming\, Artifi cial Intelligence and Reasoning\nHeld in Spetses\, Greece.\nPaper deadline was 17 June 2026.\nhttps://www.conferences-computer.science/lpar/2026/ URL:https://www.conferences-computer.science/lpar/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,LPAR END:VEVENT BEGIN:VEVENT UID:mars-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260412 DTEND;VALUE=DATE:20260413 SUMMARY:MARS 2026 — Milan\, Italy DESCRIPTION:7th Workshop on Models for Formal Analysis of Real Systems\nHel d in Milan\, Italy.\nPaper deadline was 11 February 2026.\nhttps://www.con ferences-computer.science/mars/2026/ URL:https://www.conferences-computer.science/mars/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,MARS END:VEVENT BEGIN:VEVENT UID:memocode-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251002 DTEND;VALUE=DATE:20251004 SUMMARY:MEMOCODE 2025 — Taipei\, Taiwan DESCRIPTION:23rd ACM/IEEE International Conference on Formal Methods and Mo dels for System Design\nHeld in Taipei\, Taiwan.\nPaper deadline was 23 Ma y 2025.\nhttps://www.conferences-computer.science/memocode/2025/ URL:https://www.conferences-computer.science/memocode/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,MEMOCODE END:VEVENT BEGIN:VEVENT UID:memocode-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20261008 DTEND;VALUE=DATE:20261010 SUMMARY:MEMOCODE 2026 — Barcelona\, Spain DESCRIPTION:24th ACM-IEEE International Symposium on Formal Methods and Mod els for System Design\nHeld in Barcelona\, Spain.\nPaper deadline was 25 M ay 2026.\nhttps://www.conferences-computer.science/memocode/2026/ URL:https://www.conferences-computer.science/memocode/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,MEMOCODE END:VEVENT BEGIN:VEVENT UID:mfcs-2025-event@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20250825 DTEND;VALUE=DATE:20250830 SUMMARY:MFCS 2025 — Warsaw\, Poland DESCRIPTION:50th International Symposium on Mathematical Foundations of Com puter Science\nHeld in Warsaw\, Poland.\nPaper deadline was 18 April 2025. \nhttps://www.conferences-computer.science/mfcs/2025/ URL:https://www.conferences-computer.science/mfcs/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,MFCS END:VEVENT BEGIN:VEVENT UID:mfcs-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260824 DTEND;VALUE=DATE:20260829 SUMMARY:MFCS 2026 — Paris\, France DESCRIPTION:51st International Symposium on Mathematical Foundations of Com puter Science\nHeld in Paris\, France.\nPaper deadline was 24 April 2026.\ nhttps://www.conferences-computer.science/mfcs/2026/ URL:https://www.conferences-computer.science/mfcs/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,MFCS END:VEVENT BEGIN:VEVENT UID:msr-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251119 DTEND;VALUE=DATE:20251122 SUMMARY:MSR 2025 — Reims\, France DESCRIPTION:15e colloque sur la Modélisation des Systèmes Réactifs\nHeld in Reims\, France.\nPaper deadline was 18 July 2025.\nhttps://www.confere nces-computer.science/msr/2025/ URL:https://www.conferences-computer.science/msr/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,MSR END:VEVENT BEGIN:VEVENT UID:nfm-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260505 DTEND;VALUE=DATE:20260508 SUMMARY:NFM 2026 — Los Angeles\, CA\, USA DESCRIPTION:18th NASA Formal Methods Symposium\nHeld in Los Angeles\, CA\, USA.\nPaper deadline was 18 January 2026.\nhttps://www.conferences-compute r.science/nfm/2026/ URL:https://www.conferences-computer.science/nfm/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,NFM END:VEVENT BEGIN:VEVENT UID:oopsla-2025-event@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20251012 DTEND;VALUE=DATE:20251019 SUMMARY:OOPSLA 2025 — Singapore DESCRIPTION:OOPSLA issue of the Proceedings of the ACM on Programming Langu ages (PACMPL)\nHeld in Singapore.\nPaper deadline was 15 October 2024.\nht tps://www.conferences-computer.science/oopsla/2025/ URL:https://www.conferences-computer.science/oopsla/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,OOPSLA END:VEVENT BEGIN:VEVENT UID:petri-nets-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260622 DTEND;VALUE=DATE:20260627 SUMMARY:Petri Nets 2026 — Hamburg\, Germany DESCRIPTION:47th International Conference on Application and Theory of Petr i Nets and Concurrency\nHeld in Hamburg\, Germany.\nPaper deadline was 30 January 2026.\nhttps://www.conferences-computer.science/petri-nets/2026/ URL:https://www.conferences-computer.science/petri-nets/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,Petri Nets END:VEVENT BEGIN:VEVENT UID:pnse-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260622 DTEND;VALUE=DATE:20260623 SUMMARY:PNSE 2026 — Hamburg\, Germany DESCRIPTION:International Workshop on Petri Nets and Software Engineering\n Held in Hamburg\, Germany.\nPaper deadline was 30 March 2026.\nhttps://www .conferences-computer.science/pnse/2026/ URL:https://www.conferences-computer.science/pnse/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,PNSE END:VEVENT BEGIN:VEVENT UID:popl-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260111 DTEND;VALUE=DATE:20260118 SUMMARY:POPL 2026 — Rennes\, Bretagne\, France DESCRIPTION:53rd ACM SIGPLAN Symposium on Principles of Programming Languag es\nHeld in Rennes\, Bretagne\, France.\nPaper deadline was 10 July 2025.\ nhttps://www.conferences-computer.science/popl/2026/ URL:https://www.conferences-computer.science/popl/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,POPL END:VEVENT BEGIN:VEVENT UID:prdc-2025-event@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20251103 DTEND;VALUE=DATE:20251106 SUMMARY:PRDC 2025 — Seoul\, Korea DESCRIPTION:30th IEEE Pacific Rim International Symposium on Dependable Com puting\nHeld in Seoul\, Korea.\nPaper deadline was 25 July 2025.\nhttps:// www.conferences-computer.science/prdc/2025/ URL:https://www.conferences-computer.science/prdc/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,PRDC END:VEVENT BEGIN:VEVENT UID:qest-formats-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250825 DTEND;VALUE=DATE:20250831 SUMMARY:QEST+FORMATS 2025 — Aarhus\, Denmark DESCRIPTION:Second joint event for International Conference on Quantitative Evaluation of SysTems and International Conference on Formal Modeling and Analysis of Timed Systems\nHeld in Aarhus\, Denmark.\nPaper deadline was 18 April 2025.\nhttps://www.conferences-computer.science/qest-formats/2025 / URL:https://www.conferences-computer.science/qest-formats/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,QEST+FORMATS END:VEVENT BEGIN:VEVENT UID:qest-formats-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260902 DTEND;VALUE=DATE:20260905 SUMMARY:QEST+FORMATS 2026 — Liverpool\, England DESCRIPTION:Third joint event for International Conference on Quantitative Evaluation of SysTems and International Conference on Formal Modeling and Analysis of Timed Systems\nHeld in Liverpool\, England.\nPaper deadline wa s 20 April 2026.\nhttps://www.conferences-computer.science/qest-formats/20 26/ URL:https://www.conferences-computer.science/qest-formats/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,QEST+FORMATS END:VEVENT BEGIN:VEVENT UID:reacts-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251110 DTEND;VALUE=DATE:20251112 SUMMARY:ReacTS 2025 — Toledo\, Spain DESCRIPTION:International Workshop on Reconfigurable Transition Systems: Se mantics\, Logics and Applications\nHeld in Toledo\, Spain.\nPaper deadline was 27 August 2025.\nhttps://www.conferences-computer.science/reacts/2025 / URL:https://www.conferences-computer.science/reacts/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,ReacTS END:VEVENT BEGIN:VEVENT UID:reacts-2026-event@conferences-computer.science DTSTAMP:20260813T132601Z DTSTART;VALUE=DATE:20261124 DTEND;VALUE=DATE:20261125 SUMMARY:ReacTS 2026 — Valletta\, Malta DESCRIPTION:3rd International Workshop on Reconfigurable Transition Systems : Semantics\, Logics and Applications\nHeld in Valletta\, Malta.\nPaper de adline was 13 September 2026.\nhttps://www.conferences-computer.science/re acts/2026/ URL:https://www.conferences-computer.science/reacts/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,ReacTS END:VEVENT BEGIN:VEVENT UID:rp-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251001 DTEND;VALUE=DATE:20251004 SUMMARY:RP 2025 — Madrid\, Spain DESCRIPTION:19th International Conference on Reachability Problems\nHeld in Madrid\, Spain.\nPaper deadline was 04 July 2025.\nhttps://www.conference s-computer.science/rp/2025/ URL:https://www.conferences-computer.science/rp/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,RP END:VEVENT BEGIN:VEVENT UID:rp-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20261021 DTEND;VALUE=DATE:20261024 SUMMARY:RP 2026 — Turku\, Finland DESCRIPTION:20th International Conference on Reachability Problems\nHeld in Turku\, Finland.\nPaper deadline was 30 June 2026.\nhttps://www.conferenc es-computer.science/rp/2026/ URL:https://www.conferences-computer.science/rp/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,RP END:VEVENT BEGIN:VEVENT UID:rssrail-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251126 DTEND;VALUE=DATE:20251129 SUMMARY:RSSRail 2025 — Pisa\, Italy DESCRIPTION:6th International Conference on Reliability\, Safety\, and Secu rity of Railway Systems\nHeld in Pisa\, Italy.\nPaper deadline was 27 June 2025.\nhttps://www.conferences-computer.science/rssrail/2025/ URL:https://www.conferences-computer.science/rssrail/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,RSSRail END:VEVENT BEGIN:VEVENT UID:rtas-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260512 DTEND;VALUE=DATE:20260515 SUMMARY:RTAS 2026 — Saint-Malo\, Bretagne\, France DESCRIPTION:32nd IEEE Real-Time and Embedded Technology and Applications Sy mposium\nHeld in Saint-Malo\, Bretagne\, France.\nPaper deadline was 13 No vember 2025.\nhttps://www.conferences-computer.science/rtas/2026/ URL:https://www.conferences-computer.science/rtas/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,RTAS END:VEVENT BEGIN:VEVENT UID:rtcsa-2025-event@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20250820 DTEND;VALUE=DATE:20250823 SUMMARY:RTCSA 2025 — Singapore DESCRIPTION:31st IEEE International Conference on Embedded and Real-Time Co mputing Systems and Applications\nHeld in Singapore.\nPaper deadline was 0 5 April 2025.\nhttps://www.conferences-computer.science/rtcsa/2025/ URL:https://www.conferences-computer.science/rtcsa/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,RTCSA END:VEVENT BEGIN:VEVENT UID:rtcsa-2026-event@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20260811 DTEND;VALUE=DATE:20260814 SUMMARY:RTCSA 2026 — Qingdao\, China DESCRIPTION:32nd IEEE International Conference on Embedded and Real-Time Co mputing Systems and Applications\nHeld in Qingdao\, China.\nPaper deadline was 25 March 2026.\nhttps://www.conferences-computer.science/rtcsa/2026/ URL:https://www.conferences-computer.science/rtcsa/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,RTCSA END:VEVENT BEGIN:VEVENT UID:rtns-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251105 DTEND;VALUE=DATE:20251108 SUMMARY:RTNS 2025 — Pisa\, Italy DESCRIPTION:33rd International Conference on Real-Time Networks and Systems \nHeld in Pisa\, Italy.\nPaper deadline was 29 May 2025.\nhttps://www.conf erences-computer.science/rtns/2025/ URL:https://www.conferences-computer.science/rtns/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,RTNS END:VEVENT BEGIN:VEVENT UID:rtns-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20261104 DTEND;VALUE=DATE:20261107 SUMMARY:RTNS 2026 — Toulouse\, France DESCRIPTION:34th International Conference on Real-Time Networks and Systems \nHeld in Toulouse\, France.\nPaper deadline was 04 June 2026.\nhttps://ww w.conferences-computer.science/rtns/2026/ URL:https://www.conferences-computer.science/rtns/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,RTNS END:VEVENT BEGIN:VEVENT UID:rtss-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251202 DTEND;VALUE=DATE:20251206 SUMMARY:RTSS 2025 — Boston\, MA\, USA DESCRIPTION:46th IEEE Real-Time Systems Symposium\nHeld in Boston\, MA\, US A.\nPaper deadline was 22 May 2025.\nhttps://www.conferences-computer.scie nce/rtss/2025/ URL:https://www.conferences-computer.science/rtss/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,RTSS END:VEVENT BEGIN:VEVENT UID:rtss-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20261209 DTEND;VALUE=DATE:20261212 SUMMARY:RTSS 2026 — Yokohama\, Japan DESCRIPTION:47th IEEE Real-Time Systems Symposium\nHeld in Yokohama\, Japan .\nPaper deadline was 26 May 2026.\nhttps://www.conferences-computer.scien ce/rtss/2026/ URL:https://www.conferences-computer.science/rtss/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,RTSS END:VEVENT BEGIN:VEVENT UID:rv-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250915 DTEND;VALUE=DATE:20250920 SUMMARY:RV 2025 — Graz\, Austria DESCRIPTION:25th International Conference on Runtime Verification\nHeld in Graz\, Austria.\nPaper deadline was 06 June 2025.\nhttps://www.conferences -computer.science/rv/2025/ URL:https://www.conferences-computer.science/rv/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,RV END:VEVENT BEGIN:VEVENT UID:rv-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20261006 DTEND;VALUE=DATE:20261010 SUMMARY:RV 2026 — Kingston\, Canada DESCRIPTION:26th International Conference on Runtime Verification\nHeld in Kingston\, Canada.\nPaper deadline was 14 June 2026.\nhttps://www.conferen ces-computer.science/rv/2026/ URL:https://www.conferences-computer.science/rv/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,RV END:VEVENT BEGIN:VEVENT UID:s-and-p-2026-event@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20260518 DTEND;VALUE=DATE:20260522 SUMMARY:S&P 2026 — San Francisco\, CA\, USA DESCRIPTION:47th IEEE Symposium on Security and Privacy\nHeld in San Franci sco\, CA\, USA.\nPaper deadline was 13 November 2025.\nhttps://www.confere nces-computer.science/s-and-p/2026/ URL:https://www.conferences-computer.science/s-and-p/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,S&P END:VEVENT BEGIN:VEVENT UID:sac-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260323 DTEND;VALUE=DATE:20260328 SUMMARY:SAC 2026 — Thessaloniki\, Greece DESCRIPTION:41st ACM/SIGAPP Symposium On Applied Computing\nHeld in Thessal oniki\, Greece.\nPaper deadline was 17 October 2025.\nhttps://www.conferen ces-computer.science/sac/2026/ URL:https://www.conferences-computer.science/sac/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,SAC END:VEVENT BEGIN:VEVENT UID:safecomp-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250909 DTEND;VALUE=DATE:20250913 SUMMARY:SAFECOMP 2025 — Stockholm\, Sweden DESCRIPTION:44th International Conference on Computer Safety\, Reliability and Security\nHeld in Stockholm\, Sweden.\nPaper deadline was 14 February 2025.\nhttps://www.conferences-computer.science/safecomp/2025/ URL:https://www.conferences-computer.science/safecomp/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,SAFECOMP END:VEVENT BEGIN:VEVENT UID:sbmf-2025-event@conferences-computer.science DTSTAMP:20260814T092040Z DTSTART;VALUE=DATE:20251203 DTEND;VALUE=DATE:20251206 SUMMARY:SBMF 2025 — Recife - Pernambuco\, Brazil DESCRIPTION:28th Brazilian Symposium on Formal Methods\nHeld in Recife - Pe rnambuco\, Brazil.\nPaper deadline was 15 August 2025.\nhttps://www.confer ences-computer.science/sbmf/2025/ URL:https://www.conferences-computer.science/sbmf/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,SBMF END:VEVENT BEGIN:VEVENT UID:sbmf-2026-event@conferences-computer.science DTSTAMP:20260814T091821Z DTSTART;VALUE=DATE:20261201 DTEND;VALUE=DATE:20261205 SUMMARY:SBMF 2026 — Rio de Janeiro\, Brazil DESCRIPTION:29th Brazilian Symposium on Formal Methods\nHeld in Rio de Jane iro\, Brazil.\nPaper deadline was 14 August 2026.\nhttps://www.conferences -computer.science/sbmf/2026/ URL:https://www.conferences-computer.science/sbmf/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,SBMF END:VEVENT BEGIN:VEVENT UID:sefm-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251110 DTEND;VALUE=DATE:20251115 SUMMARY:SEFM 2025 — Toledo\, Spain DESCRIPTION:23rd International Conference on Software Engineering and Forma l Methods\nHeld in Toledo\, Spain.\nPaper deadline was 23 June 2025.\nhttp s://www.conferences-computer.science/sefm/2025/ URL:https://www.conferences-computer.science/sefm/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20261123 DTEND;VALUE=DATE:20261128 SUMMARY:SEFM 2026 — Malta DESCRIPTION:24th International Conference on Software Engineering and Forma l Methods\nHeld in Malta.\nPaper deadline was 30 June 2026.\nhttps://www.c onferences-computer.science/sefm/2026/ URL:https://www.conferences-computer.science/sefm/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,SEFM END:VEVENT BEGIN:VEVENT UID:sensei-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250909 DTEND;VALUE=DATE:20250910 SUMMARY:Sensei 2025 — Stockholm\, Sweden DESCRIPTION:Fourth International Workshop on Security and Safety Interactio ns\nHeld in Stockholm\, Sweden.\nPaper deadline was 10 May 2025.\nhttps:// www.conferences-computer.science/sensei/2025/ URL:https://www.conferences-computer.science/sensei/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,Sensei END:VEVENT BEGIN:VEVENT UID:setta-2025-event@conferences-computer.science DTSTAMP:20260813T131426Z DTSTART;VALUE=DATE:20251201 DTEND;VALUE=DATE:20251204 SUMMARY:SETTA 2025 — Oxford\, England DESCRIPTION:Symposium on Dependable Software Engineering: Theories\, Tools and Applications\nHeld in Oxford\, England.\nPaper deadline was 30 August 2025.\nhttps://www.conferences-computer.science/setta/2025/ URL:https://www.conferences-computer.science/setta/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,SETTA END:VEVENT BEGIN:VEVENT UID:setta-2026-event@conferences-computer.science DTSTAMP:20260813T130833Z DTSTART;VALUE=DATE:20261202 DTEND;VALUE=DATE:20261205 SUMMARY:SETTA 2026 — Singapore DESCRIPTION:12th International Symposium on Dependable Software Engineering : Theories\, Tools and Applications\nHeld in Singapore.\nPaper deadline wa s 24 August 2026.\nhttps://www.conferences-computer.science/setta/2026/ URL:https://www.conferences-computer.science/setta/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,SETTA END:VEVENT BEGIN:VEVENT UID:soict-2025-event@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20251212 DTEND;VALUE=DATE:20251215 SUMMARY:SoICT 2025 — Nha Trang\, Việt Nam DESCRIPTION:14th International Symposium on Information and Communication T echnology\nHeld in Nha Trang\, Việt Nam.\nPaper deadline was 15 Septembe r 2025.\nhttps://www.conferences-computer.science/soict/2025/ URL:https://www.conferences-computer.science/soict/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,SoICT END:VEVENT BEGIN:VEVENT UID:spin-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260415 DTEND;VALUE=DATE:20260417 SUMMARY:SPIN 2026 — Torino\, Italy DESCRIPTION:32nd International Symposium on Model Checking Software\nHeld i n Torino\, Italy.\nPaper deadline was 22 January 2026.\nhttps://www.confer ences-computer.science/spin/2026/ URL:https://www.conferences-computer.science/spin/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,SPIN END:VEVENT BEGIN:VEVENT UID:splc-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250901 DTEND;VALUE=DATE:20250906 SUMMARY:SPLC 2025 — Coruña\, Spain DESCRIPTION:29th ACM International Systems and Software Product Line Confer ence\nHeld in Coruña\, Spain.\nPaper deadline was 24 April 2025.\nhttps:/ /www.conferences-computer.science/splc/2025/ URL:https://www.conferences-computer.science/splc/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,SPLC END:VEVENT BEGIN:VEVENT UID:stacs-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260310 DTEND;VALUE=DATE:20260314 SUMMARY:STACS 2026 — Grenoble\, France DESCRIPTION:43rd International Symposium on Theoretical Aspects of Computer Science\nHeld in Grenoble\, France.\nPaper deadline was 25 September 2025 .\nhttps://www.conferences-computer.science/stacs/2026/ URL:https://www.conferences-computer.science/stacs/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,STACS END:VEVENT BEGIN:VEVENT UID:stacs-2027-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20270308 DTEND;VALUE=DATE:20270313 SUMMARY:STACS 2027 — Göttingen\, Germany DESCRIPTION:44th International Symposium on Theoretical Aspects of Computer Science\nHeld in Göttingen\, Germany.\nPaper deadline was 11 October 202 6.\nhttps://www.conferences-computer.science/stacs/2027/ URL:https://www.conferences-computer.science/stacs/2027/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,STACS END:VEVENT BEGIN:VEVENT UID:syncop-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250825 DTEND;VALUE=DATE:20250826 SUMMARY:SynCoP 2025 — Aarhus\, Denmark DESCRIPTION:10th International Workshop on Synthesis of Complex Parameters\ nHeld in Aarhus\, Denmark.\nPaper deadline was 07 July 2025.\nhttps://www. conferences-computer.science/syncop/2025/ URL:https://www.conferences-computer.science/syncop/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,SynCoP END:VEVENT BEGIN:VEVENT UID:syncop-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260412 DTEND;VALUE=DATE:20260413 SUMMARY:SynCoP 2026 — Torino\, Italy DESCRIPTION:11th International Workshop on Synthesis of Complex Parameters\ nHeld in Torino\, Italy.\nPaper deadline was 04 March 2026.\nhttps://www.c onferences-computer.science/syncop/2026/ URL:https://www.conferences-computer.science/syncop/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,SynCoP END:VEVENT BEGIN:VEVENT UID:synt-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260725 DTEND;VALUE=DATE:20260726 SUMMARY:SYNT 2026 — Lisbon\, Portugal DESCRIPTION:15th International Workshop on Synthesis\nHeld in Lisbon\, Port ugal.\nPaper deadline was 01 May 2026.\nhttps://www.conferences-computer.s cience/synt/2026/ URL:https://www.conferences-computer.science/synt/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,SYNT END:VEVENT BEGIN:VEVENT UID:tableaux-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250927 DTEND;VALUE=DATE:20251004 SUMMARY:TABLEAUX 2025 — Reykjavik\, Iceland DESCRIPTION:34th International Conference on Automated Reasoning with Analy tic Tableaux and Related Methods\nHeld in Reykjavik\, Iceland.\nPaper dead line was 18 May 2025.\nhttps://www.conferences-computer.science/tableaux/2 025/ URL:https://www.conferences-computer.science/tableaux/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,TABLEAUX END:VEVENT BEGIN:VEVENT UID:tacas-2026-event@conferences-computer.science DTSTAMP:20260813T120109Z DTSTART;VALUE=DATE:20260411 DTEND;VALUE=DATE:20260417 SUMMARY:TACAS 2026 — Turin\, Italy DESCRIPTION:32nd International Conference on Tools and Algorithms for the C onstruction and Analysis of Systems\nHeld in Turin\, Italy.\nPaper deadlin e was 16 October 2025.\nhttps://www.conferences-computer.science/tacas/202 6/ URL:https://www.conferences-computer.science/tacas/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,TACAS END:VEVENT BEGIN:VEVENT UID:tap-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260518 DTEND;VALUE=DATE:20260523 SUMMARY:TAP 2026 — Tokyo\, Japan DESCRIPTION:Special Track on TAP (Tests and Proofs) of the 27th Internation al Symposium on Formal Methods (FM 2026)\nHeld in Tokyo\, Japan.\nPaper de adline was 02 December 2025.\nhttps://www.conferences-computer.science/tap /2026/ URL:https://www.conferences-computer.science/tap/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,TAP END:VEVENT BEGIN:VEVENT UID:tase-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260704 DTEND;VALUE=DATE:20260707 SUMMARY:TASE 2026 — Shanghai\, China DESCRIPTION:20th International Symposium on Theoretical Aspects of Software Engineering\nHeld in Shanghai\, China.\nPaper deadline was 07 March 2026. \nhttps://www.conferences-computer.science/tase/2026/ URL:https://www.conferences-computer.science/tase/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,TASE END:VEVENT BEGIN:VEVENT UID:time-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250827 DTEND;VALUE=DATE:20250830 SUMMARY:TIME 2025 — London\, England DESCRIPTION:32nd International Symposium on Temporal Representation and Rea soning\nHeld in London\, England.\nPaper deadline was 26 May 2025.\nhttps: //www.conferences-computer.science/time/2025/ URL:https://www.conferences-computer.science/time/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,TIME END:VEVENT BEGIN:VEVENT UID:time-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260901 DTEND;VALUE=DATE:20260904 SUMMARY:TIME 2026 — Cork\, Ireland DESCRIPTION:33rd International Symposium on Temporal Representation and Rea soning\nHeld in Cork\, Ireland.\nPaper deadline was 22 May 2026.\nhttps:// www.conferences-computer.science/time/2026/ URL:https://www.conferences-computer.science/time/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,TIME END:VEVENT BEGIN:VEVENT UID:valuetools-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251211 DTEND;VALUE=DATE:20251213 SUMMARY:VALUETOOLS 2025 — Glasgow\, Scotland DESCRIPTION:18th EAI International Conference on Performance Evaluation Met hodologies and Tools\nHeld in Glasgow\, Scotland.\nPaper deadline was 17 S eptember 2025.\nhttps://www.conferences-computer.science/valuetools/2025/ URL:https://www.conferences-computer.science/valuetools/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,VALUETOOLS END:VEVENT BEGIN:VEVENT UID:vecos-2025-event@conferences-computer.science DTSTAMP:20260814T101956Z DTSTART;VALUE=DATE:20251104 DTEND;VALUE=DATE:20251107 SUMMARY:VECoS 2025 — Saclay\, France DESCRIPTION:18th International Conference on Verification and Evaluation of Computer and Communication Systems\nHeld in Saclay\, France.\nPaper deadl ine was 25 July 2025.\nhttps://www.conferences-computer.science/vecos/2025 / URL:https://www.conferences-computer.science/vecos/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,VECoS END:VEVENT BEGIN:VEVENT UID:vecos-2026-event@conferences-computer.science DTSTAMP:20260814T101141Z DTSTART;VALUE=DATE:20261119 DTEND;VALUE=DATE:20261121 SUMMARY:VECoS 2026 — Amsterdam\, Netherlands DESCRIPTION:19th International Conference on Verification and Evaluation of Computer and Communication Systems\nHeld in Amsterdam\, Netherlands.\nPap er deadline was 20 July 2026.\nhttps://www.conferences-computer.science/ve cos/2026/ URL:https://www.conferences-computer.science/vecos/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,VECoS END:VEVENT BEGIN:VEVENT UID:vmcai-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260112 DTEND;VALUE=DATE:20260114 SUMMARY:VMCAI 2026 — Rennes\, Bretagne\, France DESCRIPTION:27th International Conference on Verification\, Model Checking\ , and Abstract Interpretation\nHeld in Rennes\, Bretagne\, France.\nPaper deadline was 15 September 2025.\nhttps://www.conferences-computer.science/ vmcai/2026/ URL:https://www.conferences-computer.science/vmcai/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,VMCAI END:VEVENT BEGIN:VEVENT UID:vstte-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251006 DTEND;VALUE=DATE:20251008 SUMMARY:VSTTE 2025 — Menlo Park\, California\, USA DESCRIPTION:17th International Conference on Verified Software: Theories\, Tools and Experiments\nHeld in Menlo Park\, California\, USA.\nPaper deadl ine was 18 July 2025.\nhttps://www.conferences-computer.science/vstte/2025 / URL:https://www.conferences-computer.science/vstte/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,VSTTE END:VEVENT BEGIN:VEVENT UID:vstte-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260914 DTEND;VALUE=DATE:20260915 SUMMARY:VSTTE 2026 — Graz\, Austria DESCRIPTION:18th International Conference on Verified Software: Theories\, Tools and Experiments\nHeld in Graz\, Austria.\nPaper deadline was 24 July 2026.\nhttps://www.conferences-computer.science/vstte/2026/ URL:https://www.conferences-computer.science/vstte/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,VSTTE END:VEVENT BEGIN:VEVENT UID:wst-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250903 DTEND;VALUE=DATE:20250905 SUMMARY:WST 2025 — Leipzig\, Germany DESCRIPTION:20th International Workshop on Termination\nHeld in Leipzig\, G ermany.\nPaper deadline was 25 June 2025.\nhttps://www.conferences-compute r.science/wst/2025/ URL:https://www.conferences-computer.science/wst/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,WST END:VEVENT BEGIN:VEVENT UID:yr-concur-2026-event@conferences-computer.science DTSTAMP:20260814T112713Z DTSTART;VALUE=DATE:20260905 DTEND;VALUE=DATE:20260906 SUMMARY:YR-CONCUR 2026 — Liverpool\, England DESCRIPTION:12th International Young Researchers Workshop on Concurrency Th eory\nHeld in Liverpool\, England.\nPaper deadline was 29 June 2026.\nhttp s://www.conferences-computer.science/yr-concur/2026/ URL:https://www.conferences-computer.science/yr-concur/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,YR-CONCUR END:VEVENT END:VCALENDAR