pvs  

Messages by Date

• 2025/09/22 [PVS] Case Opened - 02909838 - Synchron 2025 Registration is open onlinebill...@quest.com
• 2025/09/22 [PVS] Synchron 2025 Registration is open Erwan jahier
• 2025/09/19 [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
• 2025/09/19 [PVS] [fm-announcements] NASA Formal Methods (NFM) 2026 - Call for Papers Havelund, Klaus (US 348B) via fm-announcements
• 2025/09/17 [PVS] Case Opened - 02905437 - 10th International Conference on Mathematical Models & Computational Techniques in Science & Engineering, Athens, Greece, January 16-18, 2026. onlinebill...@quest.com
• 2025/09/17 [PVS] CFP OLA'2026 Optimization & Learning @Crete (Greece) El-Ghazali Talbi
• 2025/09/17 [PVS] 10th International Conference on Mathematical Models & Computational Techniques in Science & Engineering, Athens, Greece, January 16-18, 2026. Dr. Dimitris Chatzipavlou
• 2025/09/17 [PVS] 10th International Conference on Mathematical Models & Computational Techniques in Science & Engineering, Athens, Greece, January 16-18, 2026. Dr. Dimitris Chatzipavlou
• 2025/09/17 [PVS] HPC Session in Modelling and Simulation at PDP 2026 - Cluj-Napoca (Romania) William Spataro
• 2025/09/17 [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
• 2025/09/07 [PVS] Case Opened - 02895100 - SAC-SVT 2026 CfP: Software Verification and Testing Track at SAC 2026: deadline September 26, 2025 onlinebill...@quest.com
• 2025/09/07 [PVS] SAC-SVT 2026 CfP: Software Verification and Testing Track at SAC 2026: deadline September 26, 2025 Wijs, Anton
• 2025/09/03 [PVS] Case Opened - 02891593 - ICSEng 2025 - Third Call for Paper onlinebill...@quest.com
• 2025/09/03 [PVS] Case Opened - 02891573 - Final Extension of Deadlines – SYMRESEARCH 2.0 Abstract Submission & Registration onlinebill...@quest.com
• 2025/09/03 [PVS] Case Opened - 02891550 - Last CFP - CPP 2026 - Certified Programs and Proofs onlinebill...@quest.com
• 2025/09/03 [PVS] Case Opened - 02891547 - Call for Papers: FORMALISE 2026 onlinebill...@quest.com
• 2025/09/03 [PVS] ICSEng 2025 - Third Call for Paper ICSEng 2025
• 2025/09/03 [PVS] [CFP] Wireless Days 2025 - Deadline Extended - Last days! Diogo Menezes Ferrazani Mattos
• 2025/09/03 [PVS] Last CFP - CPP 2026 - Certified Programs and Proofs nicolas tabareau
• 2025/09/03 [PVS] Call for Papers: FORMALISE 2026 Claudio MENGHI
• 2025/09/03 [PVS] [CFP] Wireless Days 2025 - Deadline Extended - Last Chance to Submit to Main Track Diogo Menezes Ferrazani Mattos
• 2025/08/26 [PVS] Case Opened - 02883974 - Call for Abstracts: Workshop on Natural Formal Mathematics (NatFoM 2025) in Brasilia onlinebill...@quest.com
• 2025/08/26 [PVS] Call for Abstracts: Workshop on Natural Formal Mathematics (NatFoM 2025) in Brasilia Serge Autexier
• 2025/08/25 [PVS] [CFP] Wireless Days 2025 - Deadline Extended - Last Chance to Submit to Main Track Diogo Menezes Ferrazani Mattos
• 2025/08/25 [PVS] SIoTEc 2025 - 6th edition of ACM Workshop on Secure IoT, Edge and Cloud systems angalletta
• 2025/08/22 [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
• 2025/08/20 [PVS] Case Opened - 02878788 - ICSEng 2025 - Second Call for Paper onlinebill...@quest.com
• 2025/08/20 [PVS] ICSEng 2025 - Second Call for Paper ICSEng 2025
• 2025/08/19 [PVS] [CFP] Wireless Days 2025 - Deadline Extended - Last Chance to Submit to Main Track Diogo Menezes Ferrazani Mattos
• 2025/08/19 [PVS] [Deadline Extended September 7, 2025 ] CfP: ISGTA 2025 || November 19 - 21, 2025 - Portalegre, Portugal Mohamed lahby
• 2025/08/15 [PVS] Case Opened - 02874229 - MCSI 2025. Rhodes Island (Rodos Island), Greece, August 22-24, 2025. onlinebill...@quest.com
• 2025/08/11 Re: [PVS] [CFP] International Symposium on Edge intelligence, Trustworthy and Decentralized Artificial Intelligence (iEDGE 2025) - EXTENDED DEADLINE LEANNA COTTONE
• 2025/08/11 [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
• 2025/08/05 [PVS] 2nd CfP: REACTS'25 - International Workshop on Reconfigurable Transition Systems, Nov 11, 2025 José Proença
• 2025/08/05 [PVS] Case Opened - 02864862 - [CFP] International Symposium on Edge intelligence, Trustworthy and Decentralized Artificial Intelligence (iEDGE 2025) - EXTENDED DEADLINE onlinebill...@quest.com
• 2025/08/05 [PVS] [CFP] Wireless Days (WD 2025) 1-3 December 2025, Rio de Janeiro, Brazil Diogo Menezes Ferrazani Mattos
• 2025/08/05 Re: [PVS] [SBMF 2025] Deadline Extension LEANNA COTTONE
• 2025/08/03 [PVS] [SBMF 2025] Deadline Extension Leopoldo Motta Teixeira
• 2025/08/03 [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
• 2025/08/03 [PVS] ICSEng 2025 - Call for Paper ICSEng 2025
• 2025/08/03 [PVS] First Call for Workshops - FLoC 2026 — The 2026 Federated Logic Conference Miguel Areias
• 2025/07/31 [PVS] Case Opened - 02860050 - FLoC 2026 Call for Workshops onlinebill...@quest.com
• 2025/07/31 [PVS] FLoC 2026 Call for Workshops geoff
• 2025/07/31 [PVS] CFP ISIC 2025 - Springer - Deadline 31 July 2025 SARIKA JAIN
• 2025/07/29 [PVS] 2nd CFP - CPP 2026 - Certified Programs and Proofs nicolas tabareau
• 2025/07/29 [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
• 2025/07/29 [PVS] [Call for Alain Colmerauer Award] - Nominations for the 2025 edition of the Alain Colmerauer Prize Manuel Alejandro Borroto Santana
• 2025/07/26 [PVS] FME Teaching Tutorial on August 1, 2025 @ 3 pm CEST: Dragana Milovancevic, EPFL, Switzerland, on Formal Autograding in a Classroom Luigia Petre
• 2025/07/26 [PVS] Call for Papers: Tests and Proofs (TAP) (Now a Track at FM 2026) Achim D. Brucker
• 2025/07/23 [PVS] Call for Papers: Tests and Proofs (TAP) (Now a Track at FM 2026) Achim D. Brucker
• 2025/07/18 [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
• 2025/07/16 [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
• 2025/07/16 [PVS] CONFEST 2025 - CONCUR, FMICS, QEST+FORMATS - Registration Deadline Jaco van de Pol
• 2025/07/13 [PVS] [CFP] Special Issue in Accelerated HPC in the Cloud-Edge Continuum (JNDC, SpringerNature) Valerio Besozzi
• 2025/07/13 [PVS] Doctoral / Post-Doctoral Position at University of Konstanz Stefan Leue
• 2025/07/13 [PVS] AIMS 2025 (Co-Sponsored by IEEE): 2025 Artificial intelligence Models and Systems Symposium, 25-28 November, 2025 | Vienna, Austria Large language model
• 2025/07/08 [PVS] 16th Service oriented Enterprise Architecture for Enterprise Engineering Workshop (SoEA4EE @ EDOC + CBI) - CALL for PAPERS Selmin Nurcan
• 2025/07/08 [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
• 2025/07/05 [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
• 2025/07/05 [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
• 2025/07/01 [PVS] IEEE CHILECON2025 - new deadline - July 17th CLEI 2025 . -
• 2025/07/01 [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
• 2025/06/30 [PVS] SYNASC 2025 - Final Call for Papers SYNASC 2025
• 2025/06/26 [PVS] CFP: Special Issue on “Bridging Formal Verification and Neural Networks: Ensuring Reliable Networked Systems” for Discover Networks (Springer Nature) Osman Hasan
• 2025/06/26 [PVS] [AI3 2025 - Final Call for Papers] *DEADLINES EXTENSION* 9th Workshop on Advances in Argumentation in Artificial Intelligence Manuel Alejandro Borroto Santana
• 2025/06/25 [PVS] ASPOCP 2025 Cfp - EXTENDED SUBMISSION DEADLINE Manuel Alejandro Borroto Santana
• 2025/06/22 [PVS] [CFP][IEEE PICom 2025] - Regular Paper Deadline Extended: New Due 2 July 2025 Antonio Guerrieri
• 2025/06/22 [PVS] SYNASC 2025 - Final Call for Papers SYNASC 2025
• 2025/06/20 [PVS] CADE-30 Call for Participation - Early Registration Deadline June 23rd, 2025 geoff
• 2025/06/20 [PVS] CONFEST 2025 (CONCUR, FMICS, QEST+FORMATS): Call for Participation Jaco van de Pol
• 2025/06/20 [PVS] [EDAS-CFP] Call-for-papers 2025 16th IFIP Wireless and Mobile Networking Conference (WMNC) (WMNC 2025) - Submission due 1st July Peppino FAZIO
• 2025/06/19 [PVS] 16th IFIP Wireless and Mobile Networking Conference (WMNC) 2025, 27-28 Leuven, Belgium giovanni grieco
• 2025/06/18 [PVS] CfP: REACTS'25 - International Workshop on Reconfigurable Transition Systems, Nov 10-11, 2025 José Proença
• 2025/06/17 [PVS] Call for faculty positions in Software Engineering at PUCV, Chile Claudio Alonso Cubillos Figueroa
• 2025/06/17 [PVS] Call for faculty positions at PUCV, Chile Claudio Alonso Cubillos Figueroa
• 2025/06/17 [PVS] CFP: The 1st International Workshop on AI-empowered Digital Health and Well-being Promotion (AI-DHWP) on IEEE CyberSciTech 2025 Ruichen Cong
• 2025/06/16 [PVS] 1st CFP - CPP 2026 - Certified Programs and Proofs nicolas tabareau
• 2025/06/12 [PVS] [Final CFP]: IDSTA2025, Varna, Bulgaria, IEEE Co-sponsored, Data Science and AI Conference IDSTA2025
• 2025/06/12 [PVS] PhD Position in Parametric Floating-Point Reasoning at Uppsala Tjark Weber
• 2025/06/12 [PVS] Call for participation to UNIF 2025 Laurent Vigneron
• 2025/06/11 [PVS] [19 days left] Call for Papers: 5th International Workshop From Cloud to Things: towards the convergence of IoT, Edge and Cloud Computing - Cloud2Things 2025 angalletta
• 2025/06/11 [PVS] [ICLP DC 2025 - Deadline Extended] 21st Doctoral Consortium (DC) on Logic Programming | University of Calabria, Rende, Italy | September 12-19, 2025 Manuel Alejandro Borroto Santana
• 2025/06/11 [PVS] [IEEE PICom 2025] – Regular Paper Deadline Extended to June 20! Antonio Guerrieri
• 2025/06/11 [PVS] CADE-30 Call for Participation geoff
• 2025/06/11 [PVS] [ICLP 2025 - Call for Student Grants] 41st International Conference on Logic Programming (ICLP’25), University of Calabria, Rende, Italy | September 12-19, 2025 Manuel Alejandro Borroto Santana
• 2025/06/11 [PVS] FLLM2025 (Co-Sponsored by IEEE): The 3nd International Conference on Foundation and Large Language Models, 25-28 November, 2025 | Vienna, Austria Foundation and Large Language Models
• 2025/06/08 [PVS] IS-HIS 2025 (Technically Co-Sponsored by IEEE ). The International Symposium on Intelligent and Secure Health Informatics Systems, 1 - 4 Sept. 2025 | Varna, Bulgaria. Intelligent Systems
• 2025/06/08 [PVS] Assist./Assoc. Professor Positions at NII, Tokyo Ichiro Hasuo
• 2025/06/04 [PVS] [CFP][DEADLINE EXTENDED] AHPC3: The 2nd Workshop on Accelerated HPC in the Cloud-Edge Continuum Valerio Besozzi
• 2025/06/04 [PVS] CFP: The 10th IEEE Cyber Science and Technology Congress (CyberSciTech) - Hakodate City, Hokkaido, Japan, October 21-24, 2025 Xiaokang Zhou
• 2025/06/03 [PVS] Call for Papers - IEEE DS-RT 2025 - Deadline extended Miralem Mehic
• 2025/06/01 [PVS] [C.A.R.L.A. 2025 - Deadline Extended] 1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action, University of Calabria, Rende, Italy | September 12-13, 2025 Manuel Alejandro Borroto Santana
• 2025/06/01 [PVS] FME Teaching Tutorial on June 6, 2025, 3pm CET: Prof Philip Wadler, University of Edinburgh, UK: Lambda, the Ultimate Teaching Assistant (Agda version) João F. Ferreira
• 2025/05/29 [PVS] [CFP][DEADLINE EXTENDED] AHPC3: The 2nd Workshop on Accelerated HPC in the Cloud-Edge Continuum Valerio Besozzi
• 2025/05/29 [PVS] DEADLINE EXTENSION - CFP: CDVE2025 - Bangkok, Thailand. October 19-22, 2025 Jaime Lloret Mauri
• 2025/05/29 [PVS] [CFP]: IDSTA2025, Varna, Bulgaria, IEEE Co-sponsored, Data Science and AI Conference IDSTA2025
• 2025/05/29 [PVS] DaLí 2025 - 3rd Call for Papers ** deadline extension ** Alexandre Madeira
• 2025/05/29 [PVS] [fm-announcements] PVS Day at NFM 2025, June 10, 2025 Munoz, Cesar A. (LARC-D320) via fm-announcements
• 2025/05/29 [PVS] SYNASC 2025 - Final Call for Papers SYNASC 2025
• 2025/05/26 CFP Extension for Christoph Weidenbach’s 60th Birthday geoff
• 2025/05/26 [PVS] Call for Papers - IEEE DS-RT 2025 - Deadline extended Miralem Mehic
• 2025/05/26 [PVS] Deadline Extension (Firm): CFP ACM GOODIT 2025 Antwerp, Belgium, 3-5 September 2025 Andrea Sabbioni
• 2025/05/23 [PVS] ITP 2025: Call for workshops Yannick Forster
• 2025/05/23 [PVS] [ICLP 2025 - Announcement of Accepted Workshops ] 41st International Conference on Logic Programming (ICLP’25), University of Calabria, Rende, Italy | September 12-19, 2025 Manuel Alejandro Borroto Santana
• 2025/05/20 [PVS] [AI3 2025 - Second Call for Papers] *DATES UPDATE* 9th Workshop on Advances in Argumentation in Artificial Intelligence Manuel Alejandro Borroto Santana
• 2025/05/19 [PVS] [IEEE PICom 2025] - Call For Papers Antonio Guerrieri
• 2025/05/18 [PVS] [CFP] International Symposium on Edge intelligence, Trustworthy and Decentralized Artificial Intelligence (iEDGE 2025) Antonio Guerrieri
• 2025/05/18 [PVS] CADE-30 Woodie Bledsoe Awards geoff
• 2025/05/18 [PVS] SYNASC 2025 - Final Call for Papers SYNASC 2025
• 2025/05/18 [PVS] [fm-announcements] DisCoTec Call for Participation - Early Registration Deadline Soon Matthew Alan Le Brun (PGR) via fm-announcements
• 2025/05/18 [PVS] Postdoc & senior researcher position in Tokyo Ichiro Hasuo
• 2025/05/13 [PVS] CFP: The 10th IEEE Cyber Science and Technology Congress (CyberSciTech) - Hakodate City, Hokkaido, Japan, October 21-24, 2025 Ruichen Cong
• 2025/05/13 [PVS] SMT 2025: Deadline extension geoff
• 2025/05/11 [PVS] SNAMS-2025 (Technically Co-Sponsored by IEEE ): The 12th International Conference on Social Networks Analysis, Management and Security, Vienna, Austria, November 25-28, 2025. Social Networks Analysis, Management and Security
• 2025/05/10 [PVS] [CFP] AHPC3: The 2nd Workshop on Accelerated HPC in the Cloud-Edge Continuum Valerio Besozzi
• 2025/05/09 [PVS] UNIF 2025: Extended submission deadline (May 17) Laurent Vigneron
• 2025/05/07 [PVS] [AI3 2025 - First Call for Papers] 9th Workshop on Advances in Argumentation in Artificial Intelligence Manuel Alejandro Borroto Santana
• 2025/05/07 [PVS] 1st International School on Logical Frameworks and Proof Systems Interoperability (LFPSI'25) Frédéric Blanqui
• 2025/05/07 [PVS] LSFA 2025: Extended Deadlines (abstracts: May 19, papers: May 26) Christophe Ringeissen
• 2025/05/07 [PVS] [CFP] AHPC3: The 2nd Workshop on Accelerated HPC in the Cloud-Edge Continuum Valerio Besozzi
• 2025/05/06 [PVS] Weidenbach'60: First-Order Reasoning. Call for Papers geoff
• 2025/05/06 [PVS] CICM 2025 *** DEADLINES FOR FORMAL SUBMISSIONS EXTENDED BY ANOTHER WEEK *** Serge Autexier
• 2025/05/05 [PVS] [CFP] AHPC3: The 2nd Workshop on Accelerated HPC in the Cloud-Edge Continuum Valerio Besozzi
• 2025/05/04 [PVS] Deadline Extension: CFP ACM GOODIT 2025 Antwerp, Belgium, 3-5 September 2025 Andrea Sabbioni
• 2025/05/02 [PVS] [C.A.R.L.A. 2025 - Call for Papers] 1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action, University of Calabria, Rende, Italy | September 12-13, 2025 Manuel Alejandro Borroto Santana
• 2025/05/01 [PVS] [fm-announcements] Call for Participation: NFM 2025 Slagel, Tanner (LARC-D320) via fm-announcements
• 2025/04/30 [PVS] FroCoS 2025 - Call for Papers geoff
• 2025/04/30 [PVS] [EXTERNAL] UNIF 2025 Last Call for Papers (a FSCD event) Laurent Vigneron
• 2025/04/29 [PVS] [EXTERNAL] [ICLP 2025 - CfP Special Tracks] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025 Manuel Alejandro Borroto Santana
• 2025/04/25 [PVS] [EXTERNAL] CICM 2025: 4th Announcement and Call for Papers with deadline extension Serge Autexier
• 2025/04/23 [PVS] [EXTERNAL] [ACSOS] ACSOS 2025: Call for Contribution (Extended) Hiroyuki Nakagawa
• 2025/04/22 [PVS] [EXTERNAL] Marktoberdorf Summer School 2025, August 6-15, 2025 Kovacs, Laura
• 2025/04/22 [PVS] [EXTERNAL] LSFA 2025 Last Call for Papers Christophe Ringeissen
• 2025/04/22 [PVS] [EXTERNAL] DaLi 25, 2nd call for papers Alexandre Madeira
• 2025/04/18 [PVS] [EXTERNAL] [CHC-COMP 2025] - Call for Solver Submission Gidon Ernst
• 2025/04/17 [PVS] [EXTERNAL] DisCoTec 2025 Call for Participation Matthew Alan Le Brun (PGR)
• 2025/04/13 [PVS] [EXTERNAL] CFP ACM GOODIT 2025 Antwerp, Belgium, 3-5 September 2025 Andrea Sabbioni
• 2025/04/09 [PVS] [EXTERNAL] FTfJP 2025 - Second Call for Papers Crystal Chang Din
• 2025/04/09 [PVS] [EXTERNAL] CICM 2025: 3rd Announcement and Call for Papers Serge Autexier
• 2025/04/09 [PVS] [EXTERNAL] Call for Papers: 23rd International Workshop on Satisfiability Modulo Theories geoff
• 2025/04/07 [PVS] [EXTERNAL] UNIF 2025 2nd Call for Papers Laurent Vigneron
• 2025/04/07 [PVS] [EXTERNAL] CFP: The 10th IEEE Cyber Science and Technology Congress (CyberSciTech) - Hakodate City, Hokkaido, Japan, October 21-24, 2025 Xiaokang Zhou
• 2025/04/07 [PVS] [EXTERNAL] Marktoberdorf 2025 CFP geoff
• 2025/04/07 [PVS] [EXTERNAL] [CFP] Last Call - ICCCN Workshop - 7th International Workshop on Vehicular Networking and Intelligent Transportation systems (VENITS 2025) Francisco J. Martinez
• 2025/04/07 [PVS] [EXTERNAL] [IEEE PICom 2025] - Call For Papers Antonio Guerrieri
• 2025/04/03 [PVS] [EXTERNAL] Call for Papers - The 28th Forum on specification and Design Languages (FDL) Johannes Koch
• 2025/04/03 [PVS] [EXTERNAL] Call for Workshops, Conference on Intelligent Computer Mathematics (CICM), 6-11 october 2025, Brasilia Serge Autexier
• 2025/04/03 [PVS] [EXTERNAL] Workshop on Adaptable Cloud Architectures - WACA @ DisCoTec - 2nd Call for Papers Giuseppe De Palma
• 2025/04/03 [PVS] [EXTERNAL] ETAPS 2025 - CALL FOR PARTICIPATION Claudio MENGHI
• 2025/04/03 [PVS] IEEE SMC-IT/SCC 2025 CALL FOR SUBMISSIONS [FINAL] Hammond, Aiden M. (ARC-TI)[KBR Wyle Services, LLC]
• 2025/04/03 [PVS] [EXTERNAL] [ICLP 2025 - Deadline Approaching] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025 Manuel Alejandro Borroto Santana
• 2025/04/03 [PVS] [EXTERNAL] [ICLP DC 2025 - Call for Papers] 21st Doctoral Consortium (DC) on Logic Programming | University of Calabria, Rende, Italy | September 12-19, 2025 Manuel Alejandro Borroto Santana
• 2025/04/03 [PVS] [EXTERNAL] REMINDER: Journal of Supercomputing Special Issue ... Basili, Robert [PHYSA]
• 2025/04/03 [PVS] [EXTERNAL] CFP ACM GOODIT 2025 Antwerp, Belgium, 3-5 September 2025 Andrea Sabbioni
• 2025/04/03 [PVS] [EXTERNAL] [Second Call for Papers - LOPSTR 2025] 35th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2025), Rende, Italy | September 9-10, 2025 Manuel Alejandro Borroto Santana
• 2025/04/03 [PVS] [EXTERNAL] FINAL CFP: CONCUR 2025 Jaco van de Pol
• 2025/04/03 [PVS] [EXTERNAL] LSFA 2025 Second Call for Papers Christophe Ringeissen
• 2025/04/03 [PVS] [EXTERNAL] FME Teaching Tutorial on March 28, 2025, 4 pm CET: Prof Peter-Michael Osera, Grinnell College, US, on "Formal Verification and Foundations: Better Together!" Luigia Petre
• 2025/04/03 [PVS] [EXTERNAL] ESOP 2026 - Call for Papers Claudio MENGHI
• 2025/04/03 [PVS] [EXTERNAL] ITP 2025: Call for self-nomination of external reviewers (deadline: March 21) Yannick Forster
• 2025/04/03 [PVS] [EXTERNAL] Call for papers - SYNASC 2025 SYNASC 2025
• 2025/03/07 [PVS] [EXTERNAL] Call for Special Tracks Proposals - ACM GoodIT 2025 Mirko Franco
• 2025/03/07 [PVS] [EXTERNAL] CFP: Collection on “Bridging Formal Verification and Neural Networks: Ensuring Reliable Networked Systems” for Discover Networks (Springer Nature) Osman Hasan
• 2025/03/06 [PVS] [EXTERNAL] CfP RSSRail 2025, Int. Conf. on Reliability, Safety and Security of Railway Systems Alexander Romanovsky
• 2025/03/05 [PVS] [EXTERNAL] VNN-COMP'25 Call for Participation Johnson, Taylor Thomas
• 2025/03/04 [PVS] [EXTERNAL] 2nd CFP CONCUR Jaco van de Pol
• 2025/03/04 [PVS] [EXTERNAL] Two Assistant Professor Positions at Leiden University Laarman, A.W. (Alfons)
• 2025/03/03 [PVS] [EXTERNAL] 1st International School on Logical Frameworks, and Proof Systems Interoperability (LFPSI'25) Frédéric Blanqui
• 2025/03/03 [PVS] [EXTERNAL] EuroProofNet Symposium, 8-19 September 2025, 1st Call for Talk Proposals Frédéric Blanqui
• 2025/03/03 [PVS] [EXTERNAL] ITP 2025: Second Call for Papers Yannick Forster
• 2025/03/02 [PVS] [EXTERNAL] [ICLP 2025 - Call for Workshop Proposals] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025 Manuel Alejandro Borroto Santana
• 2025/02/28 [PVS] [EXTERNAL] CFP ACM GOODIT 2025 Antwerp, Belgium, 3-5 September 2025 Andrea Sabbioni
• 2025/02/28 [PVS] [EXTERNAL] Call for Special Tracks Proposals - GoodIT 2025 Mirko Franco
• 2025/02/28 [PVS] [EXTERNAL] [ICLP 2025 - First Call for Papers] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025 Manuel Alejandro Borroto Santana
• 2025/02/28 [PVS] [EXTERNAL] [fm-announcements] Call for Papers: 3rd TACPS Workshop @ CAV 2025 Ivan Ruchkin via fm-announcements
• 2025/02/28 [PVS] [EXTERNAL] [fm-announcements] LOPSTR 2025 call for papers Laura Titolo via fm-announcements
• 2025/02/28 [PVS] [EXTERNAL] [CFP] ICCCN Workshop - 7th International Workshop on Vehicular Networking and Intelligent Transportation systems (VENITS 2025) Francisco J. Martinez
• 2025/02/23 [PVS] [EXTERNAL] FME Teaching Tutorial on February 28, 2025 3 pm CET: Prof Mariëlle Stoelinga, University of Twente, The Netherlands, on Life long learning — experience with educational programs for professionals Luigia Petre
• 2025/02/23 [PVS] [EXTERNAL] [ACSOS] Call for Papers: Systems Analysis and Modelling (SAM) 2025 Conference Erik Fredericks
• 2025/02/23 [PVS] [EXTERNAL] UNIF 2025 Call for Papers Laurent Vigneron
• 2025/02/23 [PVS] [EXTERNAL] [CfP] [Special Issue] [Information] Artificial Intelligence and Knowledge Representation for Cultural Heritage and Tourism Enhancement Dario GUIDOTTI
• 2025/02/23 [PVS] [EXTERNAL] The International Conference on Intelligent Computing, Communication, Networking and Services (ICCNS2025) Intelligent Systems
• 2025/02/23 [PVS] [EXTERNAL] Second Announcement and CfP, Conference on Intelligent Computer Mathematics (CICM), 6-11 october 2025, Brasilia Serge Autexier
• 2025/02/11 [PVS] [EXTERNAL] Workshop on Adaptable Cloud Architectures - WACA @ DisCoTec - Call for Papers Giuseppe De Palma
• 2025/02/11 [PVS] [EXTERNAL] [Call for Papers - LOPSTR 2025] 35th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2025), Rende, Italy | September 9-10, 2025 Manuel Alejandro Borroto Santana
• 2025/02/06 [PVS] [EXTERNAL] SPIN: Final Call for Papers Rozier, Kristin-Yvonne [AER E]
• 2025/02/06 [PVS] [EXTERNAL] ICSC 2025 CFP: The Fifth Intelligent Cybersecurity Conference, Tampa, Florida, USA. May 19-22, 2025 Cybersecurity Systems
• 2025/02/06 [PVS] [EXTERNAL] DisCoTec 2025, Deadline Extension and Booking Heads Up: 20th International Federated Conference on Distributed Computing Techniques Bas van den Heuvel
• 2025/02/06 [PVS] [EXTERNAL] PhD Position: Verification of Golang using Interactive Theorem Proving (Application Deadline 2025-02-10) Achim D. Brucker
• 2025/02/03 [PVS] [EXTERNAL] [CFP] 1st International Conference on Artificial Intelligence and Cyber Physical Systems (AICPS'25) Carlos Tavares Calafate
• 2025/02/03 [PVS] [EXTERNAL] Extended deadline ECCO'2025 Combinatorial Optimization @Marrakech El-Ghazali Talbi
• 2025/01/30 [PVS] 2025 Summer School on Formal Techniques, Atherton, California, May 24-30, 2025 Natarajan Shankar
• 2025/01/29 [PVS] [EXTERNAL] FroCoS 2025 - Call for Papers geoff
• 2025/01/28 [PVS] [EXTERNAL] LSFA 2025 Call for Papers Christophe Ringeissen
• 2025/01/23 [PVS] [EXTERNAL] ITP 2025: First Call for Papers Yannick Forster
• 2025/01/23 [PVS] [EXTERNAL] CfPs - Workshop on the Reliability of Intelligent Environments Juan Carlos Augusto
• 2025/01/22 [PVS] [EXTERNAL] AAAI 2025 Tutorial on Machine Learning for Solvers geoff
• 2025/01/21 [PVS] [EXTERNAL] [ICLP 2025 - Preliminary Call for Papers] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025 Francesco Calimeri
• 2025/01/21 [PVS] [EXTERNAL] CADE-30 Call for Papers geoff
• 2025/01/19 [PVS] [EXTERNAL] Call for Papers: CDVE2025 - Bangkok, Thailand - October 19-22, 2025 Jaime Lloret Mauri

• Earlier messages