pvs  

Messages by Thread

• [PVS] [EXTERNAL] FTfJP 2025 - Second Call for Papers Crystal Chang Din
• [PVS] [EXTERNAL] CICM 2025: 3rd Announcement and Call for Papers Serge Autexier
• [PVS] [EXTERNAL] Call for Papers: 23rd International Workshop on Satisfiability Modulo Theories geoff
• [PVS] [EXTERNAL] UNIF 2025 2nd Call for Papers Laurent Vigneron
• [PVS] [EXTERNAL] CFP: The 10th IEEE Cyber Science and Technology Congress (CyberSciTech) - Hakodate City, Hokkaido, Japan, October 21-24, 2025 Xiaokang Zhou
• [PVS] [EXTERNAL] Marktoberdorf 2025 CFP geoff
• [PVS] [EXTERNAL] [CFP] Last Call - ICCCN Workshop - 7th International Workshop on Vehicular Networking and Intelligent Transportation systems (VENITS 2025) Francisco J. Martinez
• [PVS] [EXTERNAL] [IEEE PICom 2025] - Call For Papers Antonio Guerrieri
• [PVS] [EXTERNAL] Call for Papers - The 28th Forum on specification and Design Languages (FDL) Johannes Koch
• [PVS] [EXTERNAL] Call for Workshops, Conference on Intelligent Computer Mathematics (CICM), 6-11 october 2025, Brasilia Serge Autexier
• [PVS] [EXTERNAL] Workshop on Adaptable Cloud Architectures - WACA @ DisCoTec - 2nd Call for Papers Giuseppe De Palma
• [PVS] [EXTERNAL] ETAPS 2025 - CALL FOR PARTICIPATION Claudio MENGHI
• [PVS] IEEE SMC-IT/SCC 2025 CALL FOR SUBMISSIONS [FINAL] Hammond, Aiden M. (ARC-TI)[KBR Wyle Services, LLC]
• [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
• [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
• [PVS] [EXTERNAL] REMINDER: Journal of Supercomputing Special Issue ... Basili, Robert [PHYSA]
• [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
• [PVS] [EXTERNAL] LSFA 2025 Second Call for Papers Christophe Ringeissen
• [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
• [PVS] [EXTERNAL] ESOP 2026 - Call for Papers Claudio MENGHI
• [PVS] [EXTERNAL] ITP 2025: Call for self-nomination of external reviewers (deadline: March 21) Yannick Forster
• [PVS] [EXTERNAL] Call for papers - SYNASC 2025 SYNASC 2025
• [PVS] [EXTERNAL] Call for Special Tracks Proposals - ACM GoodIT 2025 Mirko Franco
• [PVS] [EXTERNAL] CFP: Collection on “Bridging Formal Verification and Neural Networks: Ensuring Reliable Networked Systems” for Discover Networks (Springer Nature) Osman Hasan
• [PVS] [EXTERNAL] CfP RSSRail 2025, Int. Conf. on Reliability, Safety and Security of Railway Systems Alexander Romanovsky
• [PVS] [EXTERNAL] VNN-COMP'25 Call for Participation Johnson, Taylor Thomas
• [PVS] [EXTERNAL] 2nd CFP CONCUR Jaco van de Pol
  • [PVS] [EXTERNAL] FINAL CFP: CONCUR 2025 Jaco van de Pol
• [PVS] [EXTERNAL] Two Assistant Professor Positions at Leiden University Laarman, A.W. (Alfons)
• [PVS] [EXTERNAL] 1st International School on Logical Frameworks, and Proof Systems Interoperability (LFPSI'25) Frédéric Blanqui
• [PVS] [EXTERNAL] EuroProofNet Symposium, 8-19 September 2025, 1st Call for Talk Proposals Frédéric Blanqui
• [PVS] [EXTERNAL] ITP 2025: Second Call for Papers Yannick Forster
• [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
• [PVS] [EXTERNAL] CFP ACM GOODIT 2025 Antwerp, Belgium, 3-5 September 2025 Andrea Sabbioni
  • [PVS] [EXTERNAL] CFP ACM GOODIT 2025 Antwerp, Belgium, 3-5 September 2025 Andrea Sabbioni
  • [PVS] [EXTERNAL] CFP ACM GOODIT 2025 Antwerp, Belgium, 3-5 September 2025 Andrea Sabbioni
• [PVS] [EXTERNAL] Call for Special Tracks Proposals - GoodIT 2025 Mirko Franco
• [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
• [PVS] [EXTERNAL] [fm-announcements] Call for Papers: 3rd TACPS Workshop @ CAV 2025 Ivan Ruchkin via fm-announcements
• [PVS] [EXTERNAL] [fm-announcements] LOPSTR 2025 call for papers Laura Titolo via fm-announcements
• [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
• [PVS] [EXTERNAL] [ACSOS] Call for Papers: Systems Analysis and Modelling (SAM) 2025 Conference Erik Fredericks
• [PVS] [EXTERNAL] UNIF 2025 Call for Papers Laurent Vigneron
• [PVS] [EXTERNAL] [CfP] [Special Issue] [Information] Artificial Intelligence and Knowledge Representation for Cultural Heritage and Tourism Enhancement Dario GUIDOTTI
• [PVS] [EXTERNAL] The International Conference on Intelligent Computing, Communication, Networking and Services (ICCNS2025) Intelligent Systems
• [PVS] [EXTERNAL] Second Announcement and CfP, Conference on Intelligent Computer Mathematics (CICM), 6-11 october 2025, Brasilia Serge Autexier
• [PVS] [EXTERNAL] Workshop on Adaptable Cloud Architectures - WACA @ DisCoTec - Call for Papers Giuseppe De Palma
• [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
• [PVS] [EXTERNAL] SPIN: Final Call for Papers Rozier, Kristin-Yvonne [AER E]
• [PVS] [EXTERNAL] DisCoTec 2025, Deadline Extension and Booking Heads Up: 20th International Federated Conference on Distributed Computing Techniques Bas van den Heuvel
• [PVS] [EXTERNAL] PhD Position: Verification of Golang using Interactive Theorem Proving (Application Deadline 2025-02-10) Achim D. Brucker
• [PVS] [EXTERNAL] [CFP] 1st International Conference on Artificial Intelligence and Cyber Physical Systems (AICPS'25) Carlos Tavares Calafate
• [PVS] [EXTERNAL] Extended deadline ECCO'2025 Combinatorial Optimization @Marrakech El-Ghazali Talbi
• [PVS] 2025 Summer School on Formal Techniques, Atherton, California, May 24-30, 2025 Natarajan Shankar
• [PVS] [EXTERNAL] FroCoS 2025 - Call for Papers geoff
• [PVS] [EXTERNAL] LSFA 2025 Call for Papers Christophe Ringeissen
• [PVS] [EXTERNAL] ITP 2025: First Call for Papers Yannick Forster
• [PVS] [EXTERNAL] CfPs - Workshop on the Reliability of Intelligent Environments Juan Carlos Augusto
• [PVS] [EXTERNAL] AAAI 2025 Tutorial on Machine Learning for Solvers geoff
• [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
• [PVS] [EXTERNAL] Call for Papers: CDVE2025 - Bangkok, Thailand - October 19-22, 2025 Jaime Lloret Mauri
• [PVS] [EXTERNAL] FMBC25 - Second Call for Papers Marmsoler, Diego
• [PVS] [EXTERNAL] DisCoTec 2025, 2nd CfP: 20th International Federated Conference on Distributed Computing Techniques Bas van den Heuvel
• [PVS] [EXTERNAL] World Logic Day 2025 + GRAPHIC DESIGN CHALLENGE FOR WLD 2026 Happy UNESCO World Logic Day 2025! wld.assistantcoordinator
• [PVS] [EXTERNAL] Extended deadline OLA'2025 Optimization & Learning @Dubai El-Ghazali Talbi
• [PVS] [EXTERNAL] [CFP] ICCCN Workshop - 7th International Workshop on Vehicular Networking and Intelligent Transportation systems (VENITS 2025) Francisco J. Martinez
  • [PVS] [EXTERNAL] [CFP] ICCCN Workshop - 7th International Workshop on Vehicular Networking and Intelligent Transportation systems (VENITS 2025) Francisco J. Martinez
• [PVS] [EXTERNAL] VSS 2025: Call for Papers Stephen Siegel
• [PVS] [EXTERNAL] CONCUR 2025 - 1st Call for Papers Jaco van de Pol
• [PVS] [EXTERNAL] CONFEST2025 Call for Workshops Jaco van de Pol
• [PVS] [EXTERNAL] [Drones] (IF: 4.4) Invitation to contribute to Special Issue "Urban Traffic Monitoring and Analysis Using UAVs" Wim Ectors
• [PVS] [EXTERNAL] CFP : The 6th International Workshop on Statistical Methods and Artificial Intelligence abdallah abarda
• [PVS] [EXTERNAL] CFP ECCO'2025 Optimization @Marrakech El-Ghazali Talbi
• [PVS] test Odon R. dela Rosa Jr
• [PVS] [EXTERNAL] 1st CFP CONCUR 2025 Jaco van de Pol
• [PVS] [EXTERNAL] [CPP'25] Call for Participation: Certified Programs and Proofs (CPP) 2025 nicolas tabareau
• [PVS] [EXTERNAL] Announcement and CfP, Conference on Intelligent Computer Mathematics (CICM), 6-11 october 2025, Brasilia, Brazil Serge Autexier
• [PVS] [EXTERNAL] [fm-announcements] NFM 2025 *deadline extended* Dutle, Aaron M. (LARC-D320) via fm-announcements
• [PVS] [EXTERNAL] FMBC25 - First Call for Papers Marmsoler, Diego
• [PVS] IEEE SMC-IT/SCC 2025 Call for Workshop Proposals Kempa, Brian C. (ARC-TI)
• [PVS] [EXTERNAL] Invitation to Submit Papers for "FNH: The 2nd International Workshop on Future Networking Horizons" Sachin Sharma
• [PVS] [EXTERNAL] CfP: DisCoTec 2025 Bas van den Heuvel
• [PVS] [EXTERNAL] Workshop on Theorem Proving and Machine Learning geoff
• [PVS] [EXTERNAL] Call for Satellite Events (Workshops / Tutorials): DisCoTec 2025 Bas van den Heuvel
• [PVS] [EXTERNAL] [fm-announcements] NFM 2025 second CFP Dutle, Aaron M. (LARC-D320) via fm-announcements
• [PVS] [EXTERNAL] SPIN 2025: Call for Papers Rozier, Kristin-Yvonne [AER E]
• [PVS] [EXTERNAL] ICSC 2025 CFP: The Fifth Intelligent Cybersecurity Conference, Tampa, Florida, USA. May 19-22, 2025 Intelligent Cybersecurity Conference
  • [PVS] [EXTERNAL] ICSC 2025 CFP: The Fifth Intelligent Cybersecurity Conference, Tampa, Florida, USA. May 19-22, 2025 Cybersecurity Systems
• [PVS] [EXTERNAL] [CFP] The First Latin Conference on Internet of Things Antonio Guerrieri
• [PVS] [EXTERNAL] [CFP][Last Deadline Extension] AHPC3 - The 1st Workshop on Accelerated HPC in the Cloud-Edge Continuum Alberto Ottimo
• [PVS] [EXTERNAL] [IJDSN] (IF 1.9) Special issue: Multi-UAV-Assisted Wireless Sensor Networks. Jamie Wubben
• [PVS] [EXTERNAL] Paper Submission Deadline Approaching : IEEE SETCOM 2025 Conference IEEE SETCOM Conference
• [PVS] [EXTERNAL] CADE-30 Call for Colocated Events: **deadline November 11th** geoff
• [PVS] [EXTERNAL] Latin IoT - Call for papers Rebeca Campos Motta
• [PVS] [EXTERNAL] Call for Papers - Special Issue of JLAMP on Recent Advances on Unification Oliver Fernandez Gil
• [PVS] [EXTERNAL] [CFP][Deadline extended] AHPC3 - The 1st Workshop on Accelerated HPC in the Cloud-Edge Continuum Alberto Ottimo
• [PVS] [EXTERNAL] ITNG 2025- CFP - Submission Deadline extended to Nov. 15, 2024 Bein, Doina
• [PVS] [EXTERNAL] FAACS 2025 - Call for Research Papers Nadeem Abbas
• [PVS] [Deadline extended] Mid4CC24 - The 2nd International Workshop on Middleware for the Computing Continuum angalletta
• [PVS] [EXTERNAL] ICCABS 2025 - Call for Papers do_not_reply
• [PVS] [EXTERNAL] ITNG 2025- CFP Due Date: Oct. 18, 2024 Bein, Doina
• [PVS] [EXTERNAL] SAC-SVT 2025 Final Call for Papers: Software Verification and Testing Track at SAC 2025: deadline October 13, 2024 Wijs, Anton
• [PVS] [EXTERNAL] SEFM'24: Call for Participation Alexandre Madeira
• [PVS] [EXTERNAL] [fm-announcements] NFM 2025 CFP Dutle, Aaron M. (LARC-D320) via fm-announcements
• [PVS] [EXTERNAL] CADE-30 Call for Papers geoff
  • [PVS] [EXTERNAL] CADE-30 Call for Papers geoff
• [PVS] [EXTERNAL] [CFP] AHPC3: The 1st Workshop on Accelerated HPC in the Cloud-Edge Continuum Stefano Forti
• [PVS] [EXTERNAL] ETAPS 2025 Final Joint Call for Papers Claudio MENGHI
• [PVS] [EXTERNAL] PDP 2025 - Special Session on High Performance Computing in Modelling and Simulation (HPCMS) William Spataro
• [PVS] [EXTERNAL] Postdoc & senior researcher positions in Tokyo Ichiro Hasuo
  • [PVS] [EXTERNAL] Postdoc & senior researcher positions in Tokyo Ichiro Hasuo
• [PVS] Mid4CC24 - The 2nd International Workshop on Middleware for the Computing Continuum angalletta
• [PVS] [EXTERNAL] [ICFNDS 2024-CFP] The 8th International Conference on Future Networks & Distributed Systems samir ouchani
• [PVS] [EXTERNAL] [CFP] AHPC3: The 1st Workshop on Accelerated HPC in the Cloud-Edge Continuum Alberto Ottimo
  • [PVS] [EXTERNAL] [CFP] AHPC3: The 1st Workshop on Accelerated HPC in the Cloud-Edge Continuum Alberto Ottimo
• [PVS] [EXTERNAL] Teaching Committee Meeting at FM'24 on Wed 11.9 @12:50-14 Luigia Petre