pvs  

Messages by Thread

• [PVS] LSFA 2026, deadline extension Alexandre Madeira
• [PVS] Call for papers: SSS 2026, Deadline in one week Kulkarni, Sandeep
• [PVS] Call for Papers - 19th International Workhop on Social and Human Aspects of Business Process Management (BPMS2'2026 @ RCIS) Selmin Nurcan
• [PVS] Fwd: 2026 Alonzo Church Award, Call for Nominations Marcelo Fiore
• [PVS] 2nd CfP: 19th Conference on Intelligent Computer Mathematics (CICM 2026) Martina Seidl
• [PVS] Marktoberdorf Summer School 2026: Call for Participation Mueller Peter
• [PVS] FSCD workshops at FLoC geoff
• [PVS] CREST'26 at FLoC'26 - Call for Presentations Stefan Leue
• [PVS] TSD 2026 - 1st Call for Papers TSD 2026
• [PVS] ICSC2026 CFP: The Sixth Intelligent Cybersecurity Conference, 15 - 18 September 2026 | Abu Dhabi, UAE Intelligent Cybersecurity Conference
• [PVS] MESS'2026 summer school: Quantum & Neuromorphic Optimization El-Ghazali Talbi
• [PVS] PhD Position in Bridging the Gap Between Mathematical Numbers and Software Systems (Deadline: 2026-03-22) Achim D. Brucker
• [PVS] Call for Participation: Workshop on AI and Theorem Provers in Mathematics (AITPM) Achim D. Brucker
• [PVS] Second CfP: Festschrift and Workshop in Honor of David Basin (Deadline: 21st May 2026) Achim D. Brucker
• [PVS] Call for Papers: ACM GOODIT 2026 Dr. Shadi Attarha
• [PVS] LSFA 2026 Second Call for Papers Alexandre Madeira
• [PVS] PhD position in formal methods for cyber-physical systems in a Marie Curie Doctoral Network Peter Csaba Ølveczky
• [PVS] [CFP] 17th Graph Computation Models Workshop - STAF 2026 - Deadline: 19 April Stefania Dumbrava
• [PVS] SYNASC 2026 - First Call for Papers SYNASC 2026
• [PVS] Call for papers: SSS 2026 (The 28th International Symposium on Stabilization, Safety, and Security of Distributed Systems) Kulkarni, Sandeep
• [PVS] 1st CfP: 28th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'26) Peter Csaba Ølveczky
• [PVS] Nominations for Bill McCune PhD Award in Automated Reasoning 2026 geoff
• [PVS] CFP: ICSEng 2026 Las Vegas, NV, USA: International Conference on Systems Engineering ICSEng Conference
• [PVS] Festschrift in Honor of Christoph Weidenbach's 60th Birthday: [Deadline Extension] geoff
• [PVS] International Workshop on Formal Requirements Engineering and Artificial Intelligence: Call for Papers Gopinath, Divya (ARC-TI)[KBR Wyle Services, LLC]
• [PVS] 2nd Workshop on Machine Learning for Solvers and Provers geoff
• [PVS] [cfp] (LPNMR 2026) 18th International Conference on Logic Programming and Non-monotonic Reasoning Antonio Ielo
• [PVS] Symbolic Computation and Machine Learning - SCML 2026 geoff
• [PVS] Tools for Educational Activities in Logic (TEAL@FLoC'26) Luigia Petre
• [PVS] FLoC Workshops - All the Calls geoff
• [PVS] CALL FOR PAPERS Spyros Roros
• [PVS] FTfJP CfP, deadline extended Akos Hajdu
• [PVS] 15th Summer School on Formal Techniques, May 23 - 29, 2026, Atherton, California Natarajan Shankar
• [PVS] CfP: 19th Conference on Intelligent Computer Mathematics (CICM 2026) Martina Seidl
• [PVS] TCS special issue on Universality in Logics and Physics --- Tribute to Gilles Dowek Frédéric Blanqui
• [PVS] [GoodIT26] 6th ACM International Conference on Information Technology for Social Good Michienzi Andrea
  • [PVS] [GoodIT26] 6th ACM International Conference on Information Technology for Social Good Salvatore Gatto
• [PVS] Final CfP: REVERSIBLE COMPUTATION 2026 –18th International Conference on Reversible Computation, July 9–10, 2026, Torino, Italy (extended deadlines) Clément Aubert
• [PVS] [CFP] IEEE CAMAD 2026, Nicosia, Cyprus, Submission Deadline: April 24th, 2026 Andreas Andreou
  • [PVS] [CFP] IEEE CAMAD 2026, Nicosia, Cyprus, Submission Deadline: April 24th, 2026 Andreas Andreou
  • [PVS] [CFP] IEEE CAMAD 2026, Nicosia, Cyprus, Submission Deadline: April 24th, 2026 Andreas Andreou
  • [PVS] [CFP] IEEE CAMAD 2026, Nicosia, Cyprus, Submission Deadline: April 24th, 2026 Andreas Andreou
  • [PVS] [CFP] IEEE CAMAD 2026, Nicosia, Cyprus, Submission Deadline: April 24th, 2026 Andreas Andreou
  • [PVS] [CFP] IEEE CAMAD 2026, Nicosia, Cyprus, Submission Deadline: April 24th, 2026 Andreas Andreou
• [PVS] 【CFP】2026 International Conference on Artificial Intelligence for Health and Education (ICAIHE2026) July 8-10, 2026, Tokyo, Japan Ruichen Cong
• [PVS] [CFP] "Workshop on Petri Nets for Adaptive Systems 2026 (PNAS'26)" Köhler-Bußmeier , Michael
• [PVS] Call for Papers: Formal Methods Teaching Workshop (FMTea 2026) Gustavo Carvalho
• [PVS] [GoodIT 2026] Call for Special Tracks Proposal@ACM 6th International Conference on Information Technology for Social Good Montagna, Sara
• [PVS] ITP 2027 - Call for Bids Munoz, Cesar A. (LARC-D320)
• [PVS] [fm-announcements] Call for Papers: DESTION Workshop 2026 Ivan Ruchkin via fm-announcements
• [PVS] ITP'26: Second Call for Papers Tobias Nipkow
• [PVS] NEU: Festschrift and Workshop in Honor of David Basin (Deadline: 21st May 2026) Achim D. Brucker
• [PVS] CFP "Petri Nets 2026" Köhler-Bußmeier , Michael
• [PVS] LSFA 2026 Announcement and First Call for Papers Alexandre Madeira
  • [PVS] LSFA 2026 Announcement and First Call for Papers Alexandre Madeira
• [PVS] MFCS 2026 - First Call for Papers Sarah Winter
• [PVS] Vampire 2026 workshop at FLoC 2026 geoff
• [PVS] CFP [Extended Deadline] - ISIoT’2026 to February 8, 2026 (ENSA Fez, Morocco, May 14-15, 2026) Mohammed FATTAH
  • [PVS] CFP [Extended Deadline] - ISIoT’2026 to February 8, 2026 (ENSA Fez, Morocco, May 14-15, 2026) Mohammed FATTAH
• [PVS] IEEE conference call: The (IEEE) 2026 International Conference on Revolutionary Artificial Intelligence and Future Applications (Rev-AI 2026) intelligentsystem
• [PVS] 2nd CfP: REVERSIBLE COMPUTATION 2026 –18th International Conference on Reversible Computation, July 9–10, 2026, Torino, Italy Clément Aubert
• [PVS] Happy UNESCO World Logic Day 2026! wld.assistantcoordinator
• [PVS] FTfJP 2026 at ECOOP Call for Papers Akos Hajdu
• [PVS] [C.A.R.L.A. 2026 - Call for Papers] 2nd Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action, Lisbon, Portugal | July 18, 2025 Manuel Alejandro Borroto Santana
• [PVS] 9th Advanced Course on Data Science & Machine Learning - ACDL 2026 - From AI Agents to Agentic AI | June 8-12 | Riva del Sole Resort & SPA - Italy -> ⏰ Early Registration: by 23 February TaoSciences Research
• [PVS] Second CfP: SPIN 2026 - Deadline: January 22 (Torino, Italy, Colocated with ETAPS) Vincenzo Ciancia
• [PVS] ITP'26:  Second Call for Papers Slusarz, Natalia
• [PVS] Deadline extended OLA'2026 @Creta (Greece) El-Ghazali Talbi
• [PVS] Research positions in Theorem Proving in AI and Math geoff
• [PVS] FMICS: Call for Papers Rozier, Kristin-Yvonne [AER E]
• [PVS] Fully-funded Ph.D. positions in combating technical debt in Machine Learning systems in New York City Raffi Khatchadourian
• [PVS] FMBC 2026 - Second Call for Papers Marmsoler, Diego
• [PVS] [CFP] Euro-Par 2026 - 32nd International European Conference on Parallel and Distributed Computing Valerio Besozzi
  • [PVS] [CFP] Euro-Par 2026 - 32nd International European Conference on Parallel and Distributed Computing Valerio Besozzi
  • [PVS] [CFP] Euro-Par 2026 - 32nd International European Conference on Parallel and Distributed Computing Valerio Besozzi
  • [PVS] [CFP] Euro-Par 2026 - 32nd International European Conference on Parallel and Distributed Computing Valerio Besozzi
• [PVS] Fully funded PhD and Postdoc in Quantum Software, Aarhus, Denmark Jaco van de Pol
• [PVS] Post-Doctoral Position at University of Konstanz Stefan Leue
• [PVS] Call for Papers: 47th International Conference on Applications and Theory of Petri Nets and Concurrency [Petri Nets 2026] Hamburg, Germany, June 22-26, 2026 Köhler-Bußmeier , Michael
• [PVS] CFP OLA'2026 Int. Conf. Optimization & Learning @Creta (Greece) El-Ghazali Talbi
• [PVS] [CoNEXT 2026] Call for papers GIOVANNI STANCO
• [PVS] CfP - Elsevier COMCOM - Special Issue on Intelligence and Service Orchestration in Next-Generation Mobile Networks GIOVANNI STANCO
• [PVS] Jonathan Bowen to give the Peter Landin Semantics Seminar: 4 December 2025, BCS London office and on Zoom Andrei Popescu
• [PVS] Case Opened - 02974103 - Call for Papers: SPIN 2026: The 32nd International Symposium on Model Checking Software [email protected]
• [PVS] Call for Papers: SPIN 2026: The 32nd International Symposium on Model Checking Software Vincenzo Ciancia
• [PVS] [ CFP ] ISIoT 2026 Conference (Indexed by SCOPUS, published by Springer LNNS) Mohammed FATTAH
  • [PVS] [ CFP ] ISIoT 2026 Conference (Indexed by SCOPUS, published by Springer LNNS) Mohammed FATTAH
  • [PVS] [ CFP ] ISIoT 2026 Conference (Indexed by SCOPUS, published by Springer LNNS) Mohammed FATTAH
  • [PVS] [ CFP ] ISIoT 2026 Conference (Indexed by SCOPUS, published by Springer LNNS) Mohammed FATTAH
  • [PVS] [ CFP ] ISIoT 2026 Conference (Indexed by SCOPUS, published by Springer LNNS) ISIOT Conference USMBA
  • [PVS] [ CFP ] ISIoT 2026 Conference (Indexed by SCOPUS, published by Springer LNNS) Mohammed FATTAH
  • [PVS] [ CFP ] ISIoT 2026 Conference (Indexed by SCOPUS, published by Springer LNNS) Mohammed FATTAH
  • [PVS] [ CFP ] ISIoT 2026 Conference (Indexed by SCOPUS, published by Springer LNNS) Mohammed FATTAH
• [PVS] Case Opened - 02972089 - FME Teaching Tutorial on November 28, 2025 @ 10 am CET: Prof Graeme Smith, University of Queensland, Australia, on "Autograding weakest precondition proofs and Dafny specifications" [email protected]
• [PVS] FME Teaching Tutorial on November 28, 2025 @ 10 am CET: Prof Graeme Smith, University of Queensland, Australia, on "Autograding weakest precondition proofs and Dafny specifications" Luigia Petre
• [PVS] FMBC 2026 - First Call for Papers Marmsoler, Diego
• [PVS] [CFW] Euro-Par 2026 - 32nd International European Conference on Parallel and Distributed Computing Valerio Besozzi
  • [PVS] [CFW] Euro-Par 2026 - 32nd International European Conference on Parallel and Distributed Computing Valerio Besozzi
  • [PVS] [CFW] Euro-Par 2026 - 32nd International European Conference on Parallel and Distributed Computing Valerio Besozzi
  • [PVS] [CFW] Euro-Par 2026 - 32nd International European Conference on Parallel and Distributed Computing Valerio Besozzi
• [PVS] Case Opened - 02968431 - Final Call for Papers: Tests and Proofs (TAP) -- Now a Track at FM 2026 [email protected]
• [PVS] Final Call for Papers: Tests and Proofs (TAP) -- Now a Track at FM 2026 Achim D. Brucker
• [PVS] Case Opened - 02962562 - ICCABS 2026 - Call For Papers [email protected]
• [PVS] ITP 2026: Call for Papers Slusarz, Natalia
• [PVS] CfP: REVERSIBLE COMPUTATION 2026 –18th International Conference on Reversible Computation, July 9–10, 2026, Torino, Italy Clément Aubert
• [PVS] CFPs: The International Conference on Engineering and Sciences (ICETS 2026), April 4-5, 2026, Cairo, Egypt icets
• [PVS] [CFP] [EXTENSION] AHPC3 2026: The 3rd Workshop on Accelerated HPC in the Cloud-Edge Continuum Matteo Della Bartola
• [PVS] [fm-announcements] Call for papers: ​3rd International Conference on Neuro-Symbolic Systems (NeuS) Ivan Ruchkin via fm-announcements
• [PVS] Case Opened - 02945162 - FORMALISE 2026 - Deadline Extension - Thu 6 Nov 2025 [email protected]
• [PVS] FORMALISE 2026 - Deadline Extension - Thu 6 Nov 2025 Claudio MENGHI
• [PVS] Case Opened - 02925624 - SAC-SVT 2026 CfP: Software Verification and Testing Track at SAC 2026: extended deadline October 10, 2025 [email protected]
• [PVS] Jeremy Avigad to give this year's LMS/BCS-FACS Evening Seminar -- 6 November 2025, online via Zoom Andrei Popescu
  • Re: [PVS] Jeremy Avigad to give this year's LMS/BCS-FACS Evening Seminar -- 6 November 2025, online via Zoom Andrei Popescu
  • Re: [PVS] Jeremy Avigad to give this year's LMS/BCS-FACS Evening Seminar: "Mathematics in the Age of AI" -- 6 November 2025, online via Zoom Andrei Popescu
  • [PVS] LMS Computer Science Colloquium 2025: Combinatorics and Computing, 9 Dec. 2025, De Morgan House, London, UK & online via Zoom Andrei Popescu
• [PVS] [fm-announcements] Call for Papers: AAAI’26 Bridge Program “Making Embodied AI Reliable with Testing and Formal Verification” Ivan Ruchkin via fm-announcements
• [PVS] SAC-SVT 2026 CfP: Software Verification and Testing Track at SAC 2026: extended deadline October 10, 2025 Wijs, Anton
• [PVS] Call for Papers: FormaliSE 2026 (submission deadline approaching) Claudio MENGHI
• [PVS] 3rd Artificial Intelligence Summit (AI Summit 2026) - There are no registration fees for the Invited Speakers Maria Papadopoulou
• [PVS] SAC-SVT 2026 CfP: final extended deadline October 17, 2025 Wijs, Anton
• [PVS] CFP(Extented Paper Submission Due: Oct. 5, 2025): International Workshop on LLM and Agentic AI for Personalized Learning (LAAPL 2025) on ICWL-SETE 2025 at Hong Kong, Nov. 30, 2025 Ruichen Cong
• [PVS] [CFP] AHPC3 2026: The 3rd Workshop on Accelerated HPC in the Cloud-Edge Continuum Matteo Della Bartola
  • [PVS] [CFP] AHPC3 2026: The 3rd Workshop on Accelerated HPC in the Cloud-Edge Continuum Matteo Della Bartola
  • [PVS] [CFP] AHPC3 2026: The 3rd Workshop on Accelerated HPC in the Cloud-Edge Continuum Matteo Della Bartola
• [PVS] Case Opened - 02925620 - Call for Papers: FormaliSE 2026 (submission deadline approaching) [email protected]
• [PVS] Case Opened - 02925622 - [CFP]: Festschrift in Honor of Christoph Weidenbach's 60th Birthday [email protected]
• [PVS] [CFP]: Festschrift in Honor of Christoph Weidenbach's 60th Birthday geoff
• [PVS] [fm-announcements] CFP: 16th International Workshop on Rewriting Logic and its Applications (WRLA 2026) Munoz, Cesar A. (LARC-D320) via fm-announcements
• [PVS] Case Opened - 02909838 - Synchron 2025 Registration is open [email protected]
• [PVS] Synchron 2025 Registration is open Erwan jahier
• [PVS] FME Teaching Tutorial on September 26, 2025 @ 3 pm CEST: Gustavo Carvalho, Universidade Federal de Pernambuco, Brazil, on "A personal account on teaching formal methods in Brazil: From specifications to code with B" Luigia Petre
• [PVS] [fm-announcements] NASA Formal Methods (NFM) 2026 - Call for Papers Havelund, Klaus (US 348B) via fm-announcements
• [PVS] Case Opened - 02905437 - 10th International Conference on Mathematical Models & Computational Techniques in Science & Engineering, Athens, Greece, January 16-18, 2026. [email protected]
• [PVS] CFP OLA'2026 Optimization & Learning @Crete (Greece) El-Ghazali Talbi
• [PVS] 10th International Conference on Mathematical Models & Computational Techniques in Science & Engineering, Athens, Greece, January 16-18, 2026. Dr. Dimitris Chatzipavlou
  • [PVS] 10th International Conference on Mathematical Models & Computational Techniques in Science & Engineering, Athens, Greece, January 16-18, 2026. Dr. Dimitris Chatzipavlou
• [PVS] HPC Session in Modelling and Simulation at PDP 2026 - Cluj-Napoca (Romania) William Spataro
• [PVS] Case Opened - 02895100 - SAC-SVT 2026 CfP: Software Verification and Testing Track at SAC 2026: deadline September 26, 2025 [email protected]
• [PVS] SAC-SVT 2026 CfP: Software Verification and Testing Track at SAC 2026: deadline September 26, 2025 Wijs, Anton
• [PVS] Case Opened - 02891593 - ICSEng 2025 - Third Call for Paper [email protected]
• [PVS] Case Opened - 02891573 - Final Extension of Deadlines – SYMRESEARCH 2.0 Abstract Submission & Registration [email protected]
• [PVS] Case Opened - 02891550 - Last CFP - CPP 2026 - Certified Programs and Proofs [email protected]
• [PVS] Case Opened - 02891547 - Call for Papers: FORMALISE 2026 [email protected]
• [PVS] ICSEng 2025 - Third Call for Paper ICSEng 2025
• [PVS] Last CFP - CPP 2026 - Certified Programs and Proofs nicolas tabareau
• [PVS] Call for Papers: FORMALISE 2026 Claudio MENGHI
• [PVS] Case Opened - 02883974 - Call for Abstracts: Workshop on Natural Formal Mathematics (NatFoM 2025) in Brasilia [email protected]
• [PVS] Call for Abstracts: Workshop on Natural Formal Mathematics (NatFoM 2025) in Brasilia Serge Autexier
• [PVS] SIoTEc 2025 - 6th edition of ACM Workshop on Secure IoT, Edge and Cloud systems angalletta
• [PVS] CFP(Paper Submission Due: Sep. 21, 2025): International Workshop on LLM and Agentic AI for Personalized Learning (LAAPL 2025) on ICWL-SETE 2025 at Hong Kong, Nov. 30, 2025 Ruichen Cong
  • [PVS] CFP(Paper Submission Due: Sep. 21, 2025): International Workshop on LLM and Agentic AI for Personalized Learning (LAAPL 2025) on ICWL-SETE 2025 at Hong Kong, Nov. 30, 2025 Ruichen Cong
• [PVS] Case Opened - 02878788 - ICSEng 2025 - Second Call for Paper [email protected]
• [PVS] ICSEng 2025 - Second Call for Paper ICSEng 2025
• [PVS] [CFP] Wireless Days 2025 - Deadline Extended - Last Chance to Submit to Main Track Diogo Menezes Ferrazani Mattos
  • [PVS] [CFP] Wireless Days 2025 - Deadline Extended - Last Chance to Submit to Main Track Diogo Menezes Ferrazani Mattos
  • [PVS] [CFP] Wireless Days 2025 - Deadline Extended - Last Chance to Submit to Main Track Diogo Menezes Ferrazani Mattos
  • [PVS] [CFP] Wireless Days 2025 - Deadline Extended - Last days! Diogo Menezes Ferrazani Mattos
• [PVS] [Deadline Extended September 7, 2025 ] CfP: ISGTA 2025 || November 19 - 21, 2025 - Portalegre, Portugal Mohamed lahby
• [PVS] Case Opened - 02874229 - MCSI 2025. Rhodes Island (Rodos Island), Greece, August 22-24, 2025. [email protected]
• Re: [PVS] [CFP] International Symposium on Edge intelligence, Trustworthy and Decentralized Artificial Intelligence (iEDGE 2025) - EXTENDED DEADLINE LEANNA COTTONE
• [PVS] CFP【Paper Submission Due: Sep. 21, 2025】: International Workshop on LLM and Agentic AI for Personalized Learning (LAAPL 2025) on ICWL-SETE 2025 at Hong Kong, Nov. 30, 2025 Ruichen Cong
• [PVS] 2nd CfP: REACTS'25 - International Workshop on Reconfigurable Transition Systems, Nov 11, 2025 José Proença
• [PVS] Case Opened - 02864862 - [CFP] International Symposium on Edge intelligence, Trustworthy and Decentralized Artificial Intelligence (iEDGE 2025) - EXTENDED DEADLINE [email protected]
• [PVS] [CFP] Wireless Days (WD 2025) 1-3 December 2025, Rio de Janeiro, Brazil Diogo Menezes Ferrazani Mattos
• [PVS] [SBMF 2025] Deadline Extension Leopoldo Motta Teixeira
  • Re: [PVS] [SBMF 2025] Deadline Extension LEANNA COTTONE
• [PVS] CFP(Final Extension, Late Breaking Submission Open to Aug. 8, 2025): The 10th IEEE Cyber Science and Technology Congress (CyberSciTech) - Hakodate City, Hokkaido, Japan, October 21-24, 2025 Ruichen Cong
• [PVS] ICSEng 2025 - Call for Paper ICSEng 2025
• [PVS] First Call for Workshops - FLoC 2026 — The 2026 Federated Logic Conference Miguel Areias
• [PVS] Case Opened - 02860050 - FLoC 2026 Call for Workshops [email protected]
• [PVS] FLoC 2026 Call for Workshops geoff
• [PVS] CFP ISIC 2025 - Springer - Deadline 31 July 2025 SARIKA JAIN
• [PVS] [ICLP 2025 - Last Call for Participation] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025 Manuel Alejandro Borroto Santana
• [PVS] [Call for Alain Colmerauer Award] - Nominations for the 2025 edition of the Alain Colmerauer Prize Manuel Alejandro Borroto Santana
• [PVS] FME Teaching Tutorial on August 1, 2025 @ 3 pm CEST: Dragana Milovancevic, EPFL, Switzerland, on Formal Autograding in a Classroom Luigia Petre
• [PVS] Call for Papers: Tests and Proofs (TAP) (Now a Track at FM 2026) Achim D. Brucker
  • [PVS] Call for Papers: Tests and Proofs (TAP) (Now a Track at FM 2026) Achim D. Brucker
• [PVS] [ICLP 2025 - Call for Participation] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025 Manuel Alejandro Borroto Santana
• [PVS] CFP(Final Extension, Late Breaking Submission Open to Jul. 31, 2025): The 10th IEEE Cyber Science and Technology Congress (CyberSciTech) - Hakodate City, Hokkaido, Japan, October 21-24, 2025 Ruichen Cong
• [PVS] [CFP] Special Issue in Accelerated HPC in the Cloud-Edge Continuum (JNDC, SpringerNature) Valerio Besozzi
• [PVS] Doctoral / Post-Doctoral Position at University of Konstanz Stefan Leue
• [PVS] AIMS 2025 (Co-Sponsored by IEEE): 2025 Artificial intelligence Models and Systems Symposium, 25-28 November, 2025 | Vienna, Austria Large language model
• [PVS] 16th Service oriented Enterprise Architecture for Enterprise Engineering Workshop (SoEA4EE @ EDOC + CBI) - CALL for PAPERS Selmin Nurcan
• [PVS] FP(Deadline Extended to July 11, 2025): The 10th IEEE Cyber Science and Technology Congress (CyberSciTech) - Hakodate City, Hokkaido, Japan, October 21-24, 2025 Ruichen Cong
• [PVS] Save the Date: ACDL 2026, 9th Advanced Course on Data Science & Machine Learning - From Generative AI to AI Agents | June 8-11 | Riva del Sole Resort & SPA - Italy ⏰ Early Registration: by 23 February Ludovico Montalcini
• [PVS] [Deadline Extended] Call for Papers: 5th International Workshop From Cloud to Things: towards the convergence of IoT, Edge and Cloud Computing - Cloud2Things 2025 angalletta
• [PVS] IEEE CHILECON2025 - new deadline - July 17th CLEI 2025 . -
• [PVS] CFP(Deadline Extended to July 11, 2025): The 10th IEEE Cyber Science and Technology Congress (CyberSciTech) - Hakodate City, Hokkaido, Japan, October 21-24, 2025 Xiaokang Zhou
• [PVS] CFP: Special Issue on “Bridging Formal Verification and Neural Networks: Ensuring Reliable Networked Systems” for Discover Networks (Springer Nature) Osman Hasan
• [PVS] [AI3 2025 - Final Call for Papers] *DEADLINES EXTENSION* 9th Workshop on Advances in Argumentation in Artificial Intelligence Manuel Alejandro Borroto Santana
• [PVS] ASPOCP 2025 Cfp - EXTENDED SUBMISSION DEADLINE Manuel Alejandro Borroto Santana
• [PVS] [CFP][IEEE PICom 2025] - Regular Paper Deadline Extended: New Due 2 July 2025 Antonio Guerrieri
• [PVS] CADE-30 Call for Participation - Early Registration Deadline June 23rd, 2025 geoff
• [PVS] CONFEST 2025 (CONCUR, FMICS, QEST+FORMATS): Call for Participation Jaco van de Pol
  • [PVS] CONFEST 2025 - CONCUR, FMICS, QEST+FORMATS - Registration Deadline Jaco van de Pol
• [PVS] [EDAS-CFP] Call-for-papers 2025 16th IFIP Wireless and Mobile Networking Conference (WMNC) (WMNC 2025) - Submission due 1st July Peppino FAZIO
• [PVS] 16th IFIP Wireless and Mobile Networking Conference (WMNC) 2025, 27-28 Leuven, Belgium giovanni grieco
• [PVS] CfP: REACTS'25 - International Workshop on Reconfigurable Transition Systems, Nov 10-11, 2025 José Proença
• [PVS] Call for faculty positions at PUCV, Chile Claudio Alonso Cubillos Figueroa
  • [PVS] Call for faculty positions in Software Engineering at PUCV, Chile Claudio Alonso Cubillos Figueroa

• Earlier messages